180 \cdot \frac{\tan^{-1} \left(\frac{\left(\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} - \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}\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}}}{\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)}{\pi}\begin{array}{l}
\mathbf{if}\;a \leq -2.449232896210209 \cdot 10^{+35} \lor \neg \left(a \leq 2.0857365397169568 \cdot 10^{-28}\right):\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(-90 \cdot \left(-2 \cdot \frac{y-scale \cdot {\sin \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}^{2}}{angle \cdot \left(\cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right) \cdot \left(\pi \cdot x-scale\right)\right)}\right)\right)}{\pi}\\
\mathbf{else}:\\
\;\;\;\;180 \cdot \frac{\tan^{-1} \left(-90 \cdot \left(2 \cdot \frac{y-scale \cdot \cos \left(0.005555555555555556 \cdot \left(angle \cdot \pi\right)\right)}{angle \cdot \left(\pi \cdot x-scale\right)}\right)\right)}{\pi}\\
\end{array}(FPCore (a b angle x-scale y-scale)
:precision binary64
(*
180.0
(/
(atan
(/
(-
(-
(/
(/
(+
(pow (* a (cos (* (/ angle 180.0) PI))) 2.0)
(pow (* b (sin (* (/ angle 180.0) PI))) 2.0))
y-scale)
y-scale)
(/
(/
(+
(pow (* a (sin (* (/ angle 180.0) PI))) 2.0)
(pow (* b (cos (* (/ angle 180.0) PI))) 2.0))
x-scale)
x-scale))
(sqrt
(+
(pow
(-
(/
(/
(+
(pow (* a (sin (* (/ angle 180.0) PI))) 2.0)
(pow (* b (cos (* (/ angle 180.0) PI))) 2.0))
x-scale)
x-scale)
(/
(/
(+
(pow (* a (cos (* (/ angle 180.0) PI))) 2.0)
(pow (* b (sin (* (/ angle 180.0) PI))) 2.0))
y-scale)
y-scale))
2.0)
(pow
(/
(/
(*
(*
(* 2.0 (- (pow b 2.0) (pow a 2.0)))
(sin (* (/ angle 180.0) PI)))
(cos (* (/ angle 180.0) PI)))
x-scale)
y-scale)
2.0))))
(/
(/
(*
(* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* (/ angle 180.0) PI)))
(cos (* (/ angle 180.0) PI)))
x-scale)
y-scale)))
PI)))(FPCore (a b angle x-scale y-scale)
:precision binary64
(if (or (<= a -2.449232896210209e+35) (not (<= a 2.0857365397169568e-28)))
(*
180.0
(/
(atan
(*
-90.0
(*
-2.0
(/
(* y-scale (pow (sin (* 0.005555555555555556 (* angle PI))) 2.0))
(*
angle
(* (cos (* 0.005555555555555556 (* angle PI))) (* PI x-scale)))))))
PI))
(*
180.0
(/
(atan
(*
-90.0
(*
2.0
(/
(* y-scale (cos (* 0.005555555555555556 (* angle PI))))
(* angle (* PI x-scale))))))
PI))))double code(double a, double b, double angle, double x_45_scale, double y_45_scale) {
return 180.0 * (atan((((((pow((a * cos((angle / 180.0) * ((double) M_PI))), 2.0) + pow((b * sin((angle / 180.0) * ((double) M_PI))), 2.0)) / y_45_scale) / y_45_scale) - (((pow((a * sin((angle / 180.0) * ((double) M_PI))), 2.0) + pow((b * cos((angle / 180.0) * ((double) M_PI))), 2.0)) / x_45_scale) / x_45_scale)) - sqrt(pow(((((pow((a * sin((angle / 180.0) * ((double) M_PI))), 2.0) + pow((b * cos((angle / 180.0) * ((double) M_PI))), 2.0)) / x_45_scale) / x_45_scale) - (((pow((a * cos((angle / 180.0) * ((double) M_PI))), 2.0) + pow((b * sin((angle / 180.0) * ((double) M_PI))), 2.0)) / y_45_scale) / y_45_scale)), 2.0) + pow((((((2.0 * (pow(b, 2.0) - pow(a, 2.0))) * sin((angle / 180.0) * ((double) M_PI))) * cos((angle / 180.0) * ((double) M_PI))) / x_45_scale) / y_45_scale), 2.0))) / (((((2.0 * (pow(b, 2.0) - pow(a, 2.0))) * sin((angle / 180.0) * ((double) M_PI))) * cos((angle / 180.0) * ((double) M_PI))) / x_45_scale) / y_45_scale)) / ((double) M_PI));
}
double code(double a, double b, double angle, double x_45_scale, double y_45_scale) {
double tmp;
if ((a <= -2.449232896210209e+35) || !(a <= 2.0857365397169568e-28)) {
tmp = 180.0 * (atan(-90.0 * (-2.0 * ((y_45_scale * pow(sin(0.005555555555555556 * (angle * ((double) M_PI))), 2.0)) / (angle * (cos(0.005555555555555556 * (angle * ((double) M_PI))) * (((double) M_PI) * x_45_scale)))))) / ((double) M_PI));
} else {
tmp = 180.0 * (atan(-90.0 * (2.0 * ((y_45_scale * cos(0.005555555555555556 * (angle * ((double) M_PI)))) / (angle * (((double) M_PI) * x_45_scale))))) / ((double) M_PI));
}
return tmp;
}








