Details

Time bar (total: 14.2s)

sample358.0ms

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

simplify220.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0113
1143
2163
3183
4193
5243
6443
7693
81693
911273
1050023

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 32.9b

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite2.0ms

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

series28.0ms

Counts
2 → 6
Calls
2 calls:
26.0ms
(log1p a)
2.0ms
(fmod (cosh c) (log1p a))

simplify192.0ms

Algorithm
egg-herbie
Counts
26 → 26
Iterations

Useful iterations: 3 (29.0ms)

IterNodesCost
097103
125891
279890
3446786
4500186

prune87.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 31.9b

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

rewrite5.0ms

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

series148.0ms

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

simplify100.0ms

Algorithm
egg-herbie
Counts
60 → 60
Iterations

Useful iterations: 3 (95.0ms)

IterNodesCost
0215543
1684498
23108438
35001431

prune289.0ms

Pruning

23 alts after pruning (21 fresh and 2 done)

Merged error: 31.3b

localize18.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 (log1p a)) (* (* (cbrt (cbrt (log1p a))) (cbrt (cbrt (log1p a)))) (cbrt (cbrt (log1p a))))) (cbrt (log1p a))))

rewrite6.0ms

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

series147.0ms

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

simplify88.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0221777
1633708
22827663
35001663

prune423.0ms

Pruning

37 alts after pruning (35 fresh and 2 done)

Merged error: 30.9b

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite5.0ms

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

series59.0ms

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

simplify84.0ms

Algorithm
egg-herbie
Counts
55 → 55
Iterations

Useful iterations: 2 (18.0ms)

IterNodesCost
0221923
1633796
22827781
35001781

prune286.0ms

Pruning

46 alts after pruning (44 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

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02284
12284

end0.0ms

sample10.6s

Algorithm
intervals
Results
8.1s7910×body10240exit
1.0s2294×body1280valid
358.0ms1615×body640valid
153.0ms5305×body80nan
153.0ms141×body2560valid
115.0ms2740×body80valid
104.0ms789×body320valid
40.0ms411×body160valid
16.0ms10×body5120valid