Details

sample22.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	8	7
2	9	7
done	9	7

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
22×	`add-sqr-sqrt`
20×	`times-frac`
12×	`add-cube-cbrt`
6×	`distribute-lft-out`
5×	`associate-/r*` `distribute-lft-out--` `difference-of-squares`
4×	`associate-/l*`
3×	`add-exp-log` `add-cbrt-cube`
2×	`associate-/r/` `associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 45

Calls

1 calls:

9.0ms

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

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

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

simplify20.0s

Counts

48 → 48

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune64.0ms

Filtered

33 candidates to 48 candidates (-45.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	43	5	48
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	5	49

Merged error: 0b

Counts

49 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (exp (/ (+ x y) (- x y))))
0.0b	(exp (/ (+ x y) (- x y)))
0.0b	(/ (+ x y) (- x y))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

93×	`*-un-lft-identity`
61×	`add-sqr-sqrt`
60×	`times-frac`
52×	`exp-prod`
35×	`add-cube-cbrt`
27×	`log-pow`
16×	`distribute-lft-out`
13×	`distribute-lft-out--` `difference-of-squares`
6×	`associate-/r/`
5×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
4×	`pow1` `associate-/l*` `add-log-exp`
3×	`log-prod` `flip3--` `flip--` `div-inv`
2×	`associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `rem-log-exp` `clear-num` `flip-+` `rem-exp-log`

Counts

3 → 117

Calls

3 calls:

11.0ms	(log (exp (/ (+ x y) (- x y))))
10.0ms	(exp (/ (+ x y) (- x y)))
9.0ms	(/ (+ x y) (- x y))

series34.0ms

Counts

3 → 9

Calls

3 calls:

10.0ms	(log (exp (/ (+ x y) (- x y))))
14.0ms	(exp (/ (+ x y) (- x y)))
10.0ms	(/ (+ x y) (- x y))

simplify1.4min

Counts

