\frac{\cos \left(\frac{2 \cdot \pi}{3}\right) \cdot \left(e - 2.7000000000000002\right)}{\left(\pi - \sqrt{2}\right) - \sqrt{3}}\frac{\cos \left(\frac{2 \cdot \pi}{3}\right) \cdot \left(e - 2.7000000000000002\right)}{\left(\pi - \sqrt{2}\right) - \sqrt{3}}double code() {
return ((double) (((double) (((double) cos(((double) (((double) (2.0 * ((double) M_PI))) / 3.0)))) * ((double) (((double) M_E) - 2.7)))) / ((double) (((double) (((double) M_PI) - ((double) sqrt(2.0)))) - ((double) sqrt(3.0))))));
}
double code() {
return ((double) (((double) (((double) cos(((double) (((double) (2.0 * ((double) M_PI))) / 3.0)))) * ((double) (((double) M_E) - 2.7)))) / ((double) (((double) (((double) M_PI) - ((double) sqrt(2.0)))) - ((double) sqrt(3.0))))));
}
Results
Initial program 8.2
Final simplification8.2
herbie shell --seed 2020152
(FPCore ()
:name "(/ (* (cos (/ (* 2 PI) 3)) (- E 2.7)) (- (- PI (sqrt 2)) (sqrt 3)))"
:precision binary64
(/ (* (cos (/ (* 2.0 PI) 3.0)) (- E 2.7)) (- (- PI (sqrt 2.0)) (sqrt 3.0))))