


Bits error versus x
Results
Initial program 57.9
Taylor expanded around 0 1.8
Taylor expanded around 0 1.8
Final simplification1.8
Time bar (total: 36.1s)Debug logProfile
herbie shell --seed 2018251
(FPCore (x)
:name "Hyperbolic tangent"
(/ (- (exp x) (exp (- x))) (+ (exp x) (exp (- x)))))