Simplified63.6
\[\leadsto \color{blue}{{\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(\frac{-0.25}{b \cdot a} \cdot \frac{\sqrt{b \cdot \left(\left(a \cdot \left(a \cdot \left(\frac{-8 \cdot \left(b \cdot \left(a \cdot \left(b \cdot a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}} \cdot \left(-b\right)\right)\right)\right) \cdot \left(\frac{{\left(a \cdot \cos \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2}}{y-scale \cdot y-scale} + \left(\frac{{\left(a \cdot \sin \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2}}{x-scale \cdot x-scale} - \mathsf{hypot}\left(\frac{{\left(a \cdot \sin \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2}}{x-scale \cdot x-scale} - \frac{{\left(a \cdot \cos \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{\frac{180}{\pi}}\right)\right)}^{2}}{y-scale \cdot y-scale}, \frac{b \cdot b - a \cdot a}{\frac{x-scale}{2 \cdot \sin \left(\frac{angle}{\frac{180}{\pi}}\right)}} \cdot \frac{\cos \left(\frac{angle}{\frac{180}{\pi}}\right)}{y-scale}\right)\right)\right)\right)}}{b \cdot \left(-a\right)}\right)}
\]
Proof
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1/4 (*.f64 b a)) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 -8 (*.f64 b (*.f64 a (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 (Rewrite<= metadata-eval (/.f64 -1 4)) (*.f64 b a)) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 -8 (*.f64 b (*.f64 a (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (Rewrite<= associate-/r*_binary64 (/.f64 -1 (*.f64 4 (*.f64 b a)))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 -8 (*.f64 b (*.f64 a (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 (Rewrite<= metadata-eval (neg.f64 8)) (*.f64 b (*.f64 a (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 (neg.f64 (Rewrite<= metadata-eval (*.f64 2 4))) (*.f64 b (*.f64 a (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 (neg.f64 (*.f64 2 4)) (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 b a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (Rewrite<= distribute-lft-neg-in_binary64 (neg.f64 (*.f64 (*.f64 2 4) (*.f64 (*.f64 b a) (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (Rewrite<= distribute-rgt-neg-out_binary64 (*.f64 (*.f64 2 4) (neg.f64 (*.f64 (*.f64 b a) (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 (*.f64 2 4) (Rewrite<= distribute-rgt-neg-out_binary64 (*.f64 (*.f64 b a) (neg.f64 (*.f64 b a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (*.f64 (*.f64 2 4) (*.f64 (*.f64 b a) (Rewrite<= distribute-rgt-neg-out_binary64 (*.f64 b (neg.f64 a))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (/.f64 (Rewrite<= associate-*r*_binary64 (*.f64 2 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))))) (pow.f64 (*.f64 x-scale y-scale) 2)) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (*.f64 (Rewrite<= associate-*r/_binary64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (neg.f64 b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 a (Rewrite=> distribute-rgt-neg-out_binary64 (neg.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) b))))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (Rewrite<= distribute-rgt-neg-in_binary64 (neg.f64 (*.f64 a (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) b))))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (Rewrite=> distribute-lft-neg-in_binary64 (*.f64 (neg.f64 a) (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) b)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 (neg.f64 a) (Rewrite=> *-commutative_binary64 (*.f64 b (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))))))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 (neg.f64 a) b) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 (Rewrite<= *-commutative_binary64 (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (*.f64 y-scale y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (Rewrite<= associate-/l/_binary64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (Rewrite<= associate-/l/_binary64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (*.f64 x-scale x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (Rewrite<= associate-/l/_binary64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 40 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 40 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (Rewrite<= associate-/l/_binary64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale))) (*.f64 (/.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (/.f64 (-.f64 (Rewrite<= unpow2_binary64 (pow.f64 b 2)) (*.f64 a a)) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (/.f64 (-.f64 (pow.f64 b 2) (Rewrite<= unpow2_binary64 (pow.f64 a 2))) (/.f64 x-scale (*.f64 2 (sin.f64 (/.f64 angle (/.f64 180 (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (/.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (/.f64 x-scale (*.f64 2 (sin.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64))))))) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (Rewrite<= associate-/l*_binary64 (/.f64 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (*.f64 2 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) x-scale)) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (/.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) 2) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) x-scale) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (/.f64 (*.f64 (Rewrite<= *-commutative_binary64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) (/.f64 (cos.f64 (/.f64 angle (/.f64 180 (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (*.f64 (/.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) (/.f64 (cos.f64 (Rewrite=> associate-/r/_binary64 (*.f64 (/.f64 angle 180) (PI.f64)))) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (Rewrite<= times-frac_binary64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (*.f64 x-scale y-scale))))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (hypot.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (Rewrite=> associate-/r*_binary64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (Rewrite<= hypot-def_binary64 (sqrt.f64 (+.f64 (*.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale))) (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale)))))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (sqrt.f64 (+.f64 (Rewrite<= unpow2_binary64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2)) (*.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale))))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (Rewrite<= unpow2_binary64 (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (Rewrite<= associate--l+_binary64 (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 b (*.f64 (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (-.f64 (Rewrite<= +-commutative_binary64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale))) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 b (*.f64 a (*.f64 b (neg.f64 a)))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 (*.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 (*.f64 4 (*.f64 b a))) (/.f64 (sqrt.f64 (*.f64 (Rewrite<= *-commutative_binary64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (Rewrite<= times-frac_binary64 (/.f64 (*.f64 -1 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))) (*.f64 (*.f64 4 (*.f64 b a)) (*.f64 b (neg.f64 a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (/.f64 (Rewrite<= neg-mul-1_binary64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2)))))))) (*.f64 (*.f64 4 (*.f64 b a)) (*.f64 b (neg.f64 a))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))) (Rewrite<= associate-*r*_binary64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))))))): 0 points increase in error, 0 points decrease in error
(Rewrite<= *-commutative_binary64 (*.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))) (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a))))) (pow.f64 (*.f64 x-scale y-scale) 2))): 0 points increase in error, 0 points decrease in error
(Rewrite<= associate-/r/_binary64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (*.f64 2 (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2))) (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (-.f64 (+.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) x-scale) x-scale) (/.f64 (/.f64 (+.f64 (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) y-scale) y-scale)) 2) (pow.f64 (/.f64 (/.f64 (*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) x-scale) y-scale) 2))))))) (/.f64 (*.f64 4 (*.f64 (*.f64 b a) (*.f64 b (neg.f64 a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))): 0 points increase in error, 0 points decrease in error