Details

Time bar (total: 5.3s)

sample17.0ms

Algorithm
intervals
Results
7.0ms256×body80valid

simplify996.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
079
1179
2289
3409
4519
5699
61079
71579
82039
92489
103459
114109
124819
135769
146449
157209
168259
178939
189699
1910669
2011349
2112129
2213079
2313759
2414519
2515489
2616169
2716929
2817909
2918589
3019349
3120299
3220979
3321759
3422709
3523389
3624149
3725099
3825779
3926569
4027539
4128219
4228979
4329949
4430629
4531389
4632339
4733019
4833779
4934729
5035409
5136169
5237119
5337799
5438579
5539549
5640229
5741019
5841969
5942649
6043409
6144359
6245039
6345829
6446809
6547489
6648269
6749219
6849899
done50009

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

rewrite13.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:
10.0ms
(/ (- x y) (- 2.0 (+ x y)))

series9.0ms

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

simplify559.0ms

Counts
61 → 61
Iterations

Useful iterations: done (556.0ms)

IterNodesCost
0112990
1275951
2743907
32225903
done5000901

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

rewrite59.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:
37.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)))

series32.0ms

Counts
3 → 9
Calls
3 calls:
14.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
7.0ms
(/ x (- 2.0 (+ x y)))
10.0ms
(/ y (- 2.0 (+ x y)))

simplify582.0ms

Counts
125 → 125
Iterations

Useful iterations: done (578.0ms)

IterNodesCost
01761863
13831776
210241698
325611692
done50001680

prune154.0ms

Filtered
85 candidates to 125 candidates (-47.1%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New1250125
Fresh022
Picked011
Done000
Total1253128

Merged error: 0b

Counts
128 → 3

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

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
292×*-un-lft-identity
258×times-frac
214×add-sqr-sqrt
100×add-cube-cbrt
83×distribute-lft-out--
57×difference-of-squares
41×associate-/r*
26×distribute-lft-out
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:
11.0ms
(/ (- 2.0 (+ x y)) (- x y))
16.0ms
(/ 1 (/ (- 2.0 (+ x y)) (- x y)))

series28.0ms

Counts
2 → 6
Calls
2 calls:
19.0ms
(/ (- 2.0 (+ x y)) (- x y))
9.0ms
(/ 1 (/ (- 2.0 (+ x y)) (- x y)))

simplify491.0ms

Counts
232 → 232
Iterations

Useful iterations: done (483.0ms)

IterNodesCost
02684626
16564115
221423670
done50003668

prune153.0ms

Filtered
93 candidates to 232 candidates (-149.5%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2320232
Fresh011
Picked011
Done011
Total2323235

Merged error: 0b

Counts
235 → 3

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

rewrite128.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)))
33.0ms
(/ (/ (- x y) (sqrt (- 2.0 (+ x y)))) (sqrt (- 2.0 (+ x y))))
12.0ms
(/ (- x y) (sqrt (- 2.0 (+ x y))))

series49.0ms

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

simplify739.0ms

Counts
661 → 661
Iterations

Useful iterations: done (709.0ms)

IterNodesCost
052221015
1124418815
2359517378
done500117376

prune547.0ms

Filtered
207 candidates to 661 candidates (-219.3%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New6610661
Fresh000
Picked011
Done022
Total6613664

Merged error: 0b

Counts
664 → 3

regimes77.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

sample461.0ms

Algorithm
intervals
Results
227.0ms8000×body80valid

Profiling

Loading profile data...