Timeout in 2.5m

Use the --timeout flag to change the timeout.

\[\left(4 - \left(2 \cdot 0.1\right) \cdot \left(\left(\left({\left(double \cdot \frac{\frac{\left(48 \cdot \pi\right) \cdot \pi}{1.205 \cdot 10^{-29}}}{1.205 \cdot 10^{-29}}\right)}^{\left(double \cdot \frac{1}{3}\right)} \cdot \left(10^{-06} \cdot e^{\frac{-1.1}{8.625 \cdot 10^{-05} \cdot 823}}\right)\right) \cdot {\left(double \cdot \left(i + 1\right)\right)}^{\left(double \cdot \frac{1}{3}\right)}\right) \cdot e^{\left(-1.77\right) - \frac{\frac{\left(2 \cdot 6.25 \cdot 10^{+18}\right) \cdot 1.205 \cdot 10^{-29}}{{\left(double \cdot \frac{\left(3 \cdot \left(i + 1\right)\right) \cdot 1.205 \cdot 10^{-29}}{4 \cdot \pi}\right)}^{\left(double \cdot \frac{1}{3}\right)}}}{8.625 \cdot 10^{-05} \cdot 823}} + 0.0\right)\right) + e^{\left(-0.1\right) \cdot \left(\left(\left({\left(double \cdot \frac{\frac{\left(48 \cdot \pi\right) \cdot \pi}{1.205 \cdot 10^{-29}}}{1.205 \cdot 10^{-29}}\right)}^{\left(double \cdot \frac{1}{3}\right)} \cdot \left(10^{-06} \cdot e^{\frac{-1.1}{8.625 \cdot 10^{-05} \cdot 823}}\right)\right) \cdot {\left(double \cdot \left(i + 1\right)\right)}^{\left(double \cdot \frac{1}{3}\right)}\right) \cdot e^{\left(-1.77\right) - \frac{\frac{\left(2 \cdot 6.25 \cdot 10^{+18}\right) \cdot 1.205 \cdot 10^{-29}}{{\left(double \cdot \frac{\left(3 \cdot \left(i + 1\right)\right) \cdot 1.205 \cdot 10^{-29}}{4 \cdot \pi}\right)}^{\left(double \cdot \frac{1}{3}\right)}}}{8.625 \cdot 10^{-05} \cdot 823}} + 0.0\right)} \cdot \left(\left(-4\right) - \left(2 \cdot 0.1\right) \cdot \left(\left(\left({\left(double \cdot \frac{\frac{\left(48 \cdot \pi\right) \cdot \pi}{1.205 \cdot 10^{-29}}}{1.205 \cdot 10^{-29}}\right)}^{\left(double \cdot \frac{1}{3}\right)} \cdot \left(10^{-06} \cdot e^{\frac{-1.1}{8.625 \cdot 10^{-05} \cdot 823}}\right)\right) \cdot {\left(double \cdot \left(i + 1\right)\right)}^{\left(double \cdot \frac{1}{3}\right)}\right) \cdot e^{\left(-1.77\right) - \frac{\frac{\left(2 \cdot 6.25 \cdot 10^{+18}\right) \cdot 1.205 \cdot 10^{-29}}{{\left(double \cdot \frac{\left(3 \cdot \left(i + 1\right)\right) \cdot 1.205 \cdot 10^{-29}}{4 \cdot \pi}\right)}^{\left(double \cdot \frac{1}{3}\right)}}}{8.625 \cdot 10^{-05} \cdot 823}} + 0.0\right)\right)\]
\left(4 - \left(2 \cdot 0.1\right) \cdot \left(\left(\left({\left(double \cdot \frac{\frac{\left(48 \cdot \pi\right) \cdot \pi}{1.205 \cdot 10^{-29}}}{1.205 \cdot 10^{-29}}\right)}^{\left(double \cdot \frac{1}{3}\right)} \cdot \left(10^{-06} \cdot e^{\frac{-1.1}{8.625 \cdot 10^{-05} \cdot 823}}\right)\right) \cdot {\left(double \cdot \left(i + 1\right)\right)}^{\left(double \cdot \frac{1}{3}\right)}\right) \cdot e^{\left(-1.77\right) - \frac{\frac{\left(2 \cdot 6.25 \cdot 10^{+18}\right) \cdot 1.205 \cdot 10^{-29}}{{\left(double \cdot \frac{\left(3 \cdot \left(i + 1\right)\right) \cdot 1.205 \cdot 10^{-29}}{4 \cdot \pi}\right)}^{\left(double \cdot \frac{1}{3}\right)}}}{8.625 \cdot 10^{-05} \cdot 823}} + 0.0\right)\right) + e^{\left(-0.1\right) \cdot \left(\left(\left({\left(double \cdot \frac{\frac{\left(48 \cdot \pi\right) \cdot \pi}{1.205 \cdot 10^{-29}}}{1.205 \cdot 10^{-29}}\right)}^{\left(double \cdot \frac{1}{3}\right)} \cdot \left(10^{-06} \cdot e^{\frac{-1.1}{8.625 \cdot 10^{-05} \cdot 823}}\right)\right) \cdot {\left(double \cdot \left(i + 1\right)\right)}^{\left(double \cdot \frac{1}{3}\right)}\right) \cdot e^{\left(-1.77\right) - \frac{\frac{\left(2 \cdot 6.25 \cdot 10^{+18}\right) \cdot 1.205 \cdot 10^{-29}}{{\left(double \cdot \frac{\left(3 \cdot \left(i + 1\right)\right) \cdot 1.205 \cdot 10^{-29}}{4 \cdot \pi}\right)}^{\left(double \cdot \frac{1}{3}\right)}}}{8.625 \cdot 10^{-05} \cdot 823}} + 0.0\right)} \cdot \left(\left(-4\right) - \left(2 \cdot 0.1\right) \cdot \left(\left(\left({\left(double \cdot \frac{\frac{\left(48 \cdot \pi\right) \cdot \pi}{1.205 \cdot 10^{-29}}}{1.205 \cdot 10^{-29}}\right)}^{\left(double \cdot \frac{1}{3}\right)} \cdot \left(10^{-06} \cdot e^{\frac{-1.1}{8.625 \cdot 10^{-05} \cdot 823}}\right)\right) \cdot {\left(double \cdot \left(i + 1\right)\right)}^{\left(double \cdot \frac{1}{3}\right)}\right) \cdot e^{\left(-1.77\right) - \frac{\frac{\left(2 \cdot 6.25 \cdot 10^{+18}\right) \cdot 1.205 \cdot 10^{-29}}{{\left(double \cdot \frac{\left(3 \cdot \left(i + 1\right)\right) \cdot 1.205 \cdot 10^{-29}}{4 \cdot \pi}\right)}^{\left(double \cdot \frac{1}{3}\right)}}}{8.625 \cdot 10^{-05} \cdot 823}} + 0.0\right)\right)
double f(double double, double i) {
        double r29453070 = 4.0;
        double r29453071 = 2.0;
        double r29453072 = 0.1;
        double r29453073 = r29453071 * r29453072;
        double r29453074 = double;
        double r29453075 = 48.0;
        double r29453076 = atan2(1.0, 0.0);
        double r29453077 = r29453075 * r29453076;
        double r29453078 = r29453077 * r29453076;
        double r29453079 = 1.205e-29;
        double r29453080 = r29453078 / r29453079;
        double r29453081 = r29453080 / r29453079;
        double r29453082 = r29453074 * r29453081;
        double r29453083 = 1.0;
        double r29453084 = 3.0;
        double r29453085 = r29453083 / r29453084;
        double r29453086 = r29453074 * r29453085;
        double r29453087 = pow(r29453082, r29453086);
        double r29453088 = 1e-06;
        double r29453089 = 1.1;
        double r29453090 = -r29453089;
        double r29453091 = 8.625e-05;
        double r29453092 = 823.0;
        double r29453093 = r29453091 * r29453092;
        double r29453094 = r29453090 / r29453093;
        double r29453095 = exp(r29453094);
        double r29453096 = r29453088 * r29453095;
        double r29453097 = r29453087 * r29453096;
        double r29453098 = i;
        double r29453099 = r29453098 + r29453083;
        double r29453100 = r29453074 * r29453099;
        double r29453101 = pow(r29453100, r29453086);
        double r29453102 = r29453097 * r29453101;
        double r29453103 = 1.77;
        double r29453104 = -r29453103;
        double r29453105 = 6.25e+18;
        double r29453106 = r29453071 * r29453105;
        double r29453107 = r29453106 * r29453079;
        double r29453108 = r29453084 * r29453099;
        double r29453109 = r29453108 * r29453079;
        double r29453110 = r29453070 * r29453076;
        double r29453111 = r29453109 / r29453110;
        double r29453112 = r29453074 * r29453111;
        double r29453113 = pow(r29453112, r29453086);
        double r29453114 = r29453107 / r29453113;
        double r29453115 = r29453114 / r29453093;
        double r29453116 = r29453104 - r29453115;
        double r29453117 = exp(r29453116);
        double r29453118 = r29453102 * r29453117;
        double r29453119 = 0.0;
        double r29453120 = r29453118 + r29453119;
        double r29453121 = r29453073 * r29453120;
        double r29453122 = r29453070 - r29453121;
        double r29453123 = -r29453072;
        double r29453124 = r29453123 * r29453120;
        double r29453125 = exp(r29453124);
        double r29453126 = -r29453070;
        double r29453127 = r29453126 - r29453121;
        double r29453128 = r29453125 * r29453127;
        double r29453129 = r29453122 + r29453128;
        return r29453129;
}

