Error in 37.7s

Runtime

Time bar (total: 37.7s)Debug log

start1.1s

Algorithm
intervals

setup32.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.5b

localize23.0ms

Local error

Found 1 expressions with local error:

39.0b
(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))

series16.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

15.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))

prune195.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 34.4b

localize7.0ms

Local error

Found 3 expressions with local error:

39.0b
(fmod (cosh c) (log1p a))
1.2b
(log (fmod (cosh c) (log1p a)))
0.6b
(exp (log (fmod (cosh c) (log1p a))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
3 → 40
Calls

3 calls. Slowest were:

4.0ms
(exp (log (fmod (cosh c) (log1p a))))
3.0ms
(log (fmod (cosh c) (log1p a)))
0.0ms
(fmod (cosh c) (log1p a))

series44.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

34.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(fmod (cosh c) (log1p a))
5.0ms
(exp (log (fmod (cosh c) (log1p a))))

simplify130.0ms

Counts
21 → 49
Calls

21 calls. Slowest were:

14.0ms
(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
11.0ms
(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
11.0ms
(log (sqrt (fmod (cosh c) (log1p a))))

prune643.0ms

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 34.4b

localize11.0ms

Local error

Found 4 expressions with local error:

39.0b
(fmod (cosh c) (log1p a))
39.0b
(fmod (cosh c) (log1p a))
39.0b
(fmod (cosh c) (log1p a))
1.2b
(log (fmod (cosh c) (log1p a)))

rewrite2.0ms

Algorithm
rewrite-expression-head
Counts
4 → 41
Calls

4 calls. Slowest were:

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

series30.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

19.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(fmod (cosh c) (log1p a))
3.0ms
(fmod (cosh c) (log1p a))

simplify118.0ms

Counts
16 → 53
Calls

16 calls. Slowest were:

18.0ms
(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
15.0ms
(log (sqrt (fmod (cosh c) (log1p a))))
10.0ms
(log (fmod (cosh c) (log1p a)))

prune741.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 34.4b

localize26.0ms

Local error

Found 4 expressions with local error:

39.0b
(fmod (cosh c) (log1p a))
19.6b
(log (expm1 (log1p (fmod (cosh c) (log1p a)))))
0.6b
(exp (log (expm1 (log1p (fmod (cosh c) (log1p a))))))
0.0b
(expm1 (log1p (fmod (cosh c) (log1p a))))

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 51
Calls

4 calls. Slowest were:

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

series146.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

60.0ms
(log (expm1 (log1p (fmod (cosh c) (log1p a)))))
47.0ms
(exp (log (expm1 (log1p (fmod (cosh c) (log1p a))))))
36.0ms
(expm1 (log1p (fmod (cosh c) (log1p a))))

simplify209.0ms

Counts
25 → 63
Calls

25 calls. Slowest were:

21.0ms
(exp (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))))
21.0ms
(log (* (cbrt (expm1 (log1p (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (fmod (cosh c) (log1p a)))))))
18.0ms
(log (sqrt (expm1 (log1p (fmod (cosh c) (log1p a))))))

prune842.0ms

Pruning

17 alts after pruning (16 fresh and 1 done)

Merged error: 34.4b

regimes702.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.343886140715675 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