126 → 126

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	8	18
1	13	18
2	18	18
3	23	18
4	41	18
5	81	18
6	190	18
7	558	18
8	2253	18
done	5000	18
0	7	9
1	10	9
2	11	9
done	11	9
0	10	20
1	19	20
2	31	20
3	43	20
4	55	20
5	87	20
6	169	20
7	394	20
8	1707	20
done	5001	20
0	9	15
1	14	15
2	17	15
3	20	15
4	26	15
5	34	15
6	59	15
7	120	15
8	285	15
9	867	15
10	4287	15
done	5001	15
0	8	12
1	13	10
2	21	10
3	30	10
4	37	10
5	55	10
6	97	10
7	199	10
8	709	10
9	2995	10
done	5000	10
0	10	16
1	14	16
2	16	16
3	19	16
4	25	16
5	33	16
6	58	16
7	129	16
8	302	16
9	892	16
10	4376	16
done	5000	16
0	8	12
1	13	10
2	21	10
3	30	10
4	37	10
5	55	10
6	97	10
7	199	10
8	709	10
9	2995	10
done	5000	10
0	9	15
1	14	15
2	15	15
done	15	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	7
1	10	5
2	12	5
done	12	5
0	9	11
1	11	11
done	11	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	12
1	14	12
2	15	12
done	15	12
0	7	7
1	11	7
2	12	7
done	12	7
0	3	4
1	5	2
2	6	1
done	6	1
0	8	8
1	11	8
done	11	8
0	3	4
1	5	2
2	6	1
done	6	1
0	8	12
1	14	12
2	15	12
done	15	12
0	7	7
1	11	7
2	12	7
done	12	7
0	3	4
1	5	2
2	6	1
done	6	1
0	8	8
1	11	8
done	11	8
0	3	4
1	5	2
2	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	4	4
1	8	4
2	9	4
done	9	4
0	9	12
1	25	12
2	47	12
3	83	12
4	171	12
5	507	12
6	2296	12
done	5000	12
0	8	12
1	13	12
2	21	12
3	39	6
4	66	6
5	107	6
6	167	6
7	335	6
8	1638	6
done	5000	6
0	7	9
1	10	7
2	11	7
done	11	7
0	7	9
1	10	9
2	11	9
done	11	9
0	8	19
1	11	19
2	12	19
done	12	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	26
1	14	25
2	23	10
3	35	10
4	63	10
5	106	10
6	197	10
7	420	10
8	1114	10
9	4484	10
done	5000	10
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	9	20
1	14	20
2	17	12
3	18	12
done	18	12
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	2	2
1	4	1
done	4	1
0	7	9
1	10	7
2	11	7
done	11	7
0	7	9
1	10	7
2	11	7
done	11	7
0	9	19
1	14	17
2	21	17
3	29	17
4	54	17
5	127	17
6	376	17
7	1342	17
done	5000	17
0	8	10
1	11	8
2	12	8
done	12	8
0	11	21
1	20	19
2	32	19
3	46	19
4	65	19
5	109	19
6	245	19
7	735	19
8	3689	19
done	5000	19
0	10	16
1	15	14
2	18	14
3	21	14
4	29	14
5	42	14
6	79	14
7	186	14
8	552	14
9	2190	14
done	5000	14
0	9	13
1	14	9
2	22	9
3	33	9
4	45	9
5	70	9
6	149	9
7	418	9
8	1661	9
done	5000	9
0	11	17
1	15	15
2	17	15
3	20	15
4	28	15
5	41	15
6	78	15
7	193	15
8	565	15
9	2215	15
done	5000	15
0	9	13
1	14	9
2	22	9
3	33	9
4	45	9
5	70	9
6	149	9
7	418	9
8	1661	9
done	5000	9
0	10	16
1	15	14
2	16	14
done	16	14
0	9	11
1	12	9
2	13	9
done	13	9
0	8	8
1	11	4
2	13	4
done	13	4
0	10	12
1	12	10
done	12	10
0	8	8
1	11	4
2	13	4
done	13	4
0	9	13
1	15	11
2	16	11
done	16	11
0	8	8
1	12	6
2	13	6
done	13	6
0	4	5
1	6	1
2	7	1
done	7	1
0	9	9
1	12	7
done	12	7
0	4	5
1	6	1
2	7	1
done	7	1
0	9	13
1	15	11
2	16	11
done	16	11
0	8	8
1	12	6
2	13	6
done	13	6
0	4	5
1	6	1
2	7	1
done	7	1
0	9	9
1	12	7
done	12	7
0	4	5
1	6	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	5	5
1	9	3
2	13	3
3	14	3
done	14	3
0	10	13
1	26	11
2	48	11
3	84	11
4	172	11
5	510	11
6	2307	11
done	5001	11
0	9	13
1	14	11
2	22	11
3	40	5
4	67	5
5	108	5
6	168	5
7	336	5
8	1627	5
done	5000	5
0	8	10
1	11	8
2	15	8
3	17	8
4	18	8
done	18	8
0	8	10
1	11	8
2	12	8
done	12	8
0	9	21
1	12	17
2	13	17
done	13	17
0	8	10
1	11	8
2	12	8
done	12	8
0	9	29
1	13	23
2	24	9
3	65	9
4	161	9
5	438	9
6	1105	9
7	2991	9
done	5001	9
0	8	10
1	11	8
2	12	8
done	12	8
0	8	10
1	11	8
2	12	8
done	12	8
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	2	2
done	2	2
0	1	1
1	3	1
2	5	1
done	5	1
0	1	1
1	3	1
2	5	1
done	5	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune131.0ms

Filtered

