Details

Time bar (total: 2.7s)

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

prune1.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))

rewrite9.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:
7.0ms
(/ (+ x y) (- x y))

series63.0ms

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

simplify42.0ms

Algorithm
egg-herbie
Counts
48 → 48
Iterations

Useful iterations: 2 (12.0ms)

IterNodesCost
0169288
1510274
21435270
35001270

prune78.0ms

Filtered
48 candidates to 32 candidates (66.7%)
Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
17×cbrt-prod
16×*-un-lft-identity
10×add-sqr-sqrt
8×add-cube-cbrt cbrt-div
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
3×flip3-+ flip-+ distribute-lft-out
1×flip3-- flip-- distribute-lft-out-- difference-of-squares
Counts
4 → 57
Calls
4 calls:
3.0ms
(cbrt (- x y))
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))
3.0ms
(cbrt (+ x y))

series523.0ms

Counts
4 → 12
Calls
4 calls:
147.0ms
(cbrt (- x y))
126.0ms
(cbrt (+ x y))
124.0ms
(cbrt (+ x y))
126.0ms
(cbrt (+ x y))

simplify52.0ms

Algorithm
egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 3 (46.0ms)

IterNodesCost
0217368
1516348
21664339
35001335

prune212.0ms

Filtered
69 candidates to 61 candidates (88.4%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize6.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ x y))
0.0b
(sqrt (+ x y))
0.1b
(* (sqrt (+ x y)) (/ (sqrt (+ x y)) (- x y)))
0.2b
(/ (sqrt (+ x y)) (- x y))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
104×*-un-lft-identity
94×add-sqr-sqrt
74×times-frac
61×sqrt-prod
46×add-cube-cbrt
41×associate-*r*
15×distribute-lft-out-- difference-of-squares
14×distribute-lft-out
11×add-exp-log add-cbrt-cube
10×sqrt-div
8×pow1
7×associate-*l* associate-/l*
6×unswap-sqr
5×flip3-+ associate-/r* flip-+
4×associate-/r/ add-log-exp
2×cbrt-undiv frac-times rem-sqrt-square flip3-- sqrt-pow1 pow1/2 div-exp associate-*l/ prod-exp flip-- cbrt-unprod div-inv associate-/l/
1×frac-2neg associate-*r/ pow-prod-down clear-num *-commutative
Counts
4 → 167
Calls
4 calls:
3.0ms
(sqrt (+ x y))
3.0ms
(sqrt (+ x y))
22.0ms
(* (sqrt (+ x y)) (/ (sqrt (+ x y)) (- x y)))
8.0ms
(/ (sqrt (+ x y)) (- x y))

series217.0ms

Counts
4 → 12
Calls
4 calls:
37.0ms
(sqrt (+ x y))
35.0ms
(sqrt (+ x y))
70.0ms
(* (sqrt (+ x y)) (/ (sqrt (+ x y)) (- x y)))
74.0ms
(/ (sqrt (+ x y)) (- x y))

simplify55.0ms

Algorithm
egg-herbie
Counts
179 → 179
Iterations

Useful iterations: 2 (42.0ms)

IterNodesCost
04191377
116771245
250011175

prune302.0ms

Filtered
179 candidates to 109 candidates (60.9%)
Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ 1 (sqrt (- x y)))
0.1b
(* (/ 1 (sqrt (- x y))) (/ (+ x y) (sqrt (- x y))))
0.3b
(/ (+ x y) (sqrt (- x y)))

rewrite59.0ms

Algorithm
rewrite-expression-head
Rules
149×add-sqr-sqrt
143×*-un-lft-identity
134×times-frac
91×sqrt-prod
71×add-cube-cbrt
38×associate-*r*
31×add-exp-log
30×associate-*l*
19×add-cbrt-cube
17×distribute-lft-out
16×associate-/r* distribute-lft-out-- difference-of-squares
15×unswap-sqr
11×div-exp
8×sqrt-div prod-exp associate-/r/
7×pow1 associate-/l*
6×cbrt-undiv
4×flip3-- flip-- cbrt-unprod div-inv
3×rec-exp pow-flip 1-exp add-log-exp
2×frac-2neg clear-num associate-/l/
1×frac-times sqrt-pow1 flip3-+ pow1/2 associate-*r/ pow-prod-down associate-*l/ *-commutative flip-+ inv-pow
Counts
3 → 222
Calls
3 calls:
6.0ms
(/ 1 (sqrt (- x y)))
34.0ms
(* (/ 1 (sqrt (- x y))) (/ (+ x y) (sqrt (- x y))))
8.0ms
(/ (+ x y) (sqrt (- x y)))

series276.0ms

Counts
3 → 9
Calls
3 calls:
71.0ms
(/ 1 (sqrt (- x y)))
62.0ms
(* (/ 1 (sqrt (- x y))) (/ (+ x y) (sqrt (- x y))))
143.0ms
(/ (+ x y) (sqrt (- x y)))

simplify83.0ms

Algorithm
egg-herbie
Counts
231 → 231
Iterations

Useful iterations: 2 (65.0ms)

IterNodesCost
06862110
142071840
250021708

prune324.0ms

Filtered
231 candidates to 119 candidates (51.5%)
Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes35.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
01317
11317

end0.0ms

sample282.0ms

Algorithm
intervals
Results
156.0ms8000×body80valid