


Bits error versus i
Results
Initial program 46.1
Initial simplification15.4
Taylor expanded around 0 0.2
Simplified0.2
Final simplification0.2
Time bar (total: 46.6s)Debug logProfile
herbie shell --seed 2018215 +o rules:numerics
(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)))