


Bits error versus e



Bits error versus v
Initial program 0.1
Time bar (total: 52.3s)Debug logProfile
herbie shell --seed '#(1070706311 3771791028 4128836681 4194990999 2341756049 504035650)'
(FPCore (e v)
:name "Trigonometry A"
:pre (<= 0 e 1)
(/ (* e (sin v)) (+ 1 (* e (cos v)))))