\log \left(\frac{\log \left(\frac{1 + e^{x}}{1 - e^{x}}\right)}{2}\right)double code(double x) {
return ((double) log(((double) (((double) log(((double) (((double) (1.0 + ((double) exp(x)))) / ((double) (1.0 - ((double) exp(x)))))))) / 2.0))));
}
herbie shell --seed 2020153
(FPCore (x)
:name "(log (/ (log (/ (+ 1 (exp x)) (- 1 (exp x)))) 2))"
:precision binary64
(log (/ (log (/ (+ 1.0 (exp x)) (- 1.0 (exp x)))) 2.0)))