


Bits error versus i
Results
Initial program 45.5
Initial simplification15.6
rmApplied clear-num15.9
Taylor expanded around -inf 0.4
Simplified0.4
Final simplification0.4
Time bar (total: 17.4s)Debug logProfile
herbie shell --seed 2018248
(FPCore (i)
:name "Octave 3.8, jcobi/4, as called"
:pre (and (> i 0))
(/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)))