Details

Time bar (total: 1.7s)

sample15.0ms

Algorithm
intervals
Results
6.0ms347×body80valid

simplify70.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0113
1223
2403
3833
42013
55723
630203
750013

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.0b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.0b
(exp (* (* x y) y))
0.1b
(* (* x y) y)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
30×associate-*l*
25×add-sqr-sqrt
22×exp-prod
12×associate-*r*
11×add-cube-cbrt *-un-lft-identity
8×unswap-sqr
7×pow1 add-exp-log add-cbrt-cube
4×*-commutative add-log-exp
3×pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u log1p-expm1-u
1×exp-to-pow rem-exp-log
Counts
2 → 66
Calls
2 calls:
7.0ms
(exp (* (* x y) y))
7.0ms
(* (* x y) y)

series68.0ms

Counts
2 → 6
Calls
2 calls:
33.0ms
(exp (* (* x y) y))
35.0ms
(* (* x y) y)

simplify115.0ms

Algorithm
egg-herbie
Counts
72 → 72
Iterations

Useful iterations: 3 (110.0ms)

IterNodesCost
0212247
1880220
23952217
35001216

prune104.0ms

Filtered
72 candidates to 49 candidates (68.1%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New70272
Fresh000
Picked101
Done000
Total71273

Merged error: 0b

Counts
73 → 2

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b
(pow E (* (* x y) y))
0.1b
(* (* x y) y)

rewrite16.0ms

Algorithm
rewrite-expression-head
Rules
30×associate-*l*
26×add-sqr-sqrt
22×pow-unpow
12×add-cube-cbrt *-un-lft-identity associate-*r*
8×pow1 add-exp-log unswap-sqr
7×add-cbrt-cube
4×*-commutative
3×unpow-prod-down pow-prod-down prod-exp cbrt-unprod
2×expm1-log1p-u pow-exp log1p-expm1-u add-log-exp
1×pow-to-exp e-exp-1 pow-pow sqr-pow
Counts
2 → 72
Calls
2 calls:
6.0ms
(pow E (* (* x y) y))
8.0ms
(* (* x y) y)

series109.0ms

Counts
2 → 6
Calls
2 calls:
78.0ms
(pow E (* (* x y) y))
31.0ms
(* (* x y) y)

simplify38.0ms

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 1 (8.0ms)

IterNodesCost
0288282
11270257
25001257

prune111.0ms

Filtered
78 candidates to 54 candidates (69.2%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New78078
Fresh011
Picked011
Done000
Total78280

Merged error: 0b

Counts
80 → 2

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (exp (* (* x y) y)))
0.1b
(* (* x y) y)
0.1b
(* (* x y) y)
0.1b
(* (* x y) y)

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
45×associate-*l*
38×add-sqr-sqrt
19×pow1 add-exp-log add-cbrt-cube
18×associate-*r*
17×add-cube-cbrt *-un-lft-identity
12×unswap-sqr
9×pow-prod-down prod-exp cbrt-unprod
6×*-commutative
4×expm1-log1p-u log1p-expm1-u add-log-exp
3×cbrt-prod
1×pow1/3
Counts
4 → 112
Calls
4 calls:
8.0ms
(cbrt (exp (* (* x y) y)))
8.0ms
(* (* x y) y)
7.0ms
(* (* x y) y)
7.0ms
(* (* x y) y)

series199.0ms

Counts
4 → 12
Calls
4 calls:
104.0ms
(cbrt (exp (* (* x y) y)))
30.0ms
(* (* x y) y)
30.0ms
(* (* x y) y)
34.0ms
(* (* x y) y)

simplify100.0ms

Algorithm
egg-herbie
Counts
124 → 124
Iterations

Useful iterations: 3 (92.0ms)

IterNodesCost
0176471
1661399
23282397
35001391

prune237.0ms

Filtered
124 candidates to 82 candidates (66.1%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1240124
Fresh000
Picked011
Done011
Total1242126

Merged error: 0b

Counts
126 → 2

regimes49.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0103
1123
2123

end0.0ms

sample356.0ms

Algorithm
intervals
Results
198.0ms10715×body80valid