Details

sample19.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	163
1	17	163
2	27	163
3	39	163
4	50	163
5	65	163
6	118	163
7	199	163
8	302	163
9	445	163
10	550	163
11	680	163
12	792	163
13	926	163
14	1036	163
15	1176	163
16	1292	163
17	1434	163
18	1549	163
19	1689	163
20	1805	163
21	1947	163
22	2062	163
23	2202	163
24	2318	163
25	2460	163
26	2575	163
27	2715	163
28	2831	163
29	2973	163
30	3088	163
31	3228	163
32	3344	163
33	3486	163
34	3601	163
35	3741	163
36	3857	163
37	3999	163
38	4114	163
39	4254	163
40	4370	163
41	4512	163
42	4627	163
43	4767	163
44	4883	163
done	5000	163

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize8.0ms

Local error

Found 1 expressions with local error:

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

rewrite45.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` `div-inv` `add-log-exp`

Counts

1 → 58

Calls

1 calls:

43.0ms

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

series66.0ms

Counts

1 → 3

Calls

1 calls:

66.0ms

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

simplify2.9s

Counts

61 → 61

Iterations

Useful iterations: 3 (1.0s)

Iter	Nodes	Cost
0	112	20610
1	281	18914
2	765	18674
3	3256	18554
done	5007	18554

prune291.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0b

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

rewrite322.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--`
2×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp`
1×	`sub-neg` `diff-log` `frac-sub` `sub-div`

Counts

3 → 116

Calls

3 calls:

256.0ms	(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
37.0ms	(/ x (- 2.0 (+ x y)))
23.0ms	(/ y (- 2.0 (+ x y)))

series267.0ms

Counts

3 → 9

Calls

3 calls:

105.0ms	(- (/ x (- 2.0 (+ x y))) (/ y (- 2.0 (+ x y))))
82.0ms	(/ x (- 2.0 (+ x y)))
79.0ms	(/ y (- 2.0 (+ x y)))

simplify2.4s

Counts

125 → 125

Iterations

Useful iterations: 3 (1.3s)

Iter	Nodes	Cost
0	176	35018
1	392	31771
2	1081	31371
3	3643	31171
done	5003	31171

prune490.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite402.0ms

Algorithm

rewrite-expression-head

Rules

211×	`*-un-lft-identity`
197×	`times-frac`
162×	`add-sqr-sqrt`
89×	`add-cube-cbrt`
47×	`distribute-lft-out--`
31×	`associate-/r*`
30×	`difference-of-squares`
21×	`distribute-lft-out`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`associate-/l*`
9×	`div-exp`
8×	`div-inv`
6×	`add-log-exp`
5×	`pow1` `cbrt-undiv`
3×	`clear-num` `frac-2neg` `flip3--` `associate-/r/` `flip--`
2×	`rec-exp` `1-exp` `associate-/l/`
1×	`sub-neg` `diff-log` `div-sub` `frac-sub` `pow-flip` `inv-pow`

Counts

4 → 223

Calls

4 calls:

44.0ms	(/ x (- 2.0 (+ x y)))
243.0ms	(- (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y)))
61.0ms	(/ (- 2.0 (+ x y)) y)
32.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))

series294.0ms

Counts

4 → 12

Calls

4 calls:

83.0ms	(/ x (- 2.0 (+ x y)))
96.0ms	(- (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y)))
41.0ms	(/ (- 2.0 (+ x y)) y)
73.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))

simplify2.4s

Counts

235 → 235

Iterations

Useful iterations: done (2.4s)

Iter	Nodes	Cost
0	310	83147
1	786	69160
2	2152	68760
done	5000	64710

prune915.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize64.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (- 2.0 (+ x y)) y))
0.2b	(/ 1 (/ (- 2.0 (+ x y)) y))
0.2b	(/ 1 (/ (- 2.0 (+ x y)) y))
4.3b	(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ 1 (/ (- 2.0 (+ x y)) y)) (/ 1 (/ (- 2.0 (+ x y)) y)))) (+ (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y))))

rewrite759.0ms

Algorithm

rewrite-expression-head

Rules

477×	`*-un-lft-identity`
476×	`times-frac`
279×	`add-sqr-sqrt`
207×	`add-cube-cbrt`
82×	`distribute-lft-out--`
74×	`associate-/r*`
66×	`distribute-lft-out`
45×	`difference-of-squares`
39×	`add-exp-log`
22×	`div-exp`
21×	`add-cbrt-cube` `div-inv`
14×	`associate-/l/`
13×	`associate-/l*`
12×	`frac-sub`
10×	`cbrt-undiv`
7×	`frac-times` `pow1` `associate-l/` `associate-r/`
6×	`rec-exp` `1-exp` `associate-/r/`
4×	`clear-num` `frac-2neg` `add-log-exp`
3×	`un-div-inv` `pow-flip` `inv-pow`
1×	`flip3-+` `flip3--` `div-sub` `frac-add` `flip-+` `flip--`

Counts

4 → 410

Calls

4 calls:

55.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))
33.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))
39.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))
603.0ms	(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ 1 (/ (- 2.0 (+ x y)) y)) (/ 1 (/ (- 2.0 (+ x y)) y)))) (+ (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y))))

series474.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))
79.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))
77.0ms	(/ 1 (/ (- 2.0 (+ x y)) y))
217.0ms	(/ (- (* (/ x (- 2.0 (+ x y))) (/ x (- 2.0 (+ x y)))) (* (/ 1 (/ (- 2.0 (+ x y)) y)) (/ 1 (/ (- 2.0 (+ x y)) y)))) (+ (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y))))

simplify380.0ms

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	281	180144