


Bits error versus e



Bits error versus v
Initial program 0.1
Time bar (total: 27.4s)Debug logProfile
herbie shell --seed '#(1072107073 2127697367 3936270018 2300570620 2134894798 4023771849)'
(FPCore (e v)
:name "Trigonometry A"
:pre (<= 0 e 1)
(/ (* e (sin v)) (+ 1 (* e (cos v)))))