Details

Time bar (total: 15.5s)

sample17.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify11.0s

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
079
1179
2289
3409
4519
5699
6949
71209
81469
91819
102149
112439
122889
133509
144109
154919
165679
176589
187449
198569
209669
2111019
2212239
2313689
2415049
2516669
2618109
2719769
2821229
2922989
3024599
3126489
3228179
3330209
3432049
3534249
3636189
3738489
3840219
3942419
4044519
4147129
4249489
done50019

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

localize6.0ms

Local error

Found 1 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Rules
58×*-un-lft-identity
40×add-sqr-sqrt
30×times-frac
19×distribute-lft-out--
14×add-cube-cbrt
13×difference-of-squares
6×associate-/r* distribute-lft-out
5×associate-/l*
3×add-exp-log add-cbrt-cube
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv frac-2neg div-sub div-exp clear-num div-inv add-log-exp
Counts
1 → 58
Calls
1 calls:
16.0ms
(/ (- x y) (- 2.0 (+ x y)))

series8.0ms

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

simplify572.0ms

Counts
61 → 61
Iterations

Useful iterations: done (570.0ms)

IterNodesCost
0112990
1275951
2745909
32126903
done5000901

prune73.0ms

Filtered
38 candidates to 61 candidates (-60.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New58361
Fresh000
Picked101
Done000
Total59362

Merged error: 0b

Counts
62 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
127×*-un-lft-identity
64×times-frac
59×add-sqr-sqrt
41×distribute-lft-out--
27×add-cube-cbrt
14×distribute-lft-out difference-of-squares
12×associate-/r*
8×associate-/r/
7×add-exp-log add-cbrt-cube
6×associate-/l*
5×flip3-- flip-- add-log-exp
4×div-inv
3×pow1 distribute-rgt-out--
2×cbrt-undiv frac-2neg div-exp clear-num
1×sub-neg diff-log frac-sub sub-div
Counts
3 → 116
Calls
3 calls:
41.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
8.0ms
(/ x (- 2.0 (+ x y)))
8.0ms
(/ y (- 2.0 (+ x y)))

series27.0ms

Counts
3 → 9
Calls
3 calls:
13.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)))

simplify620.0ms

Counts
125 → 125
Iterations

Useful iterations: done (617.0ms)

IterNodesCost
01761863
13831778
29281704
323881694
done50001692

prune144.0ms

Filtered
87 candidates to 125 candidates (-43.7%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1250125
Fresh022
Picked011
Done000
Total1253128

Merged error: 0b

Counts
128 → 3

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite47.0ms

Algorithm
rewrite-expression-head
Rules
292×*-un-lft-identity
258×times-frac
214×add-sqr-sqrt
109×distribute-lft-out--
100×add-cube-cbrt
57×difference-of-squares
41×associate-/r*
15×add-exp-log
11×associate-/r/
9×add-cbrt-cube associate-/l*
8×div-exp
6×flip3-- flip-- div-inv
4×cbrt-undiv
3×pow1
2×rec-exp frac-2neg 1-exp clear-num associate-/l/ add-log-exp
1×pow-flip div-sub inv-pow
Counts
2 → 226
Calls
2 calls:
12.0ms
(/ (- (- 2.0 x) y) (- x y))
17.0ms
(/ 1 (/ (- (- 2.0 x) y) (- x y)))

series22.0ms

Counts
2 → 6
Calls
2 calls:
14.0ms
(/ (- (- 2.0 x) y) (- x y))
8.0ms
(/ 1 (/ (- (- 2.0 x) y) (- x y)))

simplify659.0ms

Counts
232 → 232
Iterations

Useful iterations: done (651.0ms)

IterNodesCost
02674626
16464147
222863841
done50003670

prune150.0ms

Filtered
94 candidates to 232 candidates (-146.8%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2320232
Fresh011
Picked011
Done011
Total2323235

Merged error: 0b

Counts
235 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

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

rewrite120.0ms

Algorithm
rewrite-expression-head
Rules
1082×*-un-lft-identity
954×times-frac
754×add-sqr-sqrt
660×sqrt-prod
332×add-cube-cbrt
320×distribute-lft-out--
210×difference-of-squares
110×distribute-lft-out
56×associate-/l*
28×sqrt-div
24×associate-/r/
18×associate-/r*
15×flip3-- flip--
12×div-inv
11×add-exp-log add-cbrt-cube
6×pow1
4×cbrt-undiv div-exp add-log-exp
3×div-sub associate-/l/
2×rem-sqrt-square frac-2neg sqrt-pow1 pow1/2 clear-num
Counts
4 → 649
Calls
4 calls:
6.0ms
(sqrt (- 2.0 (+ x y)))
6.0ms
(sqrt (- 2.0 (+ x y)))
32.0ms
(/ (/ (- x y) (sqrt (- 2.0 (+ x y)))) (sqrt (- 2.0 (+ x y))))
12.0ms
(/ (- x y) (sqrt (- 2.0 (+ x y))))

series48.0ms

Counts
4 → 12
Calls
4 calls:
7.0ms
(sqrt (- 2.0 (+ x y)))
7.0ms
(sqrt (- 2.0 (+ x y)))
8.0ms
(/ (/ (- x y) (sqrt (- 2.0 (+ x y)))) (sqrt (- 2.0 (+ x y))))
25.0ms
(/ (- x y) (sqrt (- 2.0 (+ x y))))

simplify801.0ms

Counts
661 → 661
Iterations

Useful iterations: done (772.0ms)

IterNodesCost
052221015
1124418841
2366817402
done500017386

prune538.0ms

Filtered
214 candidates to 661 candidates (-208.9%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New6610661
Fresh000
Picked011
Done022
Total6613664

Merged error: 0b

Counts
664 → 3

regimes70.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
1915
done915

end0.0ms

sample465.0ms

Algorithm
intervals
Results
213.0ms8000×body80valid

Profiling

Loading profile data...