Use the --timeout flag to change the timeout.
\left(\left(\mathsf{expm1}\left(x\right) + \mathsf{lgamma} \left( x \right)\right) - e^{x}\right) + {2}^{x}double code(double x) {
return ((double) (((double) (((double) (((double) expm1(x)) + ((double) lgamma(x)))) - ((double) exp(x)))) + ((double) pow(2.0, x))));
}
herbie shell --seed 2020153
(FPCore (x)
:name "(+ (- (+ (expm1 x) (lgamma x)) (exp x)) (pow 2 x))"
:precision binary64
(+ (- (+ (expm1 x) (lgamma x)) (exp x)) (pow 2.0 x)))