Creating a Straightedge, Compass and "New Tool" problem. I've been trying to create a problem that involves similar concepts as straightedge and compass construction.
The idea is to add a new tool that allows for a different type of graph to be drawn besides circles and lines, and then to ask whether previously impossible constructions such as squaring the circle or trisecting the angle have become possible (using the new tool).
Sadly, I haven't been able to find another kind of function (ellipses excluded) such that when one of its variables $x$ or $y$ is isolated and plugged in into another function of the same kind a polynomial is formed.
To be more specific, what I'm looking for is a function $f$ of two variables such that if 
$$y-k=f(x-h, r)$$ and
$$y-p=f(x-q, s)$$
then $$f(x-h, r)+k-f(x-q, s)-q = P(x) = 0$$
for some polynomial $P(x)$ with coefficients in $ℚ(k, h, p, q)$

The function doesn't have to form polynomials when the same process is followed but its variables are instead plugged in the equation of a line or a circle.
In such case one could simply not allow the use of compass and straightedge to draw circles and lines respectively, yet still ponder if some constructions have become possible.

I would really appreciate any help/thoughts
 A: One possible way to make some "previously impossible constructions ... possible" is not to introduce a new tool but allow a new way of using the existing tools of straight edge and compass: neusis. A length $a$ is determined somehow (e.g. the distance between two points constructed previously), and two lines (straight lines or circles) $m, n$ are drawn. Then a straight line $l$ is found which goes through some known point $P$, and where the points where $l$ intersects $m$ and $n$ are distance $a$ apart. Testing this latter condition could be done by making two marks on the straight-edge at distance $a$ apart, or setting the compasses to radius $a$ and placing them against the straight edge. Neusis is also described here.
Neusis makes it possible to solve cubics and thus


*

*duplicate the cube

*trisect any angle

*construct a regular $p$-gon where $p$ is a Pierpont prime, i.e. a prime where no prime $q>3\mid p-1$; also where $p=11$, according to Benjamin and Snyder[1]


[1] Benjamin, Elliot and Snyder, C.. On the Construction of the Regular
Hendecagon by Marked Ruler and Compass. Math. Proc. Camb. Phil. Soc.,
vol. 156 (2014), 409-424.
