Details

Time bar (total: 10.8s)

sample79.0ms

Algorithm
intervals
Results
27.0ms91×body1280valid
17.0ms95×body640valid
13.0ms303×body80valid
5.0ms36×body320valid
2.0ms25×body160valid

simplify55.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0154
1284
2564
31024
41534
53344
69244
719124
850014

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: 0.1b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(cosh x)
0.1b
(/ (sin y) y)

rewrite6.0ms

Algorithm
rewrite-expression-head
Rules
10×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
9×times-frac
4×add-exp-log add-cbrt-cube
3×associate-/r* associate-/l*
2×pow1 expm1-log1p-u log1p-expm1-u add-log-exp
1×cbrt-undiv cosh-def frac-2neg div-exp clear-num div-inv
Counts
2 → 39
Calls
2 calls:
1.0ms
(cosh x)
4.0ms
(/ (sin y) y)

series76.0ms

Counts
2 → 6
Calls
2 calls:
44.0ms
(cosh x)
31.0ms
(/ (sin y) y)

simplify59.0ms

Algorithm
egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0170191
1492177
21927169
35001169

prune112.0ms

Filtered
45 candidates to 36 candidates (80.0%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New39645
Fresh000
Picked011
Done000
Total39746

Merged error: 0b

Counts
46 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.1b
(/ y (sin y))
0.1b
(/ 1 (/ y (sin y)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
84×times-frac
53×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
16×add-exp-log associate-/r*
10×add-cbrt-cube
8×div-exp
6×div-inv associate-/l*
4×pow1 cbrt-undiv
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×rec-exp frac-2neg 1-exp clear-num
1×cosh-def pow-flip associate-/r/ inv-pow
Counts
3 → 117
Calls
3 calls:
1.0ms
(cosh x)
3.0ms
(/ y (sin y))
6.0ms
(/ 1 (/ y (sin y)))

series96.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(cosh x)
21.0ms
(/ y (sin y))
25.0ms
(/ 1 (/ y (sin y)))

simplify44.0ms

Algorithm
egg-herbie
Counts
126 → 126
Iterations

Useful iterations: 2 (36.0ms)

IterNodesCost
0407773
11701683
25001607

prune223.0ms

Filtered
126 candidates to 75 candidates (59.5%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1233126
Fresh325
Picked101
Done011
Total1276133

Merged error: 0b

Counts
133 → 6

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b
(cosh x)
0.1b
(/ 1 (sin y))
0.2b
(/ (/ 1 y) (/ 1 (sin y)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
430×times-frac
207×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
47×add-exp-log
34×div-exp
30×div-inv
17×add-cbrt-cube
16×associate-/r* associate-/l*
9×cbrt-undiv rec-exp 1-exp
4×pow1
3×expm1-log1p-u log1p-expm1-u add-log-exp
2×frac-2neg clear-num
1×cosh-def pow-flip associate-/r/ associate-/l/ inv-pow
Counts
3 → 272
Calls
3 calls:
1.0ms
(cosh x)
4.0ms
(/ 1 (sin y))
10.0ms
(/ (/ 1 y) (/ 1 (sin y)))

series86.0ms

Counts
3 → 9
Calls
3 calls:
49.0ms
(cosh x)
12.0ms
(/ 1 (sin y))
25.0ms
(/ (/ 1 y) (/ 1 (sin y)))

simplify50.0ms

Algorithm
egg-herbie
Counts
281 → 281
Iterations

Useful iterations: 1 (26.0ms)

IterNodesCost
012392734
150012240

prune420.0ms

Filtered
281 candidates to 131 candidates (46.6%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2810281
Fresh044
Picked011
Done011
Total2816287

Merged error: 0b

Counts
287 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b
(* (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))))
0.3b
(cbrt (/ y (sin y)))
0.3b
(cbrt (/ y (sin y)))
0.3b
(cbrt (/ y (sin y)))

rewrite663.0ms

Algorithm
rewrite-expression-head
Rules
3175×times-frac
1878×add-sqr-sqrt
1665×cbrt-prod
1279×*-un-lft-identity
1147×add-cube-cbrt
853×associate-*l*
161×unswap-sqr
133×div-inv
69×add-exp-log
53×associate-*r*
34×div-exp
21×cbrt-div
20×prod-exp
18×associate-/r/
16×add-cbrt-cube
14×pow1
9×cbrt-undiv rec-exp 1-exp
6×pow-flip pow1/3 cbrt-unprod
5×pow-prod-up pow-div
4×expm1-log1p-u log1p-expm1-u inv-pow add-log-exp
1×frac-times associate-*r/ pow3 pow-prod-down associate-*l/ un-div-inv *-commutative
Counts
4 → 1186
Calls
4 calls:
506.0ms
(* (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))))
3.0ms
(cbrt (/ y (sin y)))
3.0ms
(cbrt (/ y (sin y)))
3.0ms
(cbrt (/ y (sin y)))

series485.0ms

Counts
4 → 12
Calls
4 calls:
57.0ms
(* (/ (/ 1 (cbrt (/ y (sin y)))) (cbrt (/ y (sin y)))) (/ 1 (cbrt (/ y (sin y)))))
137.0ms
(cbrt (/ y (sin y)))
143.0ms
(cbrt (/ y (sin y)))
147.0ms
(cbrt (/ y (sin y)))

simplify186.0ms

Algorithm
egg-herbie
Counts
1198 → 1198
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
0500120743

prune5.7s

Filtered
1198 candidates to 1147 candidates (95.7%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New119801198
Fresh033
Picked011
Done022
Total119861204

Merged error: 0b

Counts
1204 → 6

regimes144.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074
174

end0.0ms

sample2.2s

Algorithm
intervals
Results
865.0ms2819×body1280valid
445.0ms2416×body640valid
376.0ms8600×body80valid
157.0ms1203×body320valid
58.0ms608×body160valid