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