Details

Time bar (total: 14.1s)

sample358.0ms

Algorithm
intervals
Results
280.0ms274×body10240exit
31.0ms68×body1280valid
10.0ms48×body640valid
6.0ms202×body80nan
4.0ms4×body2560valid
4.0ms95×body80valid
3.0ms22×body320valid
2.0ms19×body160valid

simplify222.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

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.9b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(log1p a)
37.3b
(fmod (cosh c) (log1p a))

rewrite1.0ms

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

series3.0ms

Counts
2 → 6
Calls
2 calls:
1.0ms
(log1p a)
3.0ms
(fmod (cosh c) (log1p a))

simplify109.0ms

Algorithm
egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
02772
13362
24062
35062
47962
515862
670262
7234262
8500162

prune70.0ms

Filtered
20 candidates to 14 candidates (70.0%)
Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 31.9b

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (log1p a))
0.6b
(cbrt (log1p a))
0.6b
(cbrt (log1p a))
37.3b
(fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))

rewrite3.0ms

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

series309.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(cbrt (log1p a))
100.0ms
(cbrt (log1p a))
102.0ms
(cbrt (log1p a))
3.0ms
(fmod (cosh c) (* (* (cbrt (log1p a)) (cbrt (log1p a))) (cbrt (log1p a))))

simplify91.0ms

Algorithm
egg-herbie
Counts
52 → 52
Iterations

Useful iterations: 3 (8.0ms)

IterNodesCost
041281
173245
2152239
3486232
42446232
55001232

prune203.0ms

Filtered
52 candidates to 37 candidates (71.2%)
Pruning

23 alts after pruning (21 fresh and 2 done)

Merged error: 31.3b

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (log1p a)))
0.6b
(cbrt (cbrt (log1p a)))
0.6b
(cbrt (cbrt (log1p a)))
37.3b
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
27×cbrt-prod
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log add-cbrt-cube add-log-exp
3×pow1/3
Counts
4 → 49
Calls
4 calls:
1.0ms
(cbrt (cbrt (log1p a)))
1.0ms
(cbrt (cbrt (log1p a)))
1.0ms
(cbrt (cbrt (log1p a)))
0.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))

series307.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(cbrt (cbrt (log1p a)))
99.0ms
(cbrt (cbrt (log1p a)))
100.0ms
(cbrt (cbrt (log1p a)))
3.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))

simplify125.0ms

Algorithm
egg-herbie
Counts
61 → 61
Iterations

Useful iterations: 6 (120.0ms)

IterNodesCost
056491
183431
2139425
3286425
41005425
53398406
65001397

prune286.0ms

Filtered
61 candidates to 40 candidates (65.6%)
Pruning

36 alts after pruning (34 fresh and 2 done)

Merged error: 30.9b

localize25.0ms

Local error

Found 4 expressions with local error:

0.6b
(cbrt (cbrt (log1p a)))
37.3b
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))
37.3b
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))
37.3b
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))

rewrite2.0ms

Algorithm
rewrite-expression-head
Rules
9×cbrt-prod
6×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log add-cbrt-cube add-log-exp
1×pow1/3
Counts
4 → 35
Calls
4 calls:
1.0ms
(cbrt (cbrt (log1p a)))
0.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))
0.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))
0.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))

series113.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(cbrt (cbrt (log1p a)))
3.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))
3.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))
3.0ms
(fmod (cosh c) (* (* (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a)))) (cbrt (log1p a))) (cbrt (log1p a))))

simplify120.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 6 (115.0ms)

IterNodesCost
056721
183597
2139595
3286595
41005595
53398546
65001543

prune201.0ms

Filtered
47 candidates to 35 candidates (74.5%)
Pruning

45 alts after pruning (43 fresh and 2 done)

Merged error: 30.7b

regimes1.0s

Accuracy

0% (2.0b remaining)

Error of 34.0b against oracle of 32.0b and baseline of 34.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02284
12284

end0.0ms

sample10.5s

Algorithm
intervals
Results
8.1s7910×body10240exit
1.0s2294×body1280valid
352.0ms1615×body640valid
152.0ms141×body2560valid
151.0ms5305×body80nan
120.0ms2740×body80valid
101.0ms789×body320valid
39.0ms411×body160valid
15.0ms10×body5120valid