


Bits error versus F



Bits error versus l
if (* PI l) < -7.009633394870095e+99 or 2.1687705884278945e+62 < (* PI l) Initial program 21.7
Applied simplify21.7
rmApplied associate-/r*21.7
rmApplied add-cube-cbrt21.7
Applied associate-/l*21.7
Taylor expanded around inf 49.6
Applied simplify3.9
if -7.009633394870095e+99 < (* PI l) < -2.1761679811364737e+26Initial program 27.7
Applied simplify27.7
rmApplied tan-quot27.7
Applied associate-/l/27.7
Taylor expanded around 0 16.4
if -2.1761679811364737e+26 < (* PI l) < 2.1687705884278945e+62Initial program 11.1
Applied simplify10.5
rmApplied associate-/r*3.2
Time bar (total: 1.3m)Debug log
herbie shell --seed '#(2479486159 2123901208 2662424940 349789437 14252662 202027171)'
(FPCore (F l)
:name "VandenBroeck and Keller, Equation (6)"
(- (* PI l) (* (/ 1 (* F F)) (tan (* PI l)))))