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 (x1 y1 x2 y2 x3 y3)
  :name "acos((x1 * y1 + x2 * y2 + x3 * y3) / (sqrt(x1 * x1 + x2 * x2 + x3 * x3) * sqrt(y1 * y1 + y2 * y2 + y3 + y3)))"
  (acos (/ (+ (+ (* x1 y1) (* x2 y2)) (* x3 y3)) (* (sqrt (+ (+ (* x1 x1) (* x2 x2)) (* x3 x3))) (sqrt (+ (+ (+ (* y1 y1) (* y2 y2)) y3) y3))))))