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