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 (b a c)
  :name "-(b^2 log(abs((b/sqrt(a) + 2 sqrt(a) + 2 sqrt(a + b + c))/(b/sqrt(a) + 2 sqrt(c)))))/(8 a^(3/2)) + (c log(abs((b/sqrt(a) + 2 sqrt(a) + 2 sqrt(a + b + c))/(b/sqrt(a) + 2 sqrt(c)))))/(2 sqrt(a)) - (b sqrt(c))/(4 a) + (b sqrt(a + b + c))/(4 a) + 1/2 sqrt(a + b + c)"
  (+ (+ (- (+ (/ (- (* (pow b 2) (log (fabs (/ (+ (+ (/ b (sqrt a)) (* 2 (sqrt a))) (* 2 (sqrt (+ (+ a b) c)))) (+ (/ b (sqrt a)) (* 2 (sqrt c)))))))) (* 8 (pow a (/ 3 2)))) (/ (* c (log (fabs (/ (+ (+ (/ b (sqrt a)) (* 2 (sqrt a))) (* 2 (sqrt (+ (+ a b) c)))) (+ (/ b (sqrt a)) (* 2 (sqrt c))))))) (* 2 (sqrt a)))) (/ (* b (sqrt c)) (* 4 a))) (/ (* b (sqrt (+ (+ a b) c))) (* 4 a))) (* (/ 1 2) (sqrt (+ (+ a b) c)))))