Timeout in 10.0m

Use the --timeout flag to change the timeout.

Runtime

Time bar (total: 10.0m)Debug logProfile

herbie shell --seed 2018357 +o rules:numerics
(FPCore (lambda1 lambda2 phi1 phi2)
  :name "Bearing on a great circle"
  (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (- (* (cos phi1) (sin phi2)) (* (* (sin phi1) (cos phi2)) (cos (- lambda1 lambda2))))))