Details

Time bar (total: 12.4s)

sample314.0ms

Algorithm
intervals
Results
230.0ms222×body10240exit
38.0ms79×body1280valid
11.0ms49×body640valid
5.0ms160×body80nan
5.0ms92×body80valid
3.0ms3×body2560valid
3.0ms21×body320valid
2.0ms1×body5120valid
1.0ms11×body160valid

simplify220.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1143
2163
3183
4193
5243
6433
7643
81543
910443
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: 33.5b

Counts
2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

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

simplify99.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: 33.5b

Counts
11 → 6

localize12.0ms

Local error

Found 3 expressions with local error:

0.5b
(exp (log (fmod (cosh c) (log1p a))))
1.2b
(log (fmod (cosh c) (log1p a)))
38.2b
(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))

series25.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
43 → 43
Iterations

Useful iterations: 3 (6.0ms)

IterNodesCost
055234
181206
2103200
3150194
4295194
5724194
62472194
75001194

prune106.0ms

Filtered
43 candidates to 23 candidates (53.5%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New36743
Fresh224
Picked101
Done011
Total391049

Merged error: 33.5b

Counts
49 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (log (fmod (cosh c) (log1p a))) 3)
0.5b
(exp (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)))
1.2b
(log (fmod (cosh c) (log1p a)))
38.2b
(fmod (cosh c) (log1p a))

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

prune220.0ms

Filtered
81 candidates to 42 candidates (51.9%)
Pruning

17 alts after pruning (16 fresh and 1 done)

PrunedKeptTotal
New72981
Fresh178
Picked101
Done011
Total741791

Merged error: 33.5b

Counts
91 → 17

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (log (fmod (cosh c) (log1p a))) 3)
0.5b
(exp (cbrt (pow (cbrt (pow (log (fmod (cosh c) (log1p a))) 3)) 3)))
1.2b
(log (fmod (cosh c) (log1p a)))
38.2b
(fmod (cosh c) (log1p a))

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

series57.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(pow (log (fmod (cosh c) (log1p a))) 3)
3.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

prune213.0ms

Filtered
107 candidates to 47 candidates (43.9%)
Pruning

20 alts after pruning (19 fresh and 1 done)

PrunedKeptTotal
New998107
Fresh41115
Picked101
Done011
Total10420124

Merged error: 33.5b

Counts
124 → 20

regimes450.0ms

Accuracy

0% (0.0b remaining)

Error of 34.2b against oracle of 34.2b and baseline of 34.2b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01411

end0.0ms

sample10.2s

Algorithm
intervals
Results
7.7s7683×body10240exit
1.1s2335×body1280valid
346.0ms1591×body640valid
159.0ms5276×body80nan
154.0ms146×body2560valid
125.0ms2777×body80valid
102.0ms759×body320valid
37.0ms379×body160valid
21.0ms13×body5120valid

Profiling

Loading profile data...