


Bits error versus x



Bits error versus cos



Bits error versus sin
Results
Initial program 27.1
Initial simplification2.8
rmApplied associate-/r*2.5
Final simplification2.5
Time bar (total: 46.7s)Debug logProfile
herbie shell --seed 2018219
(FPCore (x cos sin)
:name "cos(2*x)/(cos^2(x)*sin^2(x))"
(/ (cos (* 2 x)) (* (pow cos 2) (* (* x (pow sin 2)) x))))