Error in 37.1s

Runtime

Time bar (total: 37.1s)Debug log

start1.1s

Algorithm
intervals

setup35.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 34.5b

localize24.0ms

Local error

Found 1 expressions with local error:

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

rewrite48.0ms

Algorithm
rewrite-expression-head
Counts
1 → 7
Calls

1 calls. Slowest were:

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

series16.0ms

Counts
1 → 3
Calls

1 calls. Slowest were:

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

simplify14.0ms

Counts
3 → 10
Calls

3 calls. Slowest were:

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

prune157.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 34.4b

localize12.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 → 34
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))

series35.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

28.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(fmod (cosh c) (log1p a))
3.0ms
(exp (log (fmod (cosh c) (log1p a))))

simplify139.0ms

Counts
21 → 43
Calls

21 calls. Slowest were:

17.0ms
(exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
17.0ms
(exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
15.0ms
(exp (log (sqrt (fmod (cosh c) (log1p a)))))

prune536.0ms

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 34.4b

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

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 33
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))

series45.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify88.0ms

Counts
16 → 45
Calls

16 calls. Slowest were:

17.0ms
(log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
14.0ms
(log (sqrt (fmod (cosh c) (log1p a))))
9.0ms
(log (fmod (cosh c) (log1p a)))

prune742.0ms

Pruning

14 alts after pruning (12 fresh and 2 done)

Merged error: 34.4b

localize31.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))
39.0b
(fmod (cosh c) (log1p a))

rewrite1.0ms

Algorithm
rewrite-expression-head
Counts
4 → 28
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))

series10.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify45.0ms

Counts
12 → 40
Calls

12 calls. Slowest were:

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

prune664.0ms

Pruning

15 alts after pruning (12 fresh and 3 done)

Merged error: 34.4b

regimes697.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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