


Bits error versus e



Bits error versus v
Initial program 0.1
Time bar (total: 24.3s)Debug logProfile
herbie shell --seed '#(1070578969 3140398606 632207097 462683394 1189254563 964980650)'
(FPCore (e v)
:name "Trigonometry A"
:pre (<= 0 e 1)
(/ (* e (sin v)) (+ 1 (* e (cos v)))))