84 candidates to 126 candidates (-50.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	124	2	126
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	127	4	131

Merged error: 0b

Counts

131 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (pow E (/ (+ x y) (- x y))))
0.0b	(pow E (/ (+ x y) (- x y)))
0.0b	(/ (+ x y) (- x y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
45×	`add-sqr-sqrt`
40×	`times-frac`
27×	`add-cube-cbrt`
26×	`pow-unpow`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
8×	`add-exp-log`
7×	`log-prod`
6×	`unpow-prod-down`
5×	`associate-/r*` `add-cbrt-cube`
4×	`pow1` `rem-log-exp` `pow-exp` `associate-/r/` `associate-/l*`
3×	`add-log-exp`
2×	`pow-to-exp` `e-exp-1` `flip3--` `flip--` `div-inv` `associate-/l/` `sqr-pow`
1×	`cbrt-undiv` `pow-pow` `frac-2neg` `flip3-+` `div-exp` `clear-num` `log-pow` `flip-+`

Counts

3 → 105

Calls

3 calls:

4.0ms	(log (pow E (/ (+ x y) (- x y))))
9.0ms	(pow E (/ (+ x y) (- x y)))
9.0ms	(/ (+ x y) (- x y))

series53.0ms

Counts

3 → 9

Calls

3 calls:

21.0ms	(log (pow E (/ (+ x y) (- x y))))
22.0ms	(pow E (/ (+ x y) (- x y)))
10.0ms	(/ (+ x y) (- x y))

simplify5.3min

Counts

114 → 114

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	7	9
1	15	7
2	34	7
3	51	7
4	78	7
5	99	7
6	101	7
7	103	7
done	103	7
0	8	10
1	16	9
2	30	7
3	53	7
4	80	7
5	101	7
6	103	7
7	105	7
done	105	7
0	8	10
1	16	9
2	30	7
3	53	7
4	80	7
5	101	7
6	103	7
7	105	7
done	105	7
0	7	9
1	15	7
2	34	7
3	51	7
4	78	7
5	99	7
6	101	7
7	103	7
done	103	7
0	9	19
1	18	19
2	28	19
3	52	19
4	108	19
5	262	19
6	890	19
7	3327	19
done	5000	19
0	8	10
1	17	10
2	25	10
3	43	10
4	82	10
5	191	10
6	565	10
7	2183	10
done	5001	10
0	11	21
1	26	21
2	51	21
3	116	21
4	333	21
5	966	21
6	3454	21
done	5001	21
0	10	16
1	21	16
2	35	16
3	73	16
4	189	16
5	523	16
6	1879	16
done	5000	16
0	9	13
1	19	11
2	36	11
3	72	11
4	155	11
5	369	11
6	1360	11
7	4832	11
done	5000	11
0	11	17
1	21	17
2	34	17
3	80	17
4	204	17
5	558	17
6	2034	17
done	5000	17
0	9	13
1	19	11
2	36	11
3	72	11
4	155	11
5	369	11
6	1360	11
7	4832	11
done	5000	11
0	10	16
1	21	16
2	33	16
3	67	16
4	160	16
5	419	16
6	1596	16
done	5000	16
0	9	11
1	18	11
2	28	11
3	53	11
4	113	11
5	284	11
6	1006	11
7	4739	11
done	5000	11
0	8	8
1	16	6
2	25	6
3	43	6
4	85	6
5	184	6
6	628	6
7	2370	6
done	5001	6
0	10	12
1	18	12
2	27	12
3	60	12
4	130	12
5	308	12
6	1084	12
done	5000	12
0	8	8
1	16	6
2	25	6
3	43	6
4	85	6
5	184	6
6	628	6
7	2370	6
done	5001	6
0	9	13
1	20	13
2	30	13
3	65	13
4	151	13
5	449	13
6	1687	13
done	5000	13
0	8	8
1	17	8
2	25	8
3	51	8
4	106	8
5	278	8
6	822	8
7	2528	8
done	5000	8
0	4	5
1	12	3
2	19	1
3	30	1
4	52	1
5	114	1
6	332	1
7	1257	1
done	5000	1
0	9	9
1	17	9
2	24	9
3	58	9
4	123	9
5	310	9
6	922	9
7	2770	9
done	5000	9
0	4	5
1	12	3
2	19	1
3	30	1
4	52	1
5	114	1
6	332	1
7	1257	1
done	5000	1
0	9	13
1	20	13
2	30	13
3	65	13
4	151	13
5	449	13
6	1687	13
done	5000	13
0	8	8
1	17	8
2	25	8
3	51	8
4	106	8
5	278	8
6	822	8
7	2528	8
done	5000	8
0	4	5
1	12	3
2	19	1
3	30	1
4	52	1
5	114	1
6	332	1
7	1257	1
done	5000	1
0	9	9
1	17	9
2	24	9
3	58	9
4	123	9
5	310	9
6	922	9
7	2770	9
done	5000	9
0	4	5
1	12	3
2	19	1
3	30	1
4	52	1
5	114	1
6	332	1
7	1257	1
done	5000	1
0	3	3
1	11	1
2	18	1
3	29	1
4	53	1
5	119	1
6	333	1
7	1270	1
done	5001	1
0	5	5
1	12	5
2	19	5
3	37	5
4	84	5
5	190	5
6	581	5
7	2268	5
done	5000	5
0	10	13
1	31	13
2	62	13
3	133	13
4	385	13
5	1526	13
done	5000	13
0	9	13
1	20	13
2	37	13
3	91	7
4	277	7
5	800	7
6	3296	7
done	5000	7
0	9	13
1	18	13
2	28	13
3	61	13
4	137	13
5	329	13
6	1159	13
done	5000	13
0	8	10
1	17	10
2	27	10
3	60	10
4	138	10
5	325	10
6	1162	10
done	5002	10
0	8	10
1	17	10
2	27	10
3	60	10
4	138	10
5	325	10
6	1162	10
done	5002	10
0	8	10
1	17	10
2	27	10
3	60	10
4	138	10
5	325	10
6	1162	10
done	5002	10
0	7	9
1	16	1
2	22	1
3	41	1
4	66	1
5	110	1
6	171	1
7	259	1
8	368	1
9	501	1
10	659	1
11	833	1
12	1026	1
13	1244	1
14	1481	1
15	1741	1
16	2020	1
17	2330	1
18	2651	1
19	2991	1
20	3354	1
21	3736	1
22	4141	1
23	4570	1
done	5002	1
0	7	9
1	16	9
2	26	9
3	59	9
4	137	9
5	324	9
6	1152	9
done	5000	9
0	8	10
1	19	10
2	34	9
3	75	7
4	238	7
5	863	7
6	3560	7
done	5000	7
0	8	10
1	17	10
2	29	10
3	67	10
4	158	10
5	408	10
6	1474	10
done	5000	10
0	9	21
1	18	21
2	28	21
3	61	21
4	137	21
5	325	21
6	1152	21
done	5001	21
0	8	10
1	17	10
2	27	10
3	60	10
4	138	10
5	325	10
6	1154	10
done	5000	10
0	9	29
1	21	21
2	49	11
3	126	11
4	320	11
5	1048	11
6	4942	11
done	5000	11
0	8	10
1	17	10
2	28	10
3	61	10
4	137	10
5	328	10
6	1161	10
done	5000	10
0	8	10
1	17	10
2	28	10
3	61	10
4	137	10
5	328	10
6	1161	10
done	5000	10
0	9	11
1	19	11
2	41	11
3	81	11
4	185	11
5	453	11
6	1823	11
done	5000	11
0	9	11
1	19	11
2	41	11
3	81	11
4	185	11
5	453	11
6	1823	11
done	5000	11
0	10	14
1	21	14
2	38	14
3	88	13
4	239	13
5	726	13
6	3002	13
done	5001	13
0	9	11
1	20	11
2	35	11
3	76	11
4	196	11
5	534	11
6	2216	11
done	5000	11
0	9	11
1	20	11
2	35	11
3	76	11
4	196	11
5	534	11
6	2216	11
done	5000	11
0	9	11
1	20	11
2	35	11
3	76	11
4	196	11
5	534	11
6	2216	11
done	5000	11
0	8	10
1	18	1
2	24	1
3	43	1
4	68	1
5	112	1
6	173	1
7	263	1
8	375	1
9	507	1
10	664	1
11	836	1
12	1029	1
13	1243	1
14	1479	1
15	1735	1
16	2013	1
17	2317	1
18	2638	1
19	2978	1
20	3339	1
21	3725	1
22	4128	1
23	4555	1
done	5002	1
0	8	10
1	19	10
2	34	9
3	75	7
4	238	7
5	863	7
6	3560	7
done	5000	7
0	10	22
1	21	22
2	32	13
3	66	13
4	142	13
5	332	13
6	1150	13
done	5000	13
0	9	11
1	18	11
2	28	11
3	61	11
4	137	11
5	325	11
6	1152	11
done	5001	11
0	9	11
1	18	11
2	29	11
3	62	11
4	138	11
5	329	11
6	1159	11
done	5000	11
0	9	11
1	18	11
2	29	11
3	62	11
4	138	11
5	329	11
6	1159	11
done	5000	11
0	2	2
1	4	1
done	4	1
0	8	10
1	19	10
2	34	9
3	75	7
4	238	7
5	863	7
6	3560	7
done	5000	7
0	10	12
1	22	12
2	51	11
3	115	9
4	345	9
5	1242	9
done	5000	9
0	10	12
1	22	12
2	51	11
3	115	9
4	345	9
5	1242	9
done	5000	9
0	2	2
1	4	1
2	6	1
done	6	1
0	9	11
1	20	11
2	38	10
3	83	8
4	261	8
5	952	8
6	4044	8
done	5000	8
0	9	11
1	20	9
2	37	9
3	84	8
4	259	8
5	961	8
6	4093	8
done	5000	8
0	10	23
1	21	23
2	36	21
3	77	17
4	240	17
5	860	17
6	3602	17
done	5000	17
0	9	11
1	20	11
2	35	10
3	76	8
4	239	8
5	855	8
6	3563	8
done	5000	8
0	10	32
1	22	32
2	50	11
3	156	9
4	434	9
5	2122	9
done	5000	9
0	9	11
1	20	11
2	35	10
3	76	8
4	239	8
5	855	8
6	3563	8
done	5000	8
0	9	11
1	20	11
2	35	10
3	76	8
4	239	8
5	855	8
6	3563	8
done	5000	8
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	2	2
done	2	2
0	1	1
1	3	1
2	5	1
done	5	1
0	1	1
1	3	1
2	5	1
done	5	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune129.0ms

Filtered

78 candidates to 114 candidates (-46.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	114	4	118

Merged error: 0b

Counts

118 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

178×	`times-frac`
174×	`*-un-lft-identity`
122×	`add-sqr-sqrt`
80×	`add-cube-cbrt`
30×	`associate-/r*`
26×	`distribute-lft-out`
21×	`distribute-lft-out--` `difference-of-squares`
15×	`add-exp-log`
11×	`associate-/r/`
9×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
5×	`flip3-+` `flip-+`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `pow-flip` `div-sub` `flip--` `inv-pow`

Counts

2 → 174

Calls

2 calls:

9.0ms	(/ (- x y) (+ x y))
12.0ms	(/ 1 (/ (- x y) (+ x y)))

series20.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(/ (- x y) (+ x y))
11.0ms	(/ 1 (/ (- x y) (+ x y)))

simplify58.1s

Counts

180 → 180

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	8	10
1	13	10
2	18	10
3	20	10
4	21	9
done	21	9
0	7	9
1	16	9
2	21	9
3	27	9
4	29	9
5	30	9
done	30	9
0	9	11
1	18	10
2	32	10
3	51	9
4	80	9
5	107	9
6	115	9
7	131	9
done	131	9
0	8	10
1	19	9
2	30	9
3	45	9
4	71	9
5	101	9
6	107	9
7	113	9
8	128	9
done	128	9
0	10	12
1	21	11
2	30	10
3	55	9
4	85	9
5	112	9
6	122	9
7	138	9
done	138	9
0	9	11
1	22	10
2	30	9
3	49	9
4	75	9
5	105	9
6	111	9
7	117	9
8	131	9
done	131	9
0	8	10
1	22	9
2	42	9
3	70	8
4	130	8
5	183	8
6	205	8
7	212	8
8	222	8
done	222	8
0	8	10
1	18	10
2	34	10
3	59	8
4	126	8
5	201	8
6	378	8
7	911	8
8	3174	8
done	5000	8
0	13	29
1	44	25
2	152	13
3	559	11
4	2179	11
done	5001	11
0	11	29
1	33	25
2	84	11
3	335	11
4	1193	9
5	3722	9
done	5000	9
0	9	21
1	19	21
2	33	21
3	48	17
4	92	17
5	117	17
6	121	17
7	124	17
done	124	17
0	8	10
1	18	10
2	32	10
3	47	8
4	91	8
5	116	8
6	120	8
7	123	8
done	123	8
0	9	29
1	26	29
2	75	11
3	334	9
4	1111	9
5	2586	9
done	5001	9
0	8	10
1	18	10
2	32	10
3	47	8
4	91	8
5	116	8
6	120	8
7	123	8
done	123	8
0	8	10
1	18	10
2	32	10
3	47	8
4	91	8
5	116	8
6	120	8
7	123	8
done	123	8
0	2	2
1	5	1
done	5	1
0	6	8
1	14	8
2	20	8
3	27	8
4	31	7
5	32	7
done	32	7
0	11	23
1	25	21
2	37	19
3	45	19
done	45	19
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	10	14
1	20	12
2	25	10
3	28	10
done	28	10
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	13	25
1	28	23
2	65	21
3	135	19
4	192	19
done	192	19
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	12	20
1	23	18
2	42	16
3	75	14
4	96	14
done	96	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	17
1	20	11
2	35	11
3	44	11
done	44	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	10	17
1	20	11
2	35	11
3	44	11
done	44	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	12	20
1	23	18
2	39	16
3	59	14
4	63	14
done	63	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	15
1	20	13
2	30	11
3	38	9
4	39	9
done	39	9
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	9	12
1	17	6
2	23	6
done	23	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	9	12
1	17	6
2	23	6
done	23	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	13	21
1	23	19
2	38	17
3	58	15
4	62	15
done	62	15
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	12	16
1	20	14
2	29	12
3	37	10
4	38	10
done	38	10
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	10	13
1	17	7
2	22	7
done	22	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	10	13
1	17	7
2	22	7
done	22	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	10	17
1	19	15
2	34	11
3	50	9
4	58	9
5	59	9
done	59	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	9	12
1	16	10
2	25	6
3	33	4
done	33	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	5	9
1	11	1
done	11	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	4	7
1	8	3
2	12	1
done	12	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	12	17
1	37	15
2	69	13
3	143	11
4	322	11
5	953	11
6	2894	11
done	5000	11
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	11	17
1	26	15
2	66	13
3	193	11
4	518	3
5	1449	3
done	5002	3
0	6	6
1	10	5
2	11	5
done	11	5
0	10	20
1	20	19
2	23	19
3	25	19
done	25	19
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	9	11
1	17	10
2	20	10
3	22	10
done	22	10
0	12	22
1	25	21
2	47	21
3	78	19
4	138	19
5	205	19
done	205	19
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	11	17
1	20	16
2	29	16
3	42	14
4	69	14
5	101	14
done	101	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	9	14
1	17	11
2	29	11
3	38	11
done	38	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	9	14
1	17	11
2	29	11
3	38	11
done	38	11
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	11	17
1	20	16
2	28	16
3	36	14
4	60	14
5	73	14
done	73	14
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	10	12
1	17	11
2	21	11
3	22	9
4	35	9
5	40	9
done	40	9
0	8	9
1	14	6
2	20	6
done	20	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	8	9
1	14	6
2	20	6
done	20	6
0	9	11
1	16	10
2	28	10
3	41	8
4	76	8
5	89	8
done	89	8
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	12	18
1	20	17
2	27	17
3	35	15
4	59	15
5	74	15
done	74	15
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	11	13
1	17	12
2	20	12
3	21	10
4	34	10
5	39	10
done	39	10
0	11	13
1	21	12
2	27	12
3	30	10
4	52	10
5	65	10
done	65	10
0	9	10
1	14	7
2	19	7
done	19	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	9	10
1	14	7
2	19	7
done	19	7
0	10	12
1	20	11
2	34	11
3	49	9
4	93	9
5	120	9
6	124	9
7	128	9
done	128	9
0	9	14
1	16	13
2	23	11
3	32	9
4	45	9
5	47	9
done	47	9
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	8	9
1	13	8
2	16	6
3	21	4
4	25	4
done	25	4
0	9	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	4	6
1	8	1
done	8	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	3	4
1	5	1
done	5	1
0	8	10
1	18	9
2	32	9
3	47	7
4	91	7
5	118	7
6	122	7
7	125	7
done	125	7
0	6	6
1	10	5
2	11	5
done	11	5
0	7	8
1	12	7
2	23	5
3	28	3
4	40	3
done	40	3
0	11	14
1	34	13
2	57	13
3	113	11
4	292	11
5	972	11
6	2826	11
done	5001	11
0	10	14
1	20	11
2	35	11
3	48	11
4	68	11
5	89	11
6	106	11
7	129	11
8	172	11
9	234	11
10	235	11
done	235	11
0	10	14
1	23	13
2	54	13
3	157	11
4	442	5
5	1147	3
6	3187	3
done	5000	3
0	6	6
1	10	5
2	11	5
done	11	5
0	9	19
1	19	19
2	22	19
3	24	19
done	24	19
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	11	21
1	24	21
2	46	21
3	75	19
4	135	19
5	200	19
done	200	19
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	10	16
1	19	16
2	28	16
3	41	14
4	68	14
5	105	14
done	105	14
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	10	16
1	19	16
2	27	16
3	35	14
4	59	14
5	76	14
done	76	14
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	7	8
1	13	6
2	19	6
done	19	6
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	7	8
1	13	6
2	19	6
done	19	6
0	8	10
1	15	10
2	27	10
3	40	8
4	75	8
5	88	8
done	88	8
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	11	17
1	19	17
2	26	17
3	34	15
4	58	15
5	73	15
done	73	15
0	10	12
1	20	12
2	26	12
3	29	10
4	51	10
5	66	10
done	66	10
0	10	12
1	16	12
2	19	12
3	20	10
4	33	10
5	40	10
done	40	10
0	10	12
1	20	12
2	26	12
3	29	10
4	51	10
5	66	10
done	66	10
0	8	9
1	13	7
2	18	7
done	18	7
0	9	11
1	19	11
2	33	11
3	48	9
4	92	9
5	119	9
6	123	9
7	127	9
done	127	9
0	8	9
1	13	7
2	18	7
done	18	7
0	9	11
1	19	11
2	33	11
3	48	9
4	92	9
5	119	9
6	123	9
7	127	9
done	127	9
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	8	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	3	5
1	6	1
done	6	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	2	3
1	4	1
done	4	1
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	11	3
2	24	3
3	34	3
4	35	3
done	35	3
0	10	13
1	33	13
2	56	13
3	112	11
4	293	11
5	977	11
6	2810	11
done	5001	11
0	9	13
1	19	11
2	34	11
3	47	11
4	67	11
5	88	11
6	105	11
7	128	11
8	171	11
9	233	11
10	234	11
done	234	11
0	9	13
1	22	13
2	53	13
3	156	11
4	439	3
5	1629	3
done	5000	3
0	5	5
1	9	5
2	10	5
done	10	5
0	7	9
1	17	9
2	31	9
3	46	7
4	90	7
5	115	7
6	119	7
7	122	7
done	122	7
0	7	9
1	17	7
2	38	7
3	57	7
4	67	7
5	69	7
done	69	7
0	9	19
1	19	19
2	22	19
3	24	19
done	24	19
0	8	10
1	16	10
2	19	10
3	21	10
done	21	10
0	11	21
1	24	21
2	46	21
3	75	19
4	135	19
5	200	19
done	200	19
0	10	16
1	19	16
2	28	16
3	41	14
4	68	14
5	105	14
done	105	14
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	10	16
1	19	16
2	27	16
3	35	14
4	59	14
5	76	14
done	76	14
0	9	11
1	16	11
2	20	11
3	21	9
4	34	9
5	39	9
done	39	9
0	7	8
1	13	6
2	19	6
done	19	6
0	7	8
1	13	6
2	19	6
done	19	6
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	11	17
1	19	17
2	26	17
3	34	15
4	58	15
5	73	15
done	73	15
0	10	12
1	16	12
2	19	12
3	20	10
4	33	10
5	40	10
done	40	10
0	8	9
1	13	7
2	18	7
done	18	7
0	8	9
1	13	7
2	18	7
done	18	7
0	8	13
1	15	9
2	24	9
3	37	9
4	46	9
5	47	9
done	47	9
0	7	8
1	12	4
2	17	4
3	19	4
4	20	4
done	20	4
0	3	5
1	6	1
done	6	1
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	10	13
1	33	13
2	56	13
3	112	11
4	293	11
5	977	11
6	2810	11
done	5001	11
0	9	13
1	22	13
2	53	13
3	156	11
4	439	3
5	1629	3
done	5000	3
0	8	10
1	18	9
2	38	9
3	49	7
4	66	7
5	68	7
done	68	7
0	8	10
1	18	9
2	38	9
3	49	7
4	66	7
5	68	7
done	68	7
0	7	9
1	17	7
2	38	7
3	57	7
4	67	7
5	69	7
done	69	7
0	5	5
1	9	5
2	10	5
done	10	5
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	15	8
2	20	8
3	23	8
done	23	8
0	6	8
1	12	8
2	18	8
3	22	8
4	25	8
5	31	8
6	35	8
7	51	8
8	57	8
9	64	8
10	73	8
11	94	8
12	115	8
13	132	8
14	139	8
15	145	8
16	148	8
done	148	8
0	9	23
1	33	23
2	111	11
3	305	9
4	851	9
5	3001	9
done	5000	9
0	7	17
1	13	17
2	16	17
3	18	17
done	18	17
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	7	23
1	20	23
2	51	9
3	177	9
4	589	9
5	1821	9
done	5000	9
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	4
2	13	4
done	13	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	9	15
1	13	15
done	13	15
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	8	10
1	10	10
done	10	10
0	8	10
1	14	10
2	17	10
3	19	10
done	19	10
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	7
1	10	5
2	12	5
done	12	5
0	7	9
1	13	9
2	16	9
3	18	9
done	18	9
0	7	11
1	12	11
done	12	11
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	6
1	9	6
done	9	6
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	2	3
1	4	1
done	4	1
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	5	7
1	8	7
2	9	7
done	9	7
0	7	13
1	15	13
2	23	13
3	28	13
4	31	13
done	31	13
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	5
1	12	3
2	17	3
done	17	3
0	5	5
1	12	3
2	17	3
done	17	3
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	5	7
1	8	7
2	9	7
done	9	7
0	7	9
1	10	9
2	11	9
done	11	9
0	5	7
1	8	7
2	9	7
done	9	7
0	8	11
1	27	11
2	39	11
3	58	11
4	97	11
5	211	11
6	617	11
7	2464	11
done	5000	11
0	7	11
1	16	11
2	36	11
3	72	11
4	109	5
5	164	5
6	315	5
7	1486	5
done	5001	5
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1
0	1	1
done	1	1
0	1	1
1	3	1
done	3	1
0	1	1
1	3	1
done	3	1

prune107.0ms

Filtered

92 candidates to 180 candidates (-95.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	180	4	184

Merged error: 0b

Counts

184 → 4

regimes123.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	11	10
2	13	10
done	13	10

end0.0ms

sample461.0ms

Algorithm

intervals

Results

193.0ms

8000×

body

valid

Details

sample22.0ms

simplify3.0ms

prune2.0ms

localize5.0ms

rewrite11.0ms

series10.0ms

simplify20.0s

prune64.0ms

localize8.0ms

rewrite37.0ms

series34.0ms

simplify1.4min

prune131.0ms

localize9.0ms

rewrite26.0ms

series53.0ms

simplify5.3min

prune129.0ms

localize6.0ms

rewrite32.0ms

series20.0ms

simplify58.1s

prune107.0ms

regimes123.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample461.0ms

Profiling