Details

Time bar (total: 51.5s)

sample30.0ms

Algorithm
intervals
Results
13.0ms256×body80valid

simplify5.3s

Counts
1 → 1
Iterations
IterNodes
done5001
464941
454830
444694
434582
424448
414337
404201
394089
383955
373844
363708
353596
343462
333351
323215
313103
302969
292858
282722
272610
262476
252365
242229
232117
221983
211872
201736
191624
181490
171379
161243
151131
14997
13891
12766
11659
10532
9428
8292
7199
6118
565
450
339
227
117
07

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 1 expressions with local error:

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

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

series86.0ms

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

simplify5.9s

Counts
61 → 61
Iterations
IterNodes
done5001
33352
2771
1281
0112

prune860.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

localize67.0ms

Local error

Found 3 expressions with local error:

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

rewrite1.1s

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:
63.0ms
(/ y (- 2.0 (+ x y)))
889.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
106.0ms
(/ x (- 2.0 (+ x y)))

series470.0ms

Counts
3 → 9
Calls
3 calls:
94.0ms
(/ y (- 2.0 (+ x y)))
129.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
246.0ms
(/ x (- 2.0 (+ x y)))

simplify6.1s

Counts
125 → 125
Iterations
IterNodes
done5032
33517
21061
1390
0176

prune1.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

rewrite677.0ms

Algorithm
rewrite-expression-head
Rules
93×*-un-lft-identity
66×add-sqr-sqrt
56×times-frac
37×add-cube-cbrt
24×associate-*r*
22×distribute-lft-out--
19×add-exp-log
13×add-cbrt-cube
12×associate-/r*
11×distribute-lft-out difference-of-squares
7×pow1
6×associate-/r/ associate-/l* add-log-exp
5×div-exp
4×flip3-- prod-exp flip-- div-inv
3×cbrt-undiv associate-*r/ associate-*l* un-div-inv unswap-sqr
2×rec-exp frac-2neg 1-exp clear-num frac-sub cbrt-unprod sub-div
1×sub-neg distribute-rgt-out-- pow-flip diff-log pow-prod-down *-commutative inv-pow
Counts
4 → 150
Calls
4 calls:
60.0ms
(/ y (- 2.0 (+ x y)))
160.0ms
(- (* x (/ 1 (- 2.0 (+ x y)))) (/ y (- 2.0 (+ x y))))
54.0ms
(/ 1 (- 2.0 (+ x y)))
381.0ms
(* x (/ 1 (- 2.0 (+ x y))))

series516.0ms

Counts
4 → 12
Calls
4 calls:
253.0ms
(/ y (- 2.0 (+ x y)))
110.0ms
(- (* x (/ 1 (- 2.0 (+ x y)))) (/ y (- 2.0 (+ x y))))
69.0ms
(/ 1 (- 2.0 (+ x y)))
84.0ms
(* x (/ 1 (- 2.0 (+ x y))))

simplify6.1s

Counts
162 → 162
Iterations
IterNodes
done5001
21502
1498
0208

prune1.8s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize411.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- x y) (- 2.0 (+ x y)))
0.0b
(* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))
0.1b
(* (/ (- x y) (- 2.0 (+ x y))) (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))))
5.7b
(cbrt (* (/ (- x y) (- 2.0 (+ x y))) (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))))

rewrite2.1s

Algorithm
rewrite-expression-head
Rules
606×*-un-lft-identity
293×times-frac
276×add-sqr-sqrt
199×distribute-lft-out--
93×add-cube-cbrt
90×swap-sqr
84×difference-of-squares
72×associate-*l*
63×distribute-lft-out
59×add-exp-log add-cbrt-cube
37×associate-*r*
25×pow1
22×prod-exp cbrt-unprod
18×cbrt-undiv div-exp
12×associate-/r/
11×frac-times associate-*r/
7×cbrt-div flip3-- associate-*l/ flip--
6×associate-/r* pow-prod-up div-inv unswap-sqr
5×associate-/l*
4×pow-prod-down add-log-exp
2×pow2 pow-plus cube-unmult pow-sqr *-commutative associate-/l/
1×cbrt-prod frac-2neg pow1/3 div-sub clear-num rem-cbrt-cube
Counts
4 → 346
Calls
4 calls:
152.0ms
(/ (- x y) (- 2.0 (+ x y)))
666.0ms
(* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))
730.0ms
(* (/ (- x y) (- 2.0 (+ x y))) (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))))
496.0ms
(cbrt (* (/ (- x y) (- 2.0 (+ x y))) (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))))

series860.0ms

Counts
4 → 12
Calls
4 calls:
342.0ms
(/ (- x y) (- 2.0 (+ x y)))
155.0ms
(* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))
267.0ms
(* (/ (- x y) (- 2.0 (+ x y))) (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y)))))
97.0ms
(cbrt (* (/ (- x y) (- 2.0 (+ x y))) (* (/ (- x y) (- 2.0 (+ x y))) (/ (- x y) (- 2.0 (+ x y))))))

simplify13.1s

Counts
358 → 358
Iterations
IterNodes
done5016
23564
11120
0317

prune3.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes355.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify10.0ms

Iterations
IterNodes
done14
114
010

end4.0ms

sample946.0ms

Algorithm
intervals
Results
651.0ms7999×body80valid
0.0ms1×body160valid