Details

Time bar (total: 35.7s)

sample33.0ms

Algorithm
intervals
Results
16.0ms256×body80valid

simplify4.6s

Counts
1 → 1
Iterations
IterNodes
done5000
444883
434767
424627
414512
404370
394254
384114
373999
363857
353741
343601
333486
323344
313228
303088
292973
282831
272715
262575
252460
242318
232202
222062
211947
201805
191689
181549
171434
161292
151176
141036
13926
12792
11680
10550
9445
8302
7199
6118
565
450
339
227
117
07

prune9.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 1 expressions with local error:

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

rewrite84.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-cbrt-cube add-exp-log
2×flip3-- associate-/r/ flip-- associate-/l/
1×pow1 cbrt-undiv clear-num frac-2neg div-sub div-exp insert-posit16 div-inv add-log-exp
Counts
1 → 59
Calls
1 calls:
79.0ms
(/ (- x y) (- 2.0 (+ x y)))

series62.0ms

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

simplify4.8s

Counts
62 → 62
Iterations
IterNodes
done5000
33412
2773
1282
0113

prune461.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize81.0ms

Local error

Found 3 expressions with local error:

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

rewrite682.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-cbrt-cube add-exp-log
6×associate-/l*
5×flip3-- flip-- add-log-exp
4×div-inv
3×pow1 distribute-rgt-out-- insert-posit16
2×cbrt-undiv clear-num frac-2neg div-exp
1×sub-neg diff-log frac-sub sub-div
Counts
3 → 119
Calls
3 calls:
530.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
67.0ms
(/ y (- 2.0 (+ x y)))
73.0ms
(/ x (- 2.0 (+ x y)))

series287.0ms

Counts
3 → 9
Calls
3 calls:
139.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
82.0ms
(/ y (- 2.0 (+ x y)))
65.0ms
(/ x (- 2.0 (+ x y)))

simplify4.8s

Counts
128 → 128
Iterations
IterNodes
done5001
33335
21040
1395
0179

prune1.2s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize57.0ms

Local error

Found 2 expressions with local error:

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

rewrite285.0ms

Algorithm
rewrite-expression-head
Rules
62×*-un-lft-identity
47×add-sqr-sqrt
38×times-frac
24×associate-*r* add-cube-cbrt
15×add-exp-log distribute-lft-out--
9×add-cbrt-cube
8×difference-of-squares
7×distribute-lft-out
6×associate-/r*
5×pow1 associate-*l*
4×flip3-- div-exp prod-exp associate-/r/ flip--
3×associate-/l* unswap-sqr
2×frac-times cbrt-undiv rec-exp 1-exp associate-*l/ cbrt-unprod insert-posit16 div-inv add-log-exp
1×clear-num frac-2neg pow-prod-down associate-*r/ un-div-inv *-commutative pow-flip inv-pow
Counts
2 → 100
Calls
2 calls:
68.0ms
(/ 1 (- 2.0 (+ x y)))
207.0ms
(* (- x y) (/ 1 (- 2.0 (+ x y))))

series147.0ms

Counts
2 → 6
Calls
2 calls:
55.0ms
(/ 1 (- 2.0 (+ x y)))
91.0ms
(* (- x y) (/ 1 (- 2.0 (+ x y))))

simplify6.0s

Counts
106 → 106
Iterations
IterNodes
done5015
33242
21044
1387
0154

prune869.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize61.0ms

Local error

Found 3 expressions with local error:

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

rewrite822.0ms

Algorithm
rewrite-expression-head
Rules
60×*-un-lft-identity
25×add-sqr-sqrt
24×flip3-- flip--
19×add-cbrt-cube add-exp-log distribute-lft-out--
16×frac-times
12×pow1 swap-sqr associate-*l*
11×associate-*r*
9×add-cube-cbrt distribute-lft-out
8×associate-*l/ associate-*r/ associate-/r/ associate-/l/
6×prod-exp cbrt-unprod difference-of-squares
4×distribute-rgt-in cbrt-undiv sub-neg distribute-lft-in div-exp
3×insert-posit16 add-log-exp
2×pow-prod-down *-commutative unswap-sqr
1×pow2 clear-num associate-/r* frac-2neg times-frac pow-plus pow-sqr pow-prod-up div-inv associate-/l*
Counts
3 → 127
Calls
3 calls:
231.0ms
(* (- 2.0 (+ x y)) (- x y))
338.0ms
(* (- 2.0 (+ x y)) (- 2.0 (+ x y)))
231.0ms
(/ (* (- 2.0 (+ x y)) (- x y)) (* (- 2.0 (+ x y)) (- 2.0 (+ x y))))

series198.0ms

Counts
3 → 9
Calls
3 calls:
70.0ms
(* (- 2.0 (+ x y)) (- x y))
40.0ms
(* (- 2.0 (+ x y)) (- 2.0 (+ x y)))
89.0ms
(/ (* (- 2.0 (+ x y)) (- x y)) (* (- 2.0 (+ x y)) (- 2.0 (+ x y))))

simplify8.0s

Counts
136 → 136
Iterations
IterNodes
done5002
24004
1652
0193

prune1.1s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes254.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations
IterNodes
done9
19
08

end0.0ms

sample871.0ms

Algorithm
intervals
Results
546.0ms7999×body80valid
0.0ms1×body1280valid