Timeout in 1.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 1.0m)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
(FPCore (pi a1 D1 u D k s t alpha)
  :name "(pi/4*(2*a1^3/3 + a1*D1^2/2.) + pi*u*((D/2. - k*D)^2 + s) + pi*t*u^2/2. - pi*u^3/3. + pi*D*(1 - 2*k)*((2*u-t)/4.*(s + t*u - u^2)^0.5 + t*s^0.5/4. + k^2*D^2/2*(acos((t-2*u)/(2*k*D))-alpha)))"
  (+ (- (+ (+ (* (/ pi 4) (+ (/ (* 2 (pow a1 3)) 3) (/ (* a1 (pow D1 2)) 2.0))) (* (* pi u) (+ (pow (- (/ D 2.0) (* k D)) 2) s))) (/ (* (* pi t) (pow u 2)) 2.0)) (/ (* pi (pow u 3)) 3.0)) (* (* (* pi D) (- 1 (* 2 k))) (+ (+ (* (/ (- (* 2 u) t) 4.0) (pow (- (+ s (* t u)) (pow u 2)) 0.5)) (/ (* t (pow s 0.5)) 4.0)) (* (/ (* (pow k 2) (pow D 2)) 2) (- (acos (/ (- t (* 2 u)) (* (* 2 k) D))) alpha))))))