Details

Time bar (total: 2.3s)

sample16.0ms

Algorithm
intervals
Results
6.0ms296×body80valid

simplify92.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0103
1193
2433
3553
4593
5673
6873
71233
81983
93813
104543
116293
128073
1311673
1415043
1521863
1650023

prune3.0ms

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(- (* (+ x 1.0) y) x)
0.0b
(* (+ x 1.0) y)

rewrite12.0ms

Algorithm
rewrite-expression-head
Rules
6×add-sqr-sqrt *-un-lft-identity
4×pow1 add-exp-log add-cube-cbrt associate-*l* add-cbrt-cube add-log-exp
3×associate-*r*
2×associate-*l/
1×sub-neg flip3-- flip3-+ diff-log pow-prod-down prod-exp *-commutative flip-- cbrt-unprod flip-+ distribute-lft-out unswap-sqr
Counts
2 → 33
Calls
2 calls:
5.0ms
(- (* (+ x 1.0) y) x)
6.0ms
(* (+ x 1.0) y)

series10.0ms

Counts
2 → 6
Calls
2 calls:
5.0ms
(- (* (+ x 1.0) y) x)
5.0ms
(* (+ x 1.0) y)

simplify72.0ms

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 2 (20.0ms)

IterNodesCost
0149159
1616147
23110145
35001145

prune44.0ms

Filtered
39 candidates to 28 candidates (28.2%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New37239
Fresh000
Picked011
Done000
Total37340

Merged error: 0.0b

Counts
40 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y)))
0.5b
(cbrt (* (+ x 1.0) y))
0.5b
(cbrt (* (+ x 1.0) y))
0.5b
(cbrt (* (+ x 1.0) y))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
20×associate-*l/
18×cbrt-div
11×pow1
10×add-sqr-sqrt
9×flip3-+ pow1/3 flip-+
8×add-cube-cbrt *-un-lft-identity
7×cbrt-prod
6×add-exp-log
4×frac-times swap-sqr associate-*r* associate-*l* add-cbrt-cube add-log-exp
2×associate-*r/ pow-prod-down pow-sqr pow-prod-up
1×pow2 pow-plus prod-exp *-commutative cbrt-unprod unswap-sqr
Counts
4 → 72
Calls
4 calls:
6.0ms
(* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y)))
4.0ms
(cbrt (* (+ x 1.0) y))
4.0ms
(cbrt (* (+ x 1.0) y))
6.0ms
(cbrt (* (+ x 1.0) y))

series86.0ms

Counts
4 → 12
Calls
4 calls:
30.0ms
(* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y)))
18.0ms
(cbrt (* (+ x 1.0) y))
19.0ms
(cbrt (* (+ x 1.0) y))
18.0ms
(cbrt (* (+ x 1.0) y))

simplify43.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 2 (32.0ms)

IterNodesCost
0362905
11201847
25002793

prune369.0ms

Filtered
84 candidates to 67 candidates (20.2%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New83184
Fresh011
Picked011
Done011
Total83487

Merged error: 0b

Counts
87 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (* (+ x 1.0) y))
0.5b
(cbrt (* (+ x 1.0) y))
0.5b
(cbrt (* (+ x 1.0) y))
0.5b
(cbrt (* (+ x 1.0) y))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
8×cbrt-div associate-*l/
4×pow1 add-exp-log cbrt-prod add-sqr-sqrt add-cube-cbrt *-un-lft-identity flip3-+ pow1/3 add-cbrt-cube flip-+ add-log-exp
Counts
4 → 44
Calls
4 calls:
4.0ms
(cbrt (* (+ x 1.0) y))
4.0ms
(cbrt (* (+ x 1.0) y))
4.0ms
(cbrt (* (+ x 1.0) y))
4.0ms
(cbrt (* (+ x 1.0) y))

series73.0ms

Counts
4 → 12
Calls
4 calls:
19.0ms
(cbrt (* (+ x 1.0) y))
18.0ms
(cbrt (* (+ x 1.0) y))
18.0ms
(cbrt (* (+ x 1.0) y))
18.0ms
(cbrt (* (+ x 1.0) y))

simplify45.0ms

Algorithm
egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 3 (39.0ms)

IterNodesCost
0186628
1500600
21621536
35002496

prune183.0ms

Filtered
56 candidates to 52 candidates (7.1%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New56056
Fresh011
Picked011
Done022
Total56460

Merged error: 0b

Counts
60 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* (+ x 1.0) y) 3)
2.0b
(+ (* (* y (+ 1.0 x)) (+ (* (+ x 1.0) y) x)) (* x x))
3.1b
(- (pow (* (+ x 1.0) y) 3) (pow x 3))
41.3b
(/ (- (pow (* (+ x 1.0) y) 3) (pow x 3)) (+ (* (* y (+ 1.0 x)) (+ (* (+ x 1.0) y) x)) (* x x)))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
73×add-sqr-sqrt
40×difference-of-squares
39×times-frac
33×*-un-lft-identity
31×sqr-pow
23×add-cube-cbrt
13×associate-/l*
11×unpow-prod-down cube-prod
9×add-exp-log add-cbrt-cube
8×add-log-exp
7×pow1
5×difference-cubes distribute-lft-out--
3×pow-unpow flip3-+ associate-/r* flip-+
2×cube-div associate-+l+ flip3-- pow-pow associate-*l/ pow-exp associate-/r/ flip-- associate-/l/ rem-cube-cbrt
1×cbrt-undiv +-commutative distribute-rgt-in cube-mult pow-to-exp sub-neg frac-2neg distribute-lft-in diff-log unpow3 div-sub div-exp pow-prod-down prod-exp clear-num sum-log cbrt-unprod div-inv
Counts
4 → 131
Calls
4 calls:
5.0ms
(pow (* (+ x 1.0) y) 3)
12.0ms
(+ (* (* y (+ 1.0 x)) (+ (* (+ x 1.0) y) x)) (* x x))
9.0ms
(- (pow (* (+ x 1.0) y) 3) (pow x 3))
26.0ms
(/ (- (pow (* (+ x 1.0) y) 3) (pow x 3)) (+ (* (* y (+ 1.0 x)) (+ (* (+ x 1.0) y) x)) (* x x)))

series88.0ms

Counts
4 → 12
Calls
4 calls:
8.0ms
(pow (* (+ x 1.0) y) 3)
16.0ms
(+ (* (* y (+ 1.0 x)) (+ (* (+ x 1.0) y) x)) (* x x))
23.0ms
(- (pow (* (+ x 1.0) y) 3) (pow x 3))
42.0ms
(/ (- (pow (* (+ x 1.0) y) 3) (pow x 3)) (+ (* (* y (+ 1.0 x)) (+ (* (+ x 1.0) y) x)) (* x x)))

simplify93.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
06372379
126862266
250012261

prune412.0ms

Filtered
143 candidates to 107 candidates (25.2%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1430143
Fresh000
Picked011
Done033
Total1434147

Merged error: 0b

Counts
147 → 4

regimes120.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
083
183

end0.0ms

sample413.0ms

Algorithm
intervals
Results
195.0ms9154×body80valid
0.0ms1×body1280valid
0.0ms1×body640valid

Profiling

Loading profile data...