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 d)
  :name "Random Jason Timeout Test 004"
  (fmod (cosh c) (log1p a)))