


Bits error versus e



Bits error versus v
Results
Initial program 0.1
Time bar (total: 57.7s)Debug logProfile
herbie shell --seed '#(1072743783 989954326 4239155542 3782239461 3602631542 1719177920)'
(FPCore (e v)
:name "Trigonometry A"
:pre (<= 0 e 1)
(/ (* e (sin v)) (+ 1 (* e (cos v)))))