Runtime

Time bar (total: 10.0m) Debug log

Please include this information when filing a bug report:

herbie --seed '#(3972643207 1446597976 58189596 376453379 2115723377 1392225639)'
(FPCore (a b c)
  :name "Random Jason Timeout Test 015"
  (sin (pow (sqrt (atan2 b b)) (- b a))))