Details

Time bar (total: 45.1s)

sample39.0ms

Algorithm
intervals
Results
18.0ms256×body80valid

simplify4.7s

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

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize49.0ms

Local error

Found 1 expressions with local error:

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

rewrite111.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×expm1-log1p-u pow1 cbrt-undiv clear-num frac-2neg div-sub div-exp insert-posit16 log1p-expm1-u div-inv add-log-exp
Counts
1 → 61
Calls
1 calls:
100.0ms
(/ (- x y) (- 2.0 (+ x y)))

series102.0ms

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

simplify5.3s

Counts
64 → 64
Iterations
IterNodes
done5027
33306
2787
1290
0115

prune520.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

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

rewrite947.0ms

Algorithm
rewrite-expression-head
Rules
1352×*-un-lft-identity
946×times-frac
843×add-sqr-sqrt
576×prod-diff
517×add-cube-cbrt
335×distribute-lft-out--
161×distribute-lft-out difference-of-squares
106×associate-/r/
54×flip3-- flip--
53×div-inv
24×fma-neg
12×associate-/r*
7×add-cbrt-cube add-exp-log
6×associate-/l*
5×add-log-exp
3×expm1-log1p-u pow1 distribute-rgt-out-- insert-posit16 log1p-expm1-u
2×cbrt-undiv clear-num frac-2neg div-exp
1×sub-neg diff-log frac-sub sub-div
Counts
3 → 725
Calls
3 calls:
583.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
67.0ms
(/ y (- 2.0 (+ x y)))
79.0ms
(/ x (- 2.0 (+ x y)))

series248.0ms

Counts
3 → 9
Calls
3 calls:
113.0ms
(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
66.0ms
(/ y (- 2.0 (+ x y)))
70.0ms
(/ x (- 2.0 (+ x y)))

simplify6.3s

Counts
734 → 734
Iterations
IterNodes
done5002
23326
11343
0583

prune6.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize94.0ms

Local error

Found 4 expressions with local error:

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

rewrite957.0ms

Algorithm
rewrite-expression-head
Rules
143×*-un-lft-identity
98×add-sqr-sqrt
92×times-frac
57×add-cube-cbrt
34×distribute-lft-out--
24×fma-neg associate-*r* prod-diff
19×add-exp-log
17×distribute-lft-out difference-of-squares
13×add-cbrt-cube
12×associate-/r*
10×associate-/r/
7×pow1
6×flip3-- div-inv flip-- associate-/l* add-log-exp
5×div-exp
4×expm1-log1p-u prod-exp insert-posit16 log1p-expm1-u
3×cbrt-undiv associate-*l* associate-*r/ un-div-inv unswap-sqr
2×rec-exp clear-num frac-2neg 1-exp frac-sub cbrt-unprod sub-div
1×sub-neg distribute-rgt-out-- diff-log pow-prod-down *-commutative pow-flip inv-pow
Counts
4 → 210
Calls
4 calls:
93.0ms
(/ 1 (- 2.0 (+ x y)))
539.0ms
(- (/ x (- 2.0 (+ x y))) (* y (/ 1 (- 2.0 (+ x y)))))
94.0ms
(/ x (- 2.0 (+ x y)))
193.0ms
(* y (/ 1 (- 2.0 (+ x y))))

series356.0ms

Counts
4 → 12
Calls
4 calls:
81.0ms
(/ 1 (- 2.0 (+ x y)))
121.0ms
(- (/ x (- 2.0 (+ x y))) (* y (/ 1 (- 2.0 (+ x y)))))
78.0ms
(/ x (- 2.0 (+ x y)))
75.0ms
(* y (/ 1 (- 2.0 (+ x y))))

simplify4.4s

Counts
222 → 222
Iterations
IterNodes
done5001
21946
1617
0246

prune2.2s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize134.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm
rewrite-expression-head
Rules
139×*-un-lft-identity
73×prod-diff
68×add-sqr-sqrt
54×add-cube-cbrt
42×distribute-rgt-in distribute-lft-in
28×associate--l+
27×flip3-- flip-- distribute-lft-out
18×associate-*r/ distribute-lft-out--
16×associate-*l/
13×pow1 add-cbrt-cube add-exp-log
12×swap-sqr associate-*r*
9×associate-*l*
8×frac-times associate-/r/ frac-sub associate-/l/
7×sub-neg
6×add-log-exp
5×difference-of-squares
4×expm1-log1p-u insert-posit16 log1p-expm1-u sub-div
3×times-frac prod-exp cbrt-unprod associate-/l*
2×cbrt-undiv div-exp pow-prod-down *-commutative unswap-sqr
1×pow2 clear-num associate-/r* frac-2neg pow-plus fma-neg diff-log div-sub pow-sqr pow-prod-up div-inv
Counts
4 → 225
Calls
4 calls:
388.0ms
(* (- 2.0 (+ x y)) (- 2.0 (+ x y)))
235.0ms
(* x (- 2.0 (+ x y)))
125.0ms
(- (* x (- 2.0 (+ x y))) (* (- 2.0 (+ x y)) y))
368.0ms
(/ (- (* x (- 2.0 (+ x y))) (* (- 2.0 (+ x y)) y)) (* (- 2.0 (+ x y)) (- 2.0 (+ x y))))

series357.0ms

Counts
4 → 12
Calls
4 calls:
43.0ms
(* (- 2.0 (+ x y)) (- 2.0 (+ x y)))
34.0ms
(* x (- 2.0 (+ x y)))
93.0ms
(- (* x (- 2.0 (+ x y))) (* (- 2.0 (+ x y)) y))
187.0ms
(/ (- (* x (- 2.0 (+ x y))) (* (- 2.0 (+ x y)) y)) (* (- 2.0 (+ x y)) (- 2.0 (+ x y))))

simplify7.3s

Counts
237 → 237
Iterations
IterNodes
done5001
23696
1903
0302

prune1.9s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes233.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done9
19
08

end0.0ms

sample1.2s

Algorithm
intervals
Results
955.0ms7999×body80valid
0.0ms1×body1280valid