Runtime

Time bar (total: 10.0m) Debug logProfile

Please include this information when filing a bug report:

herbie shell --seed '#(1064524629 4159152179 2999149171 575749698 4006532819 692958815)'
(FPCore (a b c d)
  :name "Random Jason Timeout Test 004"
  (fmod (cosh c) (log1p a)))