Bits error versus x
Bits error versus y
Bits error versus z
Results
Initial program 0.2
Applied simplify0.1
rm
Applied *-un-lft-identity0.1
Applied times-frac0.1
Applied simplify0.1
Time bar (total: 15.5s)Debug log
herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (x y z)
:name " x * y * (1 /cos(z))"
(* (* x y) (/ 1 (cos z))))