Details

Time bar (total: 3.8s)

sample13.0ms

Algorithm
intervals
Results
6.0ms256×body80valid

simplify15.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0184
1484
21064
31744
41984
52034
62034

prune1.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: 14.9b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

14.2b
(/ (- x y) (* (* x 2.0) y))

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
10×add-exp-log add-cbrt-cube
7×add-sqr-sqrt *-un-lft-identity
5×times-frac associate-/l*
3×cbrt-undiv add-cube-cbrt div-exp prod-exp cbrt-unprod
2×associate-/l/ distribute-lft-out-- difference-of-squares
1×pow1 expm1-log1p-u flip3-- frac-2neg div-sub clear-num associate-/r* flip-- log1p-expm1-u div-inv add-log-exp
Counts
1 → 32
Calls
1 calls:
8.0ms
(/ (- x y) (* (* x 2.0) y))

series58.0ms

Counts
1 → 3
Calls
1 calls:
58.0ms
(/ (- x y) (* (* x 2.0) y))

simplify33.0ms

Algorithm
egg-herbie
Counts
35 → 35
Iterations

Useful iterations: 2 (29.0ms)

IterNodesCost
0242218
1990181
25002180

prune60.0ms

Filtered
35 candidates to 24 candidates (68.6%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New31435
Fresh000
Picked011
Done000
Total31536

Merged error: 0b

Counts
36 → 5

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(- (/ 1 y) (/ 1 x))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
261×times-frac
216×add-sqr-sqrt
208×*-un-lft-identity
192×add-cube-cbrt
169×prod-diff
31×div-inv
13×fma-neg
9×difference-of-squares
7×distribute-lft-out--
3×add-log-exp
1×pow1 add-exp-log expm1-log1p-u sub-neg flip3-- diff-log frac-sub add-cbrt-cube flip-- log1p-expm1-u
Counts
1 → 213
Calls
1 calls:
20.0ms
(- (/ 1 y) (/ 1 x))

series13.0ms

Counts
1 → 3
Calls
1 calls:
12.0ms
(- (/ 1 y) (/ 1 x))

simplify108.0ms

Algorithm
egg-herbie
Counts
216 → 216
Iterations

Useful iterations: 3 (79.0ms)

IterNodesCost
06324575
116682587
245212326
350012232

prune126.0ms

Filtered
216 candidates to 44 candidates (20.4%)
Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2142216
Fresh303
Picked011
Done011
Total2174221

Merged error: 0b

Counts
221 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt (/ 1 x))
0.2b
(fma (- (sqrt (/ 1 x))) (sqrt (/ 1 x)) (pow (cbrt (/ 1 y)) 3))
0.6b
(cbrt (/ 1 y))
0.8b
(pow (cbrt (/ 1 y)) 3)

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
39×cbrt-prod add-sqr-sqrt
38×times-frac
36×*-un-lft-identity
35×add-cube-cbrt
16×unpow-prod-down cube-prod
13×sqrt-prod
7×pow1
5×add-exp-log
4×expm1-log1p-u add-cbrt-cube log1p-expm1-u div-inv add-log-exp
3×rem-sqrt-square pow-unpow sqrt-pow1
2×cbrt-div pow-pow pow1/3
1×cube-div cube-mult pow-to-exp pow-flip pow1/2 sqrt-div unpow3 pow-exp fma-udef inv-pow rem-cube-cbrt sqr-pow
Counts
4 → 117
Calls
4 calls:
3.0ms
(sqrt (/ 1 x))
1.0ms
(fma (- (sqrt (/ 1 x))) (sqrt (/ 1 x)) (pow (cbrt (/ 1 y)) 3))
3.0ms
(cbrt (/ 1 y))
5.0ms
(pow (cbrt (/ 1 y)) 3)

series546.0ms

Counts
4 → 12
Calls
4 calls:
22.0ms
(sqrt (/ 1 x))
144.0ms
(fma (- (sqrt (/ 1 x))) (sqrt (/ 1 x)) (pow (cbrt (/ 1 y)) 3))
169.0ms
(cbrt (/ 1 y))
211.0ms
(pow (cbrt (/ 1 y)) 3)

simplify59.0ms

Algorithm
egg-herbie
Counts
129 → 129
Iterations

Useful iterations: 2 (44.0ms)

IterNodesCost
0414669
12000507
25001496

prune253.0ms

Filtered
129 candidates to 68 candidates (52.7%)
Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1290129
Fresh011
Picked011
Done022
Total1294133

Merged error: 0b

Counts
133 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b
(pow (/ 1 x) 3)
0.3b
(pow (/ 1 y) 3)
4.8b
(- (pow (/ 1 y) 3) (pow (/ 1 x) 3))
39.5b
(/ (- (pow (/ 1 y) 3) (pow (/ 1 x) 3)) (fma (+ (/ 1 y) (/ 1 x)) (/ 1 x) (/ (/ 1 y) y)))

rewrite592.0ms

Algorithm
rewrite-expression-head
Rules
1937×times-frac
1871×add-sqr-sqrt
1521×*-un-lft-identity
1251×unpow-prod-down cube-prod
1151×add-cube-cbrt
1024×prod-diff
320×difference-of-squares
215×div-inv
147×sqr-pow
145×distribute-lft-out--
97×associate-/l*
67×cube-mult unpow3
32×fma-neg
16×add-exp-log
12×add-cbrt-cube
8×pow1 pow-exp
6×cube-div pow-unpow pow-pow add-log-exp
5×difference-cubes div-exp
4×expm1-log1p-u log1p-expm1-u rem-cube-cbrt
3×cbrt-undiv associate-/r* associate-/l/
2×pow-to-exp rec-exp flip3-- pow-flip 1-exp frac-sub flip-- inv-pow
1×sub-neg frac-2neg diff-log div-sub clear-num
Counts
4 → 1678
Calls
4 calls:
5.0ms
(pow (/ 1 x) 3)
5.0ms
(pow (/ 1 y) 3)
268.0ms
(- (pow (/ 1 y) 3) (pow (/ 1 x) 3))
121.0ms
(/ (- (pow (/ 1 y) 3) (pow (/ 1 x) 3)) (fma (+ (/ 1 y) (/ 1 x)) (/ 1 x) (/ (/ 1 y) y)))

series168.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(pow (/ 1 x) 3)
32.0ms
(pow (/ 1 y) 3)
45.0ms
(- (pow (/ 1 y) 3) (pow (/ 1 x) 3))
56.0ms
(/ (- (pow (/ 1 y) 3) (pow (/ 1 x) 3)) (fma (+ (/ 1 y) (/ 1 x)) (/ 1 x) (/ (/ 1 y) y)))

simplify392.0ms

Algorithm
egg-herbie
Counts
1690 → 1690
Iterations

Useful iterations: 1 (52.0ms)

IterNodesCost
0193941079
1500225167

prune847.0ms

Filtered
1690 candidates to 203 candidates (12.0%)
Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New169001690
Fresh000
Picked011
Done033
Total169041694

Merged error: 0b

Counts
1694 → 4

regimes58.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
0114
1114

end0.0ms

sample311.0ms

Algorithm
intervals
Results
185.0ms8002×body80valid