


Bits error versus e



Bits error versus v
Initial program 0.1
Time bar (total: 48.3s)Debug logProfile
herbie shell --seed '#(1071725047 233389029 2036512464 3988615230 2972226563 1111574017)'
(FPCore (e v)
:name "Trigonometry A"
:pre (<= 0 e 1)
(/ (* e (sin v)) (+ 1 (* e (cos v)))))