Initial program 63.8
\[\frac{-\sqrt{\left(\left(2 \cdot \frac{4 \cdot \left(\left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}}\right) \cdot \left(\left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\right)\right) \cdot \left(\left(\frac{\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale}}{x-scale} + \frac{\frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale}}{y-scale}\right) + \sqrt{{\left(\frac{\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale}}{x-scale} - \frac{\frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale}}{y-scale}\right)}^{2} + {\left(\frac{\frac{\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right) \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)}{x-scale}}{y-scale}\right)}^{2}}\right)}}{\frac{4 \cdot \left(\left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}}}
\]
Simplified63.5
\[\leadsto \color{blue}{{\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(-0.25 \cdot \frac{\sqrt{\left(b \cdot \left(\left(a \cdot \left(b \cdot \left(-a\right)\right)\right) \cdot \frac{8 \cdot \left(b \cdot \left(\left(-a\right) \cdot \left(b \cdot a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}}\right)\right) \cdot \left(\left(\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} + \frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale}\right) + \mathsf{hypot}\left(\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} - \frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale}, \frac{2 \cdot \left(\sin \left(\frac{angle}{180} \cdot \pi\right) \cdot \left(b \cdot b - a \cdot a\right)\right)}{x-scale} \cdot \frac{\cos \left(\frac{angle}{180} \cdot \pi\right)}{y-scale}\right)\right)}}{b \cdot \left(\left(-a\right) \cdot \left(b \cdot a\right)\right)}\right)}
\]
Proof
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (Rewrite<= metadata-eval (/.f64 -1 4)) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (Rewrite<= metadata-eval (*.f64 2 4)) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (*.f64 2 4) (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 b (neg.f64 a)) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 29 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (*.f64 2 4) (Rewrite<= *-commutative_binary64 (*.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 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 29 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.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)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (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)))))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 29 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 29 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 7 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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) (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))) (hypot.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (Rewrite<= unpow2_binary64 (pow.f64 b 2)) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (pow.f64 b 2) (Rewrite<= unpow2_binary64 (pow.f64 a 2))))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (Rewrite<= *-commutative_binary64 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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-*l*_binary64 (*.f64 (*.f64 b (neg.f64 a)) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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<= *-commutative_binary64 (*.f64 (*.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) (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 4 (*.f64 (*.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 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
Taylor expanded in a around -inf 61.7
\[\leadsto {\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(-0.25 \cdot \color{blue}{\left(\frac{a \cdot \sqrt{8}}{y-scale \cdot x-scale} \cdot \sqrt{\sqrt{4 \cdot \frac{{\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2} \cdot {\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{y-scale}^{2} \cdot {x-scale}^{2}} + {\left(\frac{{\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{x-scale}^{2}} - \frac{{\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{y-scale}^{2}}\right)}^{2}} + \left(\frac{{\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{y-scale}^{2}} + \frac{{\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{x-scale}^{2}}\right)}\right)}\right)
\]
Simplified61.7
\[\leadsto {\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(-0.25 \cdot \color{blue}{\left(\sqrt{\frac{{\cos \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale} + \left(\frac{{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} + \sqrt{\mathsf{fma}\left(4, \frac{{\cos \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{\frac{\left(x-scale \cdot x-scale\right) \cdot \left(y-scale \cdot y-scale\right)}{{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}}, {\left(\frac{{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} - \frac{{\cos \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale}\right)}^{2}\right)}\right)} \cdot \left(\frac{a}{x-scale} \cdot \frac{\sqrt{8}}{y-scale}\right)\right)}\right)
\]
Proof
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 y-scale 2))) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 x-scale 2))) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (Rewrite<= unpow2_binary64 (pow.f64 x-scale 2)) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 x-scale 2) (Rewrite<= unpow2_binary64 (pow.f64 y-scale 2))) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (Rewrite<= *-commutative_binary64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)) (pow.f64 (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)) (pow.f64 (sin.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)) (pow.f64 (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (Rewrite<= associate-/l*_binary64 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (Rewrite=> *-commutative_binary64 (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 x-scale 2))) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 y-scale 2)))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite<= fma-def_binary64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite<= +-commutative_binary64 (+.f64 (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2) (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite=> +-commutative_binary64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite=> fma-def_binary64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (Rewrite<= *-commutative_binary64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite<= fma-def_binary64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (Rewrite=> associate-+r+_binary64 (+.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))) (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (Rewrite<= +-commutative_binary64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (Rewrite<= times-frac_binary64 (/.f64 (*.f64 a (sqrt.f64 8)) (*.f64 x-scale y-scale)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (/.f64 (*.f64 a (sqrt.f64 8)) (Rewrite=> *-commutative_binary64 (*.f64 y-scale x-scale)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (Rewrite<= *-commutative_binary64 (*.f64 (/.f64 (*.f64 a (sqrt.f64 8)) (*.f64 y-scale x-scale)) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))))))): 0 points increase in error, 0 points decrease in error
Taylor expanded in x-scale around 0 57.3
\[\leadsto \color{blue}{-0.25 \cdot \left(y-scale \cdot \left(\sqrt{2} \cdot \left(a \cdot \left(\sqrt{8} \cdot \sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)\right)\right)\right)\right)}
\]
Simplified57.3
\[\leadsto \color{blue}{-0.25 \cdot \left(y-scale \cdot \left(\left(a \cdot \sqrt{8}\right) \cdot \left(\sqrt{2} \cdot \sin \left(\pi \cdot \left(0.005555555555555556 \cdot angle\right)\right)\right)\right)\right)}
\]
Proof
(*.f64 -1/4 (*.f64 y-scale (*.f64 (*.f64 a (sqrt.f64 8)) (*.f64 (sqrt.f64 2) (sin.f64 (*.f64 (PI.f64) (*.f64 1/180 angle))))))): 0 points increase in error, 0 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (*.f64 (*.f64 a (sqrt.f64 8)) (*.f64 (sqrt.f64 2) (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 (PI.f64) 1/180) angle))))))): 0 points increase in error, 9 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (*.f64 (*.f64 a (sqrt.f64 8)) (*.f64 (sqrt.f64 2) (sin.f64 (*.f64 (Rewrite<= *-commutative_binary64 (*.f64 1/180 (PI.f64))) angle)))))): 0 points increase in error, 9 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (*.f64 (*.f64 a (sqrt.f64 8)) (*.f64 (sqrt.f64 2) (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 (PI.f64) angle)))))))): 9 points increase in error, 0 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (*.f64 (*.f64 a (sqrt.f64 8)) (*.f64 (sqrt.f64 2) (sin.f64 (*.f64 1/180 (Rewrite<= *-commutative_binary64 (*.f64 angle (PI.f64))))))))): 9 points increase in error, 0 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (*.f64 (*.f64 a (sqrt.f64 8)) (Rewrite=> *-commutative_binary64 (*.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) (sqrt.f64 2)))))): 0 points increase in error, 9 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 (*.f64 a (sqrt.f64 8)) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))) (sqrt.f64 2))))): 9 points increase in error, 0 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (*.f64 (Rewrite<= associate-*r*_binary64 (*.f64 a (*.f64 (sqrt.f64 8) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64))))))) (sqrt.f64 2)))): 0 points increase in error, 9 points decrease in error
(*.f64 -1/4 (*.f64 y-scale (Rewrite<= *-commutative_binary64 (*.f64 (sqrt.f64 2) (*.f64 a (*.f64 (sqrt.f64 8) (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))))))))): 1 points increase in error, 8 points decrease in error
Initial program 64.0
\[\frac{-\sqrt{\left(\left(2 \cdot \frac{4 \cdot \left(\left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}}\right) \cdot \left(\left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\right)\right) \cdot \left(\left(\frac{\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale}}{x-scale} + \frac{\frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale}}{y-scale}\right) + \sqrt{{\left(\frac{\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale}}{x-scale} - \frac{\frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale}}{y-scale}\right)}^{2} + {\left(\frac{\frac{\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right) \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)}{x-scale}}{y-scale}\right)}^{2}}\right)}}{\frac{4 \cdot \left(\left(b \cdot a\right) \cdot \left(b \cdot \left(-a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}}}
\]
Simplified64.0
\[\leadsto \color{blue}{{\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(-0.25 \cdot \frac{\sqrt{\left(b \cdot \left(\left(a \cdot \left(b \cdot \left(-a\right)\right)\right) \cdot \frac{8 \cdot \left(b \cdot \left(\left(-a\right) \cdot \left(b \cdot a\right)\right)\right)}{{\left(x-scale \cdot y-scale\right)}^{2}}\right)\right) \cdot \left(\left(\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} + \frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale}\right) + \mathsf{hypot}\left(\frac{{\left(a \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} - \frac{{\left(a \cdot \cos \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2} + {\left(b \cdot \sin \left(\frac{angle}{180} \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale}, \frac{2 \cdot \left(\sin \left(\frac{angle}{180} \cdot \pi\right) \cdot \left(b \cdot b - a \cdot a\right)\right)}{x-scale} \cdot \frac{\cos \left(\frac{angle}{180} \cdot \pi\right)}{y-scale}\right)\right)}}{b \cdot \left(\left(-a\right) \cdot \left(b \cdot a\right)\right)}\right)}
\]
Proof
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (Rewrite<= metadata-eval (/.f64 -1 4)) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 8 (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (Rewrite<= metadata-eval (*.f64 2 4)) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (*.f64 2 4) (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 b (neg.f64 a)) (*.f64 b a)))) (pow.f64 (*.f64 x-scale y-scale) 2)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 29 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.f64 (*.f64 (*.f64 2 4) (Rewrite<= *-commutative_binary64 (*.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 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 29 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (/.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)))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.f64 (sqrt.f64 (*.f64 (*.f64 b (*.f64 (*.f64 a (*.f64 b (neg.f64 a))) (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)))))) (+.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 29 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 29 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 7 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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) (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))) (hypot.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)) (*.f64 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 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2)) (*.f64 y-scale y-scale))) (*.f64 (/.f64 (*.f64 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (*.f64 b b) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (Rewrite<= unpow2_binary64 (pow.f64 b 2)) (*.f64 a a)))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (*.f64 (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))) (-.f64 (pow.f64 b 2) (Rewrite<= unpow2_binary64 (pow.f64 a 2))))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (Rewrite<= *-commutative_binary64 (*.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))) x-scale) (/.f64 (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64))) y-scale)))))) (*.f64 b (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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)) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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 (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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) (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 (*.f64 (neg.f64 a) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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-*l*_binary64 (*.f64 (*.f64 b (neg.f64 a)) (*.f64 b a)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 (/.f64 -1 4) (/.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<= *-commutative_binary64 (*.f64 (*.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) (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 4 (*.f64 (*.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 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
Taylor expanded in a around -inf 63.3
\[\leadsto {\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(-0.25 \cdot \color{blue}{\left(\frac{a \cdot \sqrt{8}}{y-scale \cdot x-scale} \cdot \sqrt{\sqrt{4 \cdot \frac{{\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2} \cdot {\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{y-scale}^{2} \cdot {x-scale}^{2}} + {\left(\frac{{\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{x-scale}^{2}} - \frac{{\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{y-scale}^{2}}\right)}^{2}} + \left(\frac{{\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{y-scale}^{2}} + \frac{{\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{{x-scale}^{2}}\right)}\right)}\right)
\]
Simplified63.4
\[\leadsto {\left(x-scale \cdot y-scale\right)}^{2} \cdot \left(-0.25 \cdot \color{blue}{\left(\sqrt{\frac{{\cos \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale} + \left(\frac{{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} + \sqrt{\mathsf{fma}\left(4, \frac{{\cos \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{\frac{\left(x-scale \cdot x-scale\right) \cdot \left(y-scale \cdot y-scale\right)}{{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}}, {\left(\frac{{\sin \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{x-scale \cdot x-scale} - \frac{{\cos \left(angle \cdot \left(0.005555555555555556 \cdot \pi\right)\right)}^{2}}{y-scale \cdot y-scale}\right)}^{2}\right)}\right)} \cdot \left(\frac{a}{x-scale} \cdot \frac{\sqrt{8}}{y-scale}\right)\right)}\right)
\]
Proof
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 y-scale y-scale)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 y-scale 2))) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 x-scale x-scale)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 x-scale 2))) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (/.f64 (*.f64 (*.f64 x-scale x-scale) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (Rewrite<= unpow2_binary64 (pow.f64 x-scale 2)) (*.f64 y-scale y-scale)) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 x-scale 2) (Rewrite<= unpow2_binary64 (pow.f64 y-scale 2))) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (Rewrite<= *-commutative_binary64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2))) (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)) (pow.f64 (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)) (pow.f64 (sin.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (/.f64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)) (pow.f64 (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (Rewrite<= associate-/l*_binary64 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (Rewrite=> *-commutative_binary64 (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 x-scale x-scale)) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 x-scale 2))) (/.f64 (pow.f64 (cos.f64 (*.f64 angle (*.f64 1/180 (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*l*_binary64 (*.f64 (*.f64 angle 1/180) (PI.f64)))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 (Rewrite=> *-commutative_binary64 (*.f64 1/180 angle)) (PI.f64))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (Rewrite<= associate-*r*_binary64 (*.f64 1/180 (*.f64 angle (PI.f64))))) 2) (*.f64 y-scale y-scale))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (Rewrite<= unpow2_binary64 (pow.f64 y-scale 2)))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite<= fma-def_binary64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite<= +-commutative_binary64 (+.f64 (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2) (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite=> +-commutative_binary64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite=> fma-def_binary64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 x-scale 2) (pow.f64 y-scale 2))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (fma.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (Rewrite<= *-commutative_binary64 (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 39 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (+.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (sqrt.f64 (Rewrite<= fma-def_binary64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 39 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (Rewrite=> associate-+r+_binary64 (+.f64 (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))) (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (Rewrite<= +-commutative_binary64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)))))) (*.f64 (/.f64 a x-scale) (/.f64 (sqrt.f64 8) y-scale))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (Rewrite<= times-frac_binary64 (/.f64 (*.f64 a (sqrt.f64 8)) (*.f64 x-scale y-scale)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (*.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))) (/.f64 (*.f64 a (sqrt.f64 8)) (Rewrite=> *-commutative_binary64 (*.f64 y-scale x-scale)))))): 0 points increase in error, 0 points decrease in error
(*.f64 (pow.f64 (*.f64 x-scale y-scale) 2) (*.f64 -1/4 (Rewrite<= *-commutative_binary64 (*.f64 (/.f64 (*.f64 a (sqrt.f64 8)) (*.f64 y-scale x-scale)) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 (*.f64 4 (/.f64 (*.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2)) (*.f64 (pow.f64 y-scale 2) (pow.f64 x-scale 2)))) (pow.f64 (-.f64 (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2)) (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2))) 2))) (+.f64 (/.f64 (pow.f64 (cos.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 y-scale 2)) (/.f64 (pow.f64 (sin.f64 (*.f64 1/180 (*.f64 angle (PI.f64)))) 2) (pow.f64 x-scale 2))))))))): 0 points increase in error, 0 points decrease in error
Taylor expanded in angle around 0 49.1
\[\leadsto \color{blue}{-0.25 \cdot \left(x-scale \cdot \left(\sqrt{2} \cdot \left(a \cdot \sqrt{8}\right)\right)\right)}
\]