Details

Time bar (total: 13.2s)

sample379.0ms

Algorithm
intervals
Results
283.0ms264×body5120exit
37.0ms76×body1280valid
13.0ms53×body640valid
9.0ms86×body80valid
6.0ms207×body80nan
6.0ms5×body2560valid
4.0ms24×body320valid
2.0ms1×body5120valid
1.0ms11×body160valid

simplify141.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1143
2163
3183
4193
5243
6433
7643
81473
913613
1050013

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 35.0b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite1.0ms

Algorithm
rewrite-expression-head
Rules
1×pow1 add-exp-log add-sqr-sqrt add-cube-cbrt *-un-lft-identity add-cbrt-cube add-log-exp
Counts
1 → 7
Calls
1 calls:
1.0ms
(fmod (cosh c) (log1p a))

series2.0ms

Counts
1 → 3
Calls
1 calls:
2.0ms
(fmod (cosh c) (log1p a))

simplify102.0ms

Algorithm
egg-herbie
Counts
10 → 10
Iterations

Useful iterations: 1 (2.0ms)

IterNodesCost
01949
12442
22942
33642
45642
511542
656442
7183842
8500142

prune32.0ms

Filtered
10 candidates to 7 candidates (70.0%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New5510
Fresh000
Picked011
Done000
Total5611

Merged error: 34.9b

Counts
11 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.6b
(exp (log (fmod (cosh c) (log1p a))))
1.3b
(log (fmod (cosh c) (log1p a)))
39.8b
(fmod (cosh c) (log1p a))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt add-cube-cbrt log-prod *-un-lft-identity
5×pow1
4×add-exp-log exp-prod
3×exp-sum add-cbrt-cube add-log-exp
2×log-pow
1×rem-log-exp rem-exp-log
Counts
3 → 34
Calls
3 calls:
2.0ms
(exp (log (fmod (cosh c) (log1p a))))
1.0ms
(log (fmod (cosh c) (log1p a)))
1.0ms
(fmod (cosh c) (log1p a))

series27.0ms

Counts
3 → 9
Calls
3 calls:
2.0ms
(exp (log (fmod (cosh c) (log1p a))))
20.0ms
(log (fmod (cosh c) (log1p a)))
5.0ms
(fmod (cosh c) (log1p a))

simplify85.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 3 (6.0ms)

IterNodesCost
055234
181206
2103200
3150194
4295194
5724194
62472194
75001194

prune113.0ms

Filtered
43 candidates to 23 candidates (53.5%)
Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New331043
Fresh224
Picked101
Done101
Total371249

Merged error: 34.9b

Counts
49 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (log (fmod (cosh c) (log1p a))) 3)
0.6b
(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.3b
(log (fmod (cosh c) (log1p a)))
39.8b
(fmod (cosh c) (log1p a))

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
17×exp-prod
14×cbrt-prod
12×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
10×pow1
8×unpow-prod-down cube-prod
6×add-exp-log
5×log-pow add-cbrt-cube add-log-exp
3×pow-unpow log-prod
2×cube-mult unpow3 sqr-pow
1×pow-to-exp pow-pow rem-log-exp pow-exp rem-exp-log rem-cube-cbrt
Counts
4 → 69
Calls
4 calls:
2.0ms
(pow (log (fmod (cosh c) (log1p a))) 3)
5.0ms
(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.0ms
(log (fmod (cosh c) (log1p a)))
1.0ms
(fmod (cosh c) (log1p a))

series57.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(pow (log (fmod (cosh c) (log1p a))) 3)
2.0ms
(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
19.0ms
(log (fmod (cosh c) (log1p a)))
2.0ms
(fmod (cosh c) (log1p a))

simplify132.0ms

Algorithm
egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 2 (17.0ms)

IterNodesCost
0133473
1432423
22928418
35002418

prune241.0ms

Filtered
81 candidates to 43 candidates (53.1%)
Pruning

22 alts after pruning (22 fresh and 0 done)

PrunedKeptTotal
New691281
Fresh11011
Picked101
Done000
Total712293

Merged error: 34.9b

Counts
93 → 22

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (log (fmod (cosh c) (log1p a))) 3)
0.6b
(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
1.3b
(log (fmod (cosh c) (log1p a)))
39.8b
(fmod (cosh c) (log1p a))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
68×cbrt-prod
43×exp-prod
29×unpow-prod-down cube-prod
18×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
12×pow1
7×log-pow
6×add-exp-log
5×add-cbrt-cube add-log-exp
4×cube-mult unpow3 sqr-pow
3×pow-unpow log-prod
1×pow-to-exp pow-pow rem-log-exp pow-exp rem-exp-log rem-cube-cbrt
Counts
4 → 95
Calls
4 calls:
3.0ms
(pow (log (fmod (cosh c) (log1p a))) 3)
11.0ms
(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
2.0ms
(log (fmod (cosh c) (log1p a)))
1.0ms
(fmod (cosh c) (log1p a))

series60.0ms

Counts
4 → 12
Calls
4 calls:
36.0ms
(pow (log (fmod (cosh c) (log1p a))) 3)
2.0ms
(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
19.0ms
(log (fmod (cosh c) (log1p a)))
2.0ms
(fmod (cosh c) (log1p a))

simplify158.0ms

Algorithm
egg-herbie
Counts
107 → 107
Iterations

Useful iterations: 2 (21.0ms)

IterNodesCost
0232693
1580595
23655582
35002582

prune214.0ms

Filtered
107 candidates to 47 candidates (43.9%)
Pruning

23 alts after pruning (23 fresh and 0 done)

PrunedKeptTotal
New998107
Fresh61521
Picked101
Done000
Total10623129

Merged error: 34.9b

Counts
129 → 23

regimes509.0ms

Accuracy

0% (0.0b remaining)

Error of 33.9b against oracle of 33.8b and baseline of 33.9b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01423

end0.0ms

sample10.8s

Algorithm
intervals
Results
8.3s7817×body5120exit
1.1s2249×body1280valid
388.0ms1589×body640valid
167.0ms146×body2560valid
167.0ms5279×body80nan
139.0ms2822×body80valid
113.0ms770×body320valid
47.0ms416×body160valid
14.0ms8×body5120valid

Profiling

Loading profile data...