


Bits error versus e



Bits error versus v
Initial program 0.1
pow expressions.Time bar (total: 35.6s)Debug log
herbie shell --seed '#(3134395454 2560787729 2839617794 3603201618 2404842889 1897446260)'
(FPCore (e v)
:name "Trigonometry A"
:pre (<= 0 e 1)
(/ (* e (sin v)) (+ 1 (* e (cos v)))))