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 (x y z)
  :name "2*atan(sqrt(((tan((x+y)/2)^2 + tan(z/2)^2 + 1)*tan((x-y)/2)^2 + tan(z/2)^2)/(((tan((x-y)/2)^2 + 1)*tan(z/2)^2 + 1)*tan((x+y)/2)^2 + 1)))"
  (* 2 (atan (sqrt (/ (+ (* (+ (+ (pow (tan (/ (+ x y) 2)) 2) (pow (tan (/ z 2)) 2)) 1) (pow (tan (/ (- x y) 2)) 2)) (pow (tan (/ z 2)) 2)) (+ (* (+ (* (+ (pow (tan (/ (- x y) 2)) 2) 1) (pow (tan (/ z 2)) 2)) 1) (pow (tan (/ (+ x y) 2)) 2)) 1))))))