Details

sample25.0ms

Algorithm

intervals

Results

9.0ms

318×

body

valid

simplify113.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	28	7
4	38	7
5	47	7
6	52	7
7	61	7
8	78	7
9	97	7
10	108	7
11	110	7
12	114	7
13	117	7
done	117	7

prune3.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

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

10.0ms	(+ x (/ (- y x) z))
9.0ms	(/ (- y x) z)

series24.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ x (/ (- y x) z))
17.0ms	(/ (- y x) z)

simplify13.4s

Counts

57 → 57

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	16	8
2	25	8
3	41	8
4	64	8
5	92	8
6	123	8
7	206	8
8	302	8
9	432	8
10	467	8
11	471	8
12	474	8
done	474	8
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	7	8
1	16	8
2	27	8
3	46	8
4	72	8
5	104	8
6	141	8
7	251	8
8	396	8
9	443	8
10	451	8
11	455	8
12	458	8
done	458	8
0	8	17
1	14	17
2	21	17
3	30	17
4	40	17
5	49	17
6	54	17
7	63	17
8	80	17
9	99	17
10	110	17
11	112	17
12	116	17
13	119	17
done	119	17
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	8	23
1	27	23
2	74	9
3	243	9
4	1152	9
done	5002	9
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	7	8
1	13	8
2	20	8
3	29	8
4	39	8
5	48	8
6	53	8
7	62	8
8	79	8
9	98	8
10	109	8
11	111	8
12	115	8
13	118	8
done	118	8
0	9	11
1	31	11
2	61	11
3	178	11
4	573	11
5	1846	11
done	5000	11
0	10	23
1	29	17
2	70	17
3	177	17
4	476	17
5	1408	17
6	4118	17
done	5000	17
0	8	15
1	22	15
2	50	15
3	160	15
4	505	15
5	1501	15
done	5000	15
0	6	7
1	13	7
2	21	7
3	33	7
4	50	7
5	54	7
6	61	7
7	74	7
8	97	7
9	111	7
10	113	7
done	113	7
0	6	7
1	12	7
2	19	7
3	28	7
4	38	7
5	47	7
6	52	7
7	61	7
8	78	7
9	97	7
10	108	7
11	110	7
12	114	7
13	117	7
done	117	7
0	5	5
1	6	5
done	6	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	27	9
4	33	9
5	43	9
6	58	9
7	78	9
8	94	9
9	102	9
10	115	9
11	117	9
done	117	9
0	7	9
1	12	9
2	21	9
3	27	9
4	33	9
5	43	9
6	58	9
7	78	9
8	94	9
9	102	9
10	115	9
11	117	9
done	117	9
0	7	9
1	12	9
2	21	9
3	27	9
4	33	9
5	43	9
6	58	9
7	78	9
8	94	9
9	102	9
10	115	9
11	117	9
done	117	9

prune69.0ms

Filtered

