


Bits error versus x
Initial program 0.0
Time bar (total: 26.1s)Debug logProfile
herbie shell --seed '#(1070864556 424010669 783715395 1203517814 4070606583 4107618214)' +o rules:numerics
(FPCore (x)
:name "Hyperbolic secant"
(/ 2 (+ (exp x) (exp (- x)))))