Bits error versus a








Bits error versus b








Bits error versus angle








Bits error versus x-scale








Bits error versus y-scale
Results
| Alternative 1 | |
|---|---|
| Error | 39.2 |
| Cost | 14737 |
| Alternative 2 | |
|---|---|
| Error | 46.6 |
| Cost | 8588 |
| Alternative 3 | |
|---|---|
| Error | 51.6 |
| Cost | 706 |
| Alternative 4 | |
|---|---|
| Error | 52.1 |
| Cost | 64 |
| Alternative 5 | |
|---|---|
| Error | 60.3 |
| Cost | 64 |

if a < -2.44923289621020882e35 or 2.085736539716957e-28 < a Initial program 59.2
Simplified59.2
Taylor expanded around 0 59.3
Taylor expanded around 0 60.2
Taylor expanded around 0 57.5
Simplified57.5
Taylor expanded around inf 38.9
Simplified38.9
Simplified38.9
if -2.44923289621020882e35 < a < 2.085736539716957e-28Initial program 50.7
Simplified50.7
Taylor expanded around 0 50.7
Taylor expanded around 0 52.2
Taylor expanded around 0 45.6
Simplified45.8
Taylor expanded around 0 32.7
Simplified32.7
Simplified32.7
Final simplification35.7
herbie shell --seed 2021014
(FPCore (a b angle x-scale y-scale)
:name "raw-angle from scale-rotated-ellipse"
:precision binary64
(* 180.0 (/ (atan (/ (- (- (/ (/ (+ (pow (* a (cos (* (/ angle 180.0) PI))) 2.0) (pow (* b (sin (* (/ angle 180.0) PI))) 2.0)) y-scale) y-scale) (/ (/ (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)) x-scale) x-scale)) (sqrt (+ (pow (- (/ (/ (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)) x-scale) x-scale) (/ (/ (+ (pow (* a (cos (* (/ angle 180.0) PI))) 2.0) (pow (* b (sin (* (/ angle 180.0) PI))) 2.0)) y-scale) y-scale)) 2.0) (pow (/ (/ (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* (/ angle 180.0) PI))) (cos (* (/ angle 180.0) PI))) x-scale) y-scale) 2.0)))) (/ (/ (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* (/ angle 180.0) PI))) (cos (* (/ angle 180.0) PI))) x-scale) y-scale))) PI)))