\[\frac{2}{1 + e^{-2 \cdot x}} - 1\]

Timeout in 10.0m

Use the --timeout flag to change the timeout.

Reproduce

herbie shell --seed 2019100 +o rules:numerics
(FPCore (x y)
  :name "Logistic function from Lakshay Garg"
  (- (/ 2 (+ 1 (exp (* -2 x)))) 1))