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