herbie shell --seed 2020153
(FPCore (a s x m b)
:name "(/ (log (+ (* a (exp (+ (* (sqrt s) (sqrt (* (- 2.0) (log x)))) m))) b)) (sqrt (* (- 2.0) (log x))))"
:precision binary64
(/ (log (+ (* a (exp (+ (* (sqrt s) (sqrt (* (neg 2.0) (log x)))) m))) b)) (sqrt (* (neg 2.0) (log x)))))