Error in 37.6s

Runtime

Time bar (total: 37.6s)Debug logProfile

start1.3s

Algorithm
intervals

setup19.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 35.8b

localize43.0ms

Local error

Found 1 expressions with local error:

40.9b
(fmod (cosh c) (log1p a))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
1 → 9
Calls

1 calls. Slowest were:

1.0ms
(fmod (cosh c) (log1p a))

series19.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

18.0ms
(fmod (cosh c) (log1p a))

simplify17.0ms

Counts
3 → 12
Calls

3 calls. Slowest were:

5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))

prune199.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 35.8b

localize11.0ms

Local error

Found 3 expressions with local error:

40.9b
(fmod (cosh c) (log1p a))
0.5b
(exp (log (fmod (cosh c) (log1p a))))
0.5b
(log (fmod (cosh c) (log1p a)))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
3 → 40
Calls

3 calls. Slowest were:

5.0ms
(exp (log (fmod (cosh c) (log1p a))))
2.0ms
(log (fmod (cosh c) (log1p a)))
0.0ms
(fmod (cosh c) (log1p a))

series48.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

39.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(exp (log (fmod (cosh c) (log1p a))))
4.0ms
(fmod (cosh c) (log1p a))

simplify168.0ms

Counts
21 → 49
Calls

21 calls. Slowest were:

19.0ms
(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
19.0ms
(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
19.0ms
(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))

prune664.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 35.8b

localize13.0ms

Local error

Found 4 expressions with local error:

40.9b
(fmod (cosh c) (log1p a))
40.9b
(fmod (cosh c) (log1p a))
40.9b
(fmod (cosh c) (log1p a))
0.5b
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))

rewrite7.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

6.0ms
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))

series11.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

3.0ms
(exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
3.0ms
(fmod (cosh c) (log1p a))
3.0ms
(fmod (cosh c) (log1p a))

simplify123.0ms

Counts
17 → 53
Calls

17 calls. Slowest were:

24.0ms
(exp (* (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
23.0ms
(exp (sqrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
18.0ms
(cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))

prune896.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 35.8b

localize33.0ms

Local error

Found 4 expressions with local error:

40.9b
(fmod (cosh c) (log1p a))
40.9b
(fmod (cosh c) (log1p a))
40.9b
(fmod (cosh c) (log1p a))
40.9b
(fmod (cosh c) (log1p a))

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 36
Calls

4 calls. Slowest were:

0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))
0.0ms
(fmod (cosh c) (log1p a))

series19.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))
4.0ms
(fmod (cosh c) (log1p a))

simplify54.0ms

Counts
12 → 48
Calls

12 calls. Slowest were:

6.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(fmod (cosh c) (log1p a))

prune865.0ms

Pruning

21 alts after pruning (20 fresh and 1 done)

Merged error: 35.8b

regimes789.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  (fmod (cosh c) (log1p a)))

Backtrace

partition: contract violation expected: list? given: 34.31287766906767 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128