Reproduce

herbie shell --seed 1 
(FPCore (double i)
  :name "4-2*0.1*((pow((double)(48*PI*PI/(1.205e-29)/(1.205e-29)),(double)1/3)*(1.0e-6*exp(-1.1/((8.625E-5)*823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77)-2*(6.25e18)*(1.205e-29)/(pow((double)(3*(i+1)*(1.205e-29)/(4*PI)),(double)1/3))/((8.625E-5)*823))+0.0)+exp(-0.1*((pow((double)(48*PI*PI/(1.205e-29)/(1.205e-29)),(double)1/3)*(1.0e-6*exp(-1.1/((8.625E-5)*823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77)-2*(6.25e18)*(1.205e-29)/(pow((double)(3*(i+1)*(1.205e-29)/(4*PI)),(double)1/3))/((8.625E-5)*823))+0.0))*(-4-2*0.1*((pow((double)(48*PI*PI/(1.205e-29)/(1.205e-29)),(double)1/3)*(1.0e-6*exp(-1.1/((8.625E-5)*823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77)-2*(6.25e18)*(1.205e-29)/(pow((double)(3*(i+1)*(1.205e-29)/(4*PI)),(double)1/3))/((8.625E-5)*823))+0.0))"
  (+ (- 4 (* (* 2 0.1) (+ (* (* (* (pow (* double (/ (/ (* (* 48 PI) PI) 1.205e-29) 1.205e-29)) (* double (/ 1 3))) (* 1e-06 (exp (/ (- 1.1) (* 8.625e-05 823))))) (pow (* double (+ i 1)) (* double (/ 1 3)))) (exp (- (- 1.77) (/ (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))) (* 8.625e-05 823))))) 0.0))) (* (exp (* (- 0.1) (+ (* (* (* (pow (* double (/ (/ (* (* 48 PI) PI) 1.205e-29) 1.205e-29)) (* double (/ 1 3))) (* 1e-06 (exp (/ (- 1.1) (* 8.625e-05 823))))) (pow (* double (+ i 1)) (* double (/ 1 3)))) (exp (- (- 1.77) (/ (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))) (* 8.625e-05 823))))) 0.0))) (- (- 4) (* (* 2 0.1) (+ (* (* (* (pow (* double (/ (/ (* (* 48 PI) PI) 1.205e-29) 1.205e-29)) (* double (/ 1 3))) (* 1e-06 (exp (/ (- 1.1) (* 8.625e-05 823))))) (pow (* double (+ i 1)) (* double (/ 1 3)))) (exp (- (- 1.77) (/ (/ (* (* 2 6.25e+18) 1.205e-29) (pow (* double (/ (* (* 3 (+ i 1)) 1.205e-29) (* 4 PI))) (* double (/ 1 3)))) (* 8.625e-05 823))))) 0.0))))))