Details

Time bar (total: 1.7s)

analyze32.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
56.2%43.7%0.1%5
65.6%34.3%0.1%6
79.6%20.3%0.1%7
83.5%16.4%0.1%8
90.1%9.8%0.1%9
91.9%8%0.1%10
95.1%4.8%0.1%11
96%4%0.1%12
97.5%2.4%0.1%13
97.9%2%0.1%14

sample16.0ms

Algorithm
intervals
Results
9.0ms256×body80valid

simplify3.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0159
1159

prune2.0ms

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
(- 2.0 (+ x y))
0.0b
(/ (- x y) (- 2.0 (+ x y)))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
43×add-sqr-sqrt
30×times-frac
21×distribute-lft-out--
15×add-cube-cbrt
14×difference-of-squares
7×distribute-lft-out add-log-exp
6×associate-/r*
5×associate-/l*
4×add-exp-log add-cbrt-cube
3×flip3-- flip--
2×pow1 diff-log associate-/r/ associate-/l/
1×cbrt-undiv sub-neg frac-2neg div-sub div-exp clear-num sum-log div-inv associate--r+
Counts
2 → 74
Calls
2 calls:
5.0ms
(- 2.0 (+ x y))
9.0ms
(/ (- x y) (- 2.0 (+ x y)))

series10.0ms

Counts
2 → 6
Calls
2 calls:
3.0ms
(- 2.0 (+ x y))
7.0ms
(/ (- x y) (- 2.0 (+ x y)))

simplify48.0ms

Algorithm
egg-herbie
Counts
80 → 80
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
056111047

prune89.0ms

Filtered
50 candidates to 80 candidates (-60.0%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New74680
Fresh000
Picked101
Done000
Total75681

Merged error: 0b

Counts
81 → 6

localize7.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
133×*-un-lft-identity
64×times-frac
62×add-sqr-sqrt
43×distribute-lft-out--
28×add-cube-cbrt
15×distribute-lft-out difference-of-squares
12×associate-/r*
11×add-log-exp
8×add-exp-log associate-/r/ add-cbrt-cube
6×flip3-- flip-- associate-/l*
4×pow1 div-inv
3×distribute-rgt-out-- diff-log
2×cbrt-undiv sub-neg frac-2neg div-exp clear-num
1×sum-log frac-sub associate--r+ sub-div
Counts
4 → 131
Calls
4 calls:
5.0ms
(- 2.0 (+ x y))
34.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
7.0ms
(/ x (- 2.0 (+ x y)))
7.0ms
(/ y (- 2.0 (+ x y)))

series27.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(- 2.0 (+ x y))
11.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
6.0ms
(/ x (- 2.0 (+ x y)))
7.0ms
(/ y (- 2.0 (+ x y)))

simplify49.0ms

Algorithm
egg-herbie
Counts
143 → 143
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049411820
149411820

prune155.0ms

Filtered
102 candidates to 143 candidates (-40.2%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1421143
Fresh145
Picked011
Done000
Total1436149

Merged error: 0b

Counts
149 → 6

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b
(- 2.0 (+ x y))
0.0b
(/ (- 2.0 (+ x y)) (- x y))
0.1b
(/ 1 (/ (- 2.0 (+ x y)) (- x y)))

rewrite44.0ms

Algorithm
rewrite-expression-head
Rules
298×*-un-lft-identity
258×times-frac
217×add-sqr-sqrt
101×add-cube-cbrt
85×distribute-lft-out--
58×difference-of-squares
41×associate-/r*
27×distribute-lft-out
16×add-exp-log
11×associate-/r/
10×add-cbrt-cube
9×associate-/l*
8×div-exp add-log-exp
7×flip3-- flip--
6×div-inv
4×pow1 cbrt-undiv
2×rec-exp frac-2neg diff-log 1-exp clear-num associate-/l/
1×sub-neg pow-flip div-sub sum-log associate--r+ inv-pow
Counts
3 → 242
Calls
3 calls:
5.0ms
(- 2.0 (+ x y))
11.0ms
(/ (- 2.0 (+ x y)) (- x y))
13.0ms
(/ 1 (/ (- 2.0 (+ x y)) (- x y)))

series22.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(- 2.0 (+ x y))
12.0ms
(/ (- 2.0 (+ x y)) (- x y))
7.0ms
(/ 1 (/ (- 2.0 (+ x y)) (- x y)))

simplify87.0ms

Algorithm
egg-herbie
Counts
251 → 251
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
051624009

prune200.0ms

Filtered
122 candidates to 251 candidates (-105.7%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New2510251
Fresh044
Picked011
Done011
Total2516257

Merged error: 0b

Counts
257 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 2.0 y) x)
0.0b
(- (/ 1 (- (/ (- 2.0 y) x) 1)) (/ y (- 2.0 (+ x y))))
0.0b
(/ y (- 2.0 (+ x y)))
0.6b
(/ 1 (- (/ (- 2.0 y) x) 1))

rewrite79.0ms

Algorithm
rewrite-expression-head
Rules
122×*-un-lft-identity
117×add-sqr-sqrt
94×times-frac
40×add-cube-cbrt
31×distribute-lft-out--
30×difference-of-squares
19×associate-/r*
12×add-exp-log
11×associate-/l*
10×add-cbrt-cube
8×difference-of-sqr-1
6×distribute-lft-out add-log-exp
5×pow1
4×flip3-- div-exp associate-/r/ flip-- div-inv
3×cbrt-undiv frac-2neg clear-num
2×associate-/l/
1×sub-neg rec-exp pow-flip diff-log 1-exp div-sub frac-sub inv-pow
Counts
4 → 166
Calls
4 calls:
5.0ms
(/ (- 2.0 y) x)
49.0ms
(- (/ 1 (- (/ (- 2.0 y) x) 1)) (/ y (- 2.0 (+ x y))))
7.0ms
(/ y (- 2.0 (+ x y)))
12.0ms
(/ 1 (- (/ (- 2.0 y) x) 1))

series34.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(/ (- 2.0 y) x)
15.0ms
(- (/ 1 (- (/ (- 2.0 y) x) 1)) (/ y (- 2.0 (+ x y))))
6.0ms
(/ y (- 2.0 (+ x y)))
8.0ms
(/ 1 (- (/ (- 2.0 y) x) 1))

simplify57.0ms

Algorithm
egg-herbie
Counts
178 → 178
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
049612496
149612496

prune177.0ms

Filtered
109 candidates to 178 candidates (-63.3%)
Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New1780178
Fresh033
Picked011
Done022
Total1786184

Merged error: 0b

Counts
184 → 6

regimes129.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
0915
1915

end0.0ms

analyze32.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
56.2%43.7%0.1%5
65.6%34.3%0.1%6
79.6%20.3%0.1%7
83.5%16.4%0.1%8
90.1%9.8%0.1%9
91.9%8%0.1%10
95.1%4.8%0.1%11
96%4%0.1%12
97.5%2.4%0.1%13
97.9%2%0.1%14

sample315.0ms

Algorithm
intervals
Results
200.0ms7999×body80valid
0.0ms1×body320valid

Profiling

Loading profile data...