42 candidates to 57 candidates (-35.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	3	58

Merged error: 0b

Counts

58 → 3

localize10.0ms

Local error

Found 2 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
16×	`add-sqr-sqrt`
10×	`times-frac`
9×	`add-log-exp`
5×	`distribute-lft-out--`
4×	`add-cube-cbrt` `difference-of-squares`
2×	`pow1` `add-exp-log` `sub-neg` `associate-+r+` `diff-log` `sum-log` `add-cbrt-cube` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+r-` `flip3--` `distribute-rgt-out--` `flip3-+` `frac-sub` `flip--` `flip-+` `sub-div`

Counts

2 → 40

Calls

2 calls:

17.0ms	(+ x (- (/ y z) (/ x z)))
22.0ms	(- (/ y z) (/ x z))

series14.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ x (- (/ y z) (/ x z)))
7.0ms	(- (/ y z) (/ x z))

simplify22.8s

Counts

46 → 46

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	10	8
2	12	8
3	17	8
4	20	8
5	26	8
6	30	8
7	46	8
8	50	8
9	57	8
10	66	8
11	86	8
12	107	8
13	121	8
14	126	8
15	128	8
done	128	8
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	12	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	50	8
8	57	8
9	66	8
10	86	8
11	107	8
12	121	8
13	126	8
14	128	8
done	128	8
0	8	17
1	10	17
2	13	17
done	13	17
0	7	8
1	9	8
2	12	8
done	12	8
0	8	23
1	11	23
2	28	9
3	87	9
4	292	9
5	986	9
6	3239	9
done	5001	9
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8
0	3	3
1	5	3
2	6	3
done	6	3
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	2	3
done	2	3
0	9	11
1	29	11
2	84	11
3	240	11
4	774	11
5	2602	11
done	5000	11
0	10	23
1	29	19
2	57	19
3	85	19
4	114	17
5	137	17
6	160	17
7	177	17
8	187	17
9	188	17
done	188	17
0	4	4
1	6	4
done	6	4
0	8	15
1	21	15
2	42	15
3	82	15
4	149	15
5	247	15
6	348	15
7	579	13
8	2083	13
done	5000	13
0	6	7
1	7	7
done	7	7
0	8	9
1	9	9
done	9	9
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	14	10
done	14	10
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	6	4
done	6	4
0	10	12
1	15	11
2	26	10
3	44	10
4	68	10
5	100	10
6	142	10
7	257	10
8	366	10
9	463	10
10	478	10
done	478	10
0	9	11
1	17	10
2	30	10
3	51	10
4	77	10
5	105	10
6	178	10
7	266	10
8	383	10
9	464	10
10	482	10
done	482	10
0	8	10
1	13	10
2	22	10
3	30	10
4	36	10
5	46	10
6	53	10
7	65	10
8	85	10
9	100	10
10	108	10
done	108	10
0	8	10
1	16	10
2	33	10
3	55	10
4	83	10
5	115	10
6	194	10
7	273	10
8	411	10
9	446	10
10	447	10
done	447	10
0	9	21
1	14	21
2	23	21
3	31	21
4	37	21
5	47	21
6	54	21
7	66	21
8	86	21
9	101	21
10	109	21
done	109	21
0	8	10
1	13	10
2	22	10
3	30	10
4	36	10
5	46	10
6	53	10
7	65	10
8	85	10
9	100	10
10	108	10
done	108	10
0	9	29
1	27	29
2	80	11
3	319	11
4	1804	11
done	5000	11
0	8	10
1	13	10
2	22	10
3	30	10
4	36	10
5	46	10
6	53	10
7	65	10
8	85	10
9	100	10
10	108	10
done	108	10
0	8	10
1	13	10
2	22	10
3	30	10
4	36	10
5	46	10
6	53	10
7	65	10
8	85	10
9	100	10
10	108	10
done	108	10
0	10	13
1	26	13
2	50	13
3	125	13
4	378	13
5	1261	13
6	4568	13
done	5000	13
0	11	29
1	21	21
2	54	21
3	160	21
4	534	21
5	1682	21
6	4847	21
done	5000	21
0	9	19
1	16	19
2	38	19
3	120	19
4	449	19
5	1445	19
done	5000	19
0	7	9
1	13	9
2	23	9
3	40	9
4	46	9
5	53	9
6	66	9
7	89	9
8	101	9
done	101	9
0	7	9
1	12	9
2	21	9
3	29	9
4	35	9
5	45	9
6	52	9
7	64	9
8	84	9
9	99	9
10	107	9
done	107	9
0	7	9
1	12	9
2	21	9
3	29	9
4	35	9
5	45	9
6	52	9
7	64	9
8	84	9
9	99	9
10	107	9
done	107	9
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	27	9
4	33	9
5	43	9
6	58	9
7	78	9
8	94	9
9	102	9
10	115	9
11	117	9
done	117	9
0	7	9
1	12	9
2	21	9
3	27	9
4	33	9
5	43	9
6	58	9
7	78	9
8	94	9
9	102	9
10	115	9
11	117	9
done	117	9
0	7	9
1	12	9
2	21	9
3	27	9
4	33	9
5	43	9
6	58	9
7	78	9
8	94	9
9	102	9
10	115	9
11	117	9
done	117	9

prune54.0ms

Filtered

33 candidates to 46 candidates (-39.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	46	3	49

Merged error: 0b

Counts

49 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
4.3b	(cbrt (/ (- y x) z))
4.3b	(cbrt (/ (- y x) z))
4.3b	(cbrt (/ (- y x) z))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

157×	`cbrt-prod`
141×	`add-sqr-sqrt`
135×	`*-un-lft-identity`
123×	`times-frac`
75×	`add-cube-cbrt`
28×	`swap-sqr`
27×	`distribute-lft-out--`
22×	`associate-r` `associate-l`
21×	`difference-of-squares`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 186

Calls

4 calls:

23.0ms	(* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
5.0ms	(cbrt (/ (- y x) z))
5.0ms	(cbrt (/ (- y x) z))
5.0ms	(cbrt (/ (- y x) z))

series175.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (cbrt (/ (- y x) z)) (cbrt (/ (- y x) z)))
36.0ms	(cbrt (/ (- y x) z))
36.0ms	(cbrt (/ (- y x) z))
45.0ms	(cbrt (/ (- y x) z))

simplify1.1min

Counts

198 → 198

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	14
1	13	14
2	16	14
3	18	14
done	18	14
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	10	16
1	18	16
2	28	16
3	34	16
done	34	16
0	8	8
1	10	8
2	11	8
done	11	8
0	9	13
1	13	13
2	16	13
3	17	13
done	17	13
0	8	8
1	10	8
2	11	8
done	11	8
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	13	11
2	14	11
done	14	11
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	9	7
2	10	7
done	10	7
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	20
1	14	20
2	19	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5001	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	14
1	13	14
2	16	14
3	18	14
done	18	14
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	10	16
1	18	16
2	28	16
3	34	16
done	34	16
0	8	8
1	10	8
2	11	8
done	11	8
0	9	13
1	13	13
2	16	13
3	17	13
done	17	13
0	8	8
1	10	8
2	11	8
done	11	8
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	13	11
2	14	11
done	14	11
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	9	7
2	10	7
done	10	7
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	20
1	14	20
2	19	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5001	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	14
1	13	14
2	16	14
3	18	14
done	18	14
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	10	16
1	18	16
2	28	16
3	34	16
done	34	16
0	8	8
1	10	8
2	11	8
done	11	8
0	9	13
1	13	13
2	16	13
3	17	13
done	17	13
0	8	8
1	10	8
2	11	8
done	11	8
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	13	11
2	14	11
done	14	11
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	9	7
2	10	7
done	10	7
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	20
1	14	20
2	19	8
3	26	5
4	32	5
5	42	5
6	63	5
7	124	5
8	339	5
9	1278	5
done	5001	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	6	11
1	15	11
2	30	11
3	86	11
4	196	11
5	392	11
6	693	11
7	1060	11
8	1803	11
9	3154	11
10	3811	11
11	4022	11
12	4054	11
done	4054	11
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	2	3
1	6	1
done	6	1
0	8	15
1	15	9
2	19	9
3	21	9
done	21	9
0	8	14
1	15	14
2	20	9
3	23	9
done	23	9
0	8	14
1	15	14
2	22	14
3	29	14
4	47	14
5	87	14
6	193	14
7	569	14
8	2241	14
done	5000	14
0	6	11
1	15	11
2	30	11
3	86	11
4	196	11
5	392	11
6	693	11
7	1060	11
8	1803	11
9	3154	11
10	3811	11
11	4022	11
12	4054	11
done	4054	11
0	9	29
1	14	29
2	17	29
3	19	29
done	19	29
0	8	14
1	13	14
2	16	14
3	18	14
done	18	14
0	9	41
1	22	41
2	34	15
3	50	8
4	120	8
5	335	8
6	919	8
7	3077	8
done	5000	8
0	8	14
1	14	7
2	17	7
3	19	7
done	19	7
0	8	14
1	14	7
2	17	7
3	19	7
done	19	7
0	5	9
1	7	9
2	8	9
done	8	9
0	3	5
done	3	5
0	9	29
1	14	29
2	17	29
3	19	29
done	19	29
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	11	33
1	19	33
2	29	33
3	35	33
done	35	33
0	9	17
1	11	17
2	12	17
done	12	17
0	10	27
1	14	27
2	17	27
3	18	27
done	18	27
0	9	17
1	11	17
2	12	17
done	12	17
0	9	25
1	15	21
2	22	21
3	27	21
done	27	21
0	8	15
1	10	15
2	11	15
done	11	15
0	10	23
1	14	23
2	15	23
done	15	23
0	9	17
1	11	17
2	12	17
done	12	17
0	9	17
1	11	17
2	12	17
done	12	17
0	9	17
1	11	17
2	12	17
done	12	17
0	8	15
1	12	11
2	15	11
done	15	11
0	8	15
1	10	15
2	11	15
done	11	15
0	7	17
1	11	17
done	11	17
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	17
1	11	17
done	11	17
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	6	11
1	8	11
done	8	11
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	6	11
1	8	11
done	8	11
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	4	9
1	6	3
done	6	1
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	4	9
1	6	3
done	6	1
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	11	25
1	14	25
done	14	25
0	10	19
1	15	19
2	18	19
3	20	19
done	20	19
0	10	19
1	11	19
done	11	19
0	10	19
1	15	19
2	18	19
3	20	19
done	20	19
0	9	17
1	12	13
2	14	13
done	14	13
0	9	17
1	14	17
2	17	17
3	19	17
done	19	17
0	7	17
1	11	17
done	11	17
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	17
1	11	17
done	11	17
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	6	11
1	8	11
done	8	11
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	6	11
1	8	11
done	8	11
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	4	9
1	6	3
done	6	1
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	4	9
1	6	3
done	6	1
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	3	5
1	5	3
done	5	1
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	5	9
1	7	9
2	8	9
done	8	9
0	5	9
1	7	9
done	7	9
0	9	31
1	18	31
2	23	17
3	34	9
4	49	9
5	77	9
6	148	9
7	364	9
8	1264	9
done	5000	9
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	9	17
1	11	17
2	12	17
done	12	17
0	9	17
1	11	17
2	12	17
done	12	17
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	10	15
1	16	15
2	19	15
3	21	15
done	21	15
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	9	21
1	15	21
2	18	21
3	20	21
done	20	21
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	13	23
1	25	23
2	37	23
3	45	23
done	45	23
0	12	20
1	20	20
2	25	20
3	28	20
done	28	20
0	12	19
1	22	17
2	31	17
3	38	17
done	38	17
0	12	18
1	20	18
2	23	18
3	25	18
done	25	18
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	11	14
1	19	12
2	24	12
3	26	12
done	26	12
0	12	15
1	22	15
2	25	15
3	27	15
done	27	15
0	11	12
1	19	12
2	22	12
3	24	12
done	24	12
0	10	11
1	18	8
2	21	8
3	23	6
4	26	6
done	26	6
0	14	19
1	23	19
2	26	19
3	28	19
done	28	19
0	13	16
1	20	16
2	23	16
3	25	16
done	25	16
0	13	15
1	22	13
2	27	13
3	29	13
done	29	13
0	12	15
1	22	15
2	25	15
3	27	15
done	27	15
0	11	12
1	19	12
2	22	12
3	24	12
done	24	12
0	10	11
1	18	8
2	21	8
3	23	6
4	26	6
done	26	6
0	9	9
1	17	8
2	20	8
3	22	6
4	25	6
done	25	6
0	8	11
1	14	11
2	17	11
3	19	11
done	19	11
0	9	22
1	17	22
2	22	22
3	24	22
done	24	22
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	8	8
1	16	6
2	22	6
3	24	6
done	24	6
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	10	14
1	16	14
2	19	14
3	21	14
done	21	14
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	10	14
1	16	14
2	19	14
3	21	14
done	21	14
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	13	16
1	24	16
2	30	16
3	34	16
done	34	16
0	13	16
1	24	16
2	30	16
3	34	16
done	34	16
0	12	15
1	23	15
2	29	15
3	33	15
done	33	15
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	10	11
1	18	11
2	21	11
3	23	11
done	23	11
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	8	11
1	14	11
2	17	11
3	19	11
done	19	11
0	8	11
1	14	11
2	17	11
3	19	11
done	19	11
0	32	49
1	74	49
2	173	49
3	436	46
4	1143	32
5	3677	29
done	5000	29
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	17	19
1	33	18
2	72	18
3	201	17
4	602	11
5	1777	4
done	5001	4
0	32	49
1	74	49
2	173	49
3	436	46
4	1143	32
5	3677	29
done	5000	29
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	17	19
1	33	18
2	72	18
3	201	17
4	602	11
5	1777	4
done	5001	4
0	32	49
1	74	49
2	173	49
3	436	46
4	1143	32
5	3677	29
done	5000	29
0	13	15
1	29	12
2	60	9
3	160	7
4	281	6
5	542	4
6	1075	4
7	3093	4
done	5000	4
0	17	19
1	33	18
2	72	18
3	201	17
4	602	11
5	1777	4
done	5001	4
0	34	55
1	77	52
2	179	44
3	528	38
4	1626	31
done	5000	31
0	16	19
1	34	16
2	77	12
3	205	9
4	480	8
5	1115	5
6	3287	5
done	5000	5
0	20	24
1	42	23
2	93	19
3	248	17
4	752	16
5	2795	14
done	5000	14

prune185.0ms

Filtered

144 candidates to 198 candidates (-37.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	198	3	201

Merged error: 0b

Counts

201 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- y x) z)
0.2b	(* (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)))
3.8b	(sqrt (/ (- y x) z))
3.8b	(sqrt (/ (- y x) z))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

154×	`add-sqr-sqrt`
140×	`sqrt-prod`
138×	`*-un-lft-identity`
125×	`times-frac`
76×	`add-cube-cbrt`
30×	`swap-sqr`
28×	`distribute-lft-out--`
22×	`associate-r` `associate-l` `difference-of-squares`
21×	`pow1`
10×	`sqrt-pow1` `pow1/2`
9×	`unswap-sqr`
8×	`add-exp-log` `add-cbrt-cube`
7×	`div-inv`
6×	`sqrt-div`
5×	`pow-prod-up` `associate-/l*`
4×	`rem-sqrt-square` `add-log-exp`
3×	`pow-prod-down` `associate-/r*` `pow-sqr`
2×	`associate-/l/`
1×	`cbrt-undiv` `pow2` `frac-times` `flip3--` `frac-2neg` `pow-plus` `sqrt-unprod` `div-sub` `associate-r/` `div-exp` `associate-l/` `prod-exp` `clear-num` `rem-square-sqrt` `*-commutative` `flip--` `cbrt-unprod`

Counts

4 → 211

Calls

4 calls:

7.0ms	(/ (- y x) z)
26.0ms	(* (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)))
6.0ms	(sqrt (/ (- y x) z))
6.0ms	(sqrt (/ (- y x) z))

series89.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (- y x) z)
30.0ms	(* (sqrt (/ (- y x) z)) (sqrt (/ (- y x) z)))
25.0ms	(sqrt (/ (- y x) z))
26.0ms	(sqrt (/ (- y x) z))

simplify56.5s

Counts

223 → 223

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	20
1	14	12
2	24	8
3	49	8
4	71	8
5	105	8
6	135	8
7	202	8
8	418	8
9	1337	8
done	5001	8
0	8	14
1	14	7
2	17	7
3	19	7
done	19	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	10	16
1	18	16
2	29	8
3	35	8
done	35	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	13
1	13	13
2	16	13
3	17	13
done	17	13
0	8	8
1	10	8
2	11	8
done	11	8
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	13	11
2	14	11
done	14	11
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	9	7
2	10	7
done	10	7
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	8	20
1	14	12
2	24	8
3	49	8
4	71	8
5	105	8
6	135	8
7	202	8
8	418	8
9	1337	8
done	5001	8
0	8	14
1	14	7
2	17	7
3	19	7
done	19	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	10	16
1	18	16
2	29	8
3	35	8
done	35	8
0	8	8
1	10	8
2	11	8
done	11	8
0	9	13
1	13	13
2	16	13
3	17	13
done	17	13
0	8	8
1	10	8
2	11	8
done	11	8
0	8	12
1	14	10
2	22	5
3	27	5
done	27	5
0	7	7
1	9	7
2	10	7
done	10	7
0	9	11
1	13	11
2	14	11
done	14	11
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	8	8
1	10	8
2	11	8
done	11	8
0	7	7
1	11	5
2	14	5
done	14	5
0	7	7
1	9	7
2	10	7
done	10	7
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	10	12
1	13	12
done	13	12
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	9	9
1	10	9
done	10	9
0	9	9
1	14	9
2	17	9
3	19	9
done	19	9
0	8	8
1	11	6
2	13	6
done	13	6
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	6	8
1	10	8
done	10	8
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	5
1	7	5
done	7	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	3	4
1	5	1
done	5	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	2
1	4	1
done	4	1
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
done	6	4
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	6	11
1	15	11
2	30	11
3	86	11
4	196	11
5	392	11
6	693	11
7	1060	11
8	1803	11
9	3154	11
10	3811	11
11	4022	11
12	4054	11
done	4054	11
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	6	11
1	15	11
2	30	11
3	86	11
4	196	11
5	392	11
6	693	11
7	1060	11
8	1803	11
9	3154	11
10	3811	11
11	4022	11
12	4054	11
done	4054	11
0	2	3
1	6	1
done	6	1
0	8	15
1	15	9
2	19	9
3	21	9
done	21	9
0	8	14
1	15	6
2	24	6
3	29	6
4	30	6
done	30	6
0	8	14
1	15	6
2	26	6
3	35	6
4	56	6
5	101	6
6	214	6
7	620	6
8	2401	6
done	5000	6
0	9	41
1	21	17
2	48	17
3	169	7
4	611	7
5	2065	7
done	5001	7
0	9	29
1	14	13
2	18	13
3	20	13
done	20	13
0	8	14
1	13	6
2	17	6
3	19	6
done	19	6
0	9	41
1	22	17
2	47	7
3	162	7
4	587	7
5	2040	7
done	5000	7
0	6	11
1	15	11
2	30	11
3	86	11
4	196	11
5	392	11
6	693	11
7	1060	11
8	1803	11
9	3154	11
10	3811	11
11	4022	11
12	4054	11
done	4054	11
0	8	14
1	14	6
2	17	6
3	19	6
done	19	6
0	8	14
1	14	6
2	17	6
3	19	6
done	19	6
0	5	9
1	7	3
2	9	3
done	9	3
0	3	5
done	3	1
0	9	31
1	18	31
2	23	17
3	34	9
4	49	9
5	77	9
6	148	9
7	364	9
8	1264	9
done	5000	9
0	8	15
1	13	15
2	16	15
3	18	15
done	18	15
0	9	29
1	15	13
2	19	13
3	21	13
done	21	13
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	11	33
1	19	15
2	31	15
3	37	15
done	37	15
0	9	17
1	11	7
2	13	7
done	13	7
0	10	27
1	14	12
2	18	12
3	19	12
done	19	12
0	9	17
1	11	7
2	13	7
done	13	7
0	9	25
1	15	9
2	26	9
3	35	9
4	40	9
done	40	9
0	8	15
1	10	6
2	12	6
done	12	6
0	10	23
1	14	10
2	16	10
done	16	10
0	9	17
1	11	7
2	13	7
done	13	7
0	9	17
1	11	7
2	13	7
done	13	7
0	9	17
1	11	7
2	13	7
done	13	7
0	8	15
1	12	4
2	18	4
3	22	4
4	27	4
done	27	4
0	8	15
1	10	6
2	12	6
done	12	6
0	7	17
1	11	7
2	12	7
done	12	7
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	7	17
1	11	7
2	12	7
done	12	7
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	6	11
1	8	4
2	9	4
done	9	4
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	6	11
1	8	4
2	9	4
done	9	4
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	4	9
1	6	1
done	6	1
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	4	9
1	6	1
done	6	1
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	11	25
1	14	11
2	15	11
done	15	11
0	10	19
1	15	8
2	19	8
3	21	8
done	21	8
0	10	19
1	11	8
2	12	8
done	12	8
0	10	19
1	15	8
2	19	8
3	21	8
done	21	8
0	9	17
1	12	5
2	17	5
3	21	5
4	26	5
done	26	5
0	9	17
1	14	7
2	18	7
3	20	7
done	20	7
0	7	17
1	11	7
2	12	7
done	12	7
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	7	17
1	11	7
2	12	7
done	12	7
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	6	11
1	8	4
2	9	4
done	9	4
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	6	11
1	8	4
2	9	4
done	9	4
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	4	9
1	6	1
done	6	1
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	4	9
1	6	1
done	6	1
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	3	5
1	5	1
done	5	1
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	5	9
1	7	3
2	9	3
done	9	3
0	5	9
1	7	3
2	8	3
done	8	3
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	2	3
1	4	1
done	4	1
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	9	17
1	11	7
2	13	7
done	13	7
0	9	17
1	11	7
2	13	7
done	13	7
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	12	16
1	18	16
2	21	16
3	23	16
done	23	16
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	8	15
1	13	6
2	17	6
3	19	6
done	19	6
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	9	22
1	17	22
2	22	22
3	24	22
done	24	22
0	10	21
1	17	14
2	20	14
3	22	14
done	22	14
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	13	23
1	25	23
2	38	15
3	46	15
done	46	15
0	12	20
1	20	20
2	25	20
3	28	20
done	28	20
0	12	19
1	22	17
2	32	12
3	39	12
done	39	12
0	12	18
1	20	18
2	23	18
3	25	18
done	25	18
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	11	14
1	19	12
2	24	12
3	26	12
done	26	12
0	12	15
1	22	15
2	25	15
3	27	15
done	27	15
0	11	12
1	19	12
2	22	12
3	24	12
done	24	12
0	10	11
1	18	8
2	21	8
3	23	6
4	26	6
done	26	6
0	14	19
1	23	19
2	26	19
3	28	19
done	28	19
0	13	16
1	20	16
2	23	16
3	25	16
done	25	16
0	13	15
1	22	13
2	27	13
3	29	13
done	29	13
0	12	15
1	22	15
2	25	15
3	27	15
done	27	15
0	11	12
1	19	12
2	22	12
3	24	12
done	24	12
0	10	11
1	18	8
2	21	8
3	23	6
4	26	6
done	26	6
0	9	9
1	17	8
2	20	8
3	22	6
4	25	6
done	25	6
0	8	11
1	14	11
2	17	11
3	19	11
done	19	11
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	8	8
1	16	6
2	22	6
3	24	6
done	24	6
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	9	14
1	15	14
2	18	14
3	20	14
done	20	14
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	10	14
1	16	14
2	19	14
3	21	14
done	21	14
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	11	15
1	17	15
2	20	15
3	22	15
done	22	15
0	10	14
1	16	14
2	19	14
3	21	14
done	21	14
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	13	16
1	24	16
2	30	16
3	34	16
done	34	16
0	13	16
1	24	16
2	30	16
3	34	16
done	34	16
0	12	15
1	23	15
2	29	15
3	33	15
done	33	15
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	10	14
1	19	14
2	24	14
3	28	14
done	28	14
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	10	11
1	18	11
2	21	11
3	23	11
done	23	11
0	8	14
1	14	14
2	17	14
3	19	14
done	19	14
0	7	13
1	12	5
2	16	5
3	18	5
done	18	5
0	8	11
1	14	11
2	17	11
3	19	11
done	19	11
0	8	11
1	14	11
2	17	11
3	19	11
done	19	11
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	11	13
1	22	13
2	49	13
3	106	13
4	220	9
5	308	9
6	326	9
7	328	9
8	330	9
9	331	9
done	331	9
0	1	1
done	1	1
0	1	1
done	1	1
0	11	13
1	22	13
2	49	13
3	106	13
4	220	9
5	308	9
6	326	9
7	328	9
8	330	9
9	331	9
done	331	9
0	1	1
done	1	1
0	1	1
done	1	1
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	15	19
1	39	19
2	141	19
3	581	19
4	4093	19
done	5000	19
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune182.0ms

Filtered

145 candidates to 223 candidates (-53.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	223	0	223
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	223	3	226

Merged error: 0b

Counts

226 → 3

regimes142.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample701.0ms

Algorithm

intervals

Results

293.0ms

10040×

body

valid

Details

sample25.0ms

simplify113.0ms

prune3.0ms

localize6.0ms

rewrite21.0ms

series24.0ms

simplify13.4s

prune69.0ms

localize10.0ms

rewrite41.0ms

series14.0ms

simplify22.8s

prune54.0ms

localize10.0ms

rewrite51.0ms

series175.0ms

simplify1.1min

prune185.0ms

localize8.0ms

rewrite63.0ms

series89.0ms

simplify56.5s

prune182.0ms

regimes142.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample701.0ms

Profiling