Details

Time bar (total: 4.0s)

sample11.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
083
193
293

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize4.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity
22×add-sqr-sqrt
20×times-frac
12×add-cube-cbrt
6×distribute-lft-out
5×associate-/r* distribute-lft-out-- difference-of-squares
4×associate-/l*
3×add-exp-log add-cbrt-cube
2×associate-/r/ associate-/l/
1×pow1 cbrt-undiv flip3-- frac-2neg flip3-+ div-exp clear-num flip-- flip-+ div-inv add-log-exp
Counts
1 → 45
Calls
1 calls:
11.0ms
(/ (+ x y) (- x y))

series63.0ms

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

simplify43.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (13.0ms)

IterNodesCost
0169288
1510274
21435270
35001270

prune70.0ms

Filtered
48 candidates to 32 candidates (66.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x y) (- x y))
0.0b
(cbrt (/ (+ x y) (- x y)))
0.0b
(cbrt (/ (+ x y) (- x y)))
0.0b
(cbrt (/ (+ x y) (- x y)))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
121×*-un-lft-identity
80×times-frac
79×add-sqr-sqrt
78×cbrt-prod
45×add-cube-cbrt
21×distribute-lft-out
17×distribute-lft-out-- difference-of-squares
8×associate-/r/
6×add-exp-log add-cbrt-cube
5×associate-/r*
4×pow1 flip3-- flip-- div-inv associate-/l* add-log-exp
3×cbrt-div pow1/3
2×associate-/l/
1×cbrt-undiv frac-2neg flip3-+ div-exp clear-num flip-+
Counts
4 → 150
Calls
4 calls:
11.0ms
(/ (+ x y) (- x y))
5.0ms
(cbrt (/ (+ x y) (- x y)))
5.0ms
(cbrt (/ (+ x y) (- x y)))
5.0ms
(cbrt (/ (+ x y) (- x y)))

series700.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(/ (+ x y) (- x y))
220.0ms
(cbrt (/ (+ x y) (- x y)))
208.0ms
(cbrt (/ (+ x y) (- x y)))
210.0ms
(cbrt (/ (+ x y) (- x y)))

simplify62.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 3 (43.0ms)

IterNodesCost
02191278
15771231
215801212
350011197

prune375.0ms

Filtered
162 candidates to 113 candidates (69.8%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(cbrt (/ (+ x y) (- x y)))
0.0b
(cbrt (/ (+ x y) (- x y)))
0.6b
(cbrt (- x y))
0.6b
(cbrt (+ x y))

rewrite24.0ms

Algorithm
rewrite-expression-head
Rules
66×*-un-lft-identity
61×cbrt-prod
44×add-sqr-sqrt
40×times-frac
26×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
6×cbrt-div
4×pow1 add-exp-log pow1/3 associate-/r/ add-cbrt-cube add-log-exp
3×flip3-- flip--
2×div-inv
1×flip3-+ flip-+
Counts
4 → 99
Calls
4 calls:
5.0ms
(cbrt (/ (+ x y) (- x y)))
5.0ms
(cbrt (/ (+ x y) (- x y)))
2.0ms
(cbrt (- x y))
6.0ms
(cbrt (+ x y))

series719.0ms

Counts
4 → 12
Calls
4 calls:
225.0ms
(cbrt (/ (+ x y) (- x y)))
213.0ms
(cbrt (/ (+ x y) (- x y)))
151.0ms
(cbrt (- x y))
130.0ms
(cbrt (+ x y))

simplify79.0ms

Algorithm
egg-herbie
Counts
111 → 111
Iterations

Useful iterations: 3 (69.0ms)

IterNodesCost
0300846
1712814
22603799
35002783

prune320.0ms

Filtered
111 candidates to 83 candidates (74.8%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ x y) (- x y))
0.0b
(cbrt (/ (+ x y) (- x y)))
0.6b
(cbrt (- x y))
0.6b
(cbrt (+ x y))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
71×*-un-lft-identity
47×add-sqr-sqrt
40×times-frac
35×cbrt-prod
27×add-cube-cbrt
12×distribute-lft-out
10×distribute-lft-out-- difference-of-squares
6×add-exp-log add-cbrt-cube
5×cbrt-div associate-/r*
4×pow1 associate-/r/ associate-/l* add-log-exp
3×flip3-- pow1/3 flip--
2×flip3-+ flip-+ div-inv associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num
Counts
4 → 109
Calls
4 calls:
11.0ms
(/ (+ x y) (- x y))
6.0ms
(cbrt (/ (+ x y) (- x y)))
2.0ms
(cbrt (- x y))
2.0ms
(cbrt (+ x y))

series562.0ms

Counts
4 → 12
Calls
4 calls:
61.0ms
(/ (+ x y) (- x y))
220.0ms
(cbrt (/ (+ x y) (- x y)))
151.0ms
(cbrt (- x y))
130.0ms
(cbrt (+ x y))

simplify122.0ms

Algorithm
egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 3 (106.0ms)

IterNodesCost
0368808
11022773
24110759
35001747

prune382.0ms

Filtered
121 candidates to 88 candidates (72.7%)
Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0b

regimes63.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01315
11315

end0.0ms

sample271.0ms

Algorithm
intervals
Results
144.0ms8000×body80valid