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 (ax ay by cy bx cx timeout)
  :name "(ax*ax + ay*ay)*(by - cy) + (bx*bx + by*by)*(cy - ay) + (cx*cx+cy*cy)*(ay - by) --timeout 5"
  (- (+ (+ (* (+ (* ax ax) (* ay ay)) (- by cy)) (* (+ (* bx bx) (* by by)) (- cy ay))) (* (+ (* cx cx) (* cy cy)) (- ay by))) (* (- timeout) 5)))