\left(\left(2 \cdot \left({b}^{2} - {a}^{2}\right)\right) \cdot \sin \left(\pi \cdot \frac{angle}{180}\right)\right) \cdot \cos \left(\pi \cdot \frac{angle}{180}\right)\left(2 \cdot \left(\left(\sin \left(\pi \cdot \frac{angle}{180}\right) \cdot \left(b + a\right)\right) \cdot \left(b - a\right)\right)\right) \cdot \cos \left(\left(\pi \cdot \frac{\sqrt[3]{angle} \cdot \left(\sqrt[3]{\sqrt[3]{angle}} \cdot \left(\sqrt[3]{\sqrt[3]{angle}} \cdot \sqrt[3]{\sqrt[3]{angle}}\right)\right)}{\sqrt{180}}\right) \cdot \frac{\sqrt[3]{angle}}{\sqrt{180}}\right)(FPCore (a b angle) :precision binary64 (* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* PI (/ angle 180.0)))) (cos (* PI (/ angle 180.0)))))
(FPCore (a b angle)
:precision binary64
(*
(* 2.0 (* (* (sin (* PI (/ angle 180.0))) (+ b a)) (- b a)))
(cos
(*
(*
PI
(/
(*
(cbrt angle)
(* (cbrt (cbrt angle)) (* (cbrt (cbrt angle)) (cbrt (cbrt angle)))))
(sqrt 180.0)))
(/ (cbrt angle) (sqrt 180.0))))))double code(double a, double b, double angle) {
return ((2.0 * (pow(b, 2.0) - pow(a, 2.0))) * sin(((double) M_PI) * (angle / 180.0))) * cos(((double) M_PI) * (angle / 180.0));
}
double code(double a, double b, double angle) {
return (2.0 * ((sin(((double) M_PI) * (angle / 180.0)) * (b + a)) * (b - a))) * cos((((double) M_PI) * ((cbrt(angle) * (cbrt(cbrt(angle)) * (cbrt(cbrt(angle)) * cbrt(cbrt(angle))))) / sqrt(180.0))) * (cbrt(angle) / sqrt(180.0)));
}



Bits error versus a



Bits error versus b



Bits error versus angle
Results
Initial program 31.9
rmApplied associate-*l*_binary64_36031.9
Simplified31.9
rmApplied difference-of-squares_binary64_38831.9
Applied associate-*r*_binary64_35921.9
rmApplied add-sqr-sqrt_binary64_44122.1
Applied add-cube-cbrt_binary64_45422.0
Applied times-frac_binary64_42522.1
Applied associate-*r*_binary64_35922.1
rmApplied add-cube-cbrt_binary64_45422.1
Final simplification22.1
herbie shell --seed 2020358
(FPCore (a b angle)
:name "ab-angle->ABCF B"
:precision binary64
(* (* (* 2.0 (- (pow b 2.0) (pow a 2.0))) (sin (* PI (/ angle 180.0)))) (cos (* PI (/ angle 180.0)))))