{\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}{b}^{2} + {\left(a \cdot \sin \left(angle \cdot \left(\pi \cdot 0.005555555555555556\right)\right)\right)}^{2}(FPCore (a b angle) :precision binary64 (+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)))
(FPCore (a b angle) :precision binary64 (+ (pow b 2.0) (pow (* a (sin (* angle (* PI 0.005555555555555556)))) 2.0)))
double code(double a, double b, double angle) {
return pow((a * sin((angle / 180.0) * ((double) M_PI))), 2.0) + pow((b * cos((angle / 180.0) * ((double) M_PI))), 2.0);
}
double code(double a, double b, double angle) {
return pow(b, 2.0) + pow((a * sin(angle * (((double) M_PI) * 0.005555555555555556))), 2.0);
}










Bits error versus a










Bits error versus b










Bits error versus angle
Results
| Alternative 1 | |
|---|---|
| Error | 24.4 |
| Cost | 14851 |
| Alternative 2 | |
|---|---|
| Error | 24.2 |
| Cost | 14851 |
| Alternative 3 | |
|---|---|
| Error | 25.2 |
| Cost | 13953 |
| Alternative 4 | |
|---|---|
| Error | 25.2 |
| Cost | 13953 |
| Alternative 5 | |
|---|---|
| Error | 25.2 |
| Cost | 13953 |
| Alternative 6 | |
|---|---|
| Error | 52.8 |
| Cost | 64 |
| Alternative 7 | |
|---|---|
| Error | 60.7 |
| Cost | 64 |

Initial program 20.1
Taylor expanded around 0 20.2
rmApplied div-inv_binary64_41620.2
Applied associate-*l*_binary64_36020.1
Simplified20.1
Simplified20.1
Final simplification20.1
herbie shell --seed 2021044
(FPCore (a b angle)
:name "ab-angle->ABCF A"
:precision binary64
(+ (pow (* a (sin (* (/ angle 180.0) PI))) 2.0) (pow (* b (cos (* (/ angle 180.0) PI))) 2.0)))