Use the --timeout flag to change the timeout.
--timeout
e^{-w} \cdot {\ell}^{\left(e^{w}\right)}
(FPCore (w l) :precision binary64 (* (exp (- w)) (pow l (exp w))))
double code(double w, double l) { return exp(-w) * pow(l, exp(w)); }