Details

sample28.0ms

Algorithm

intervals

Results

9.0ms

281×

body

valid

simplify108.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9

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: 2.5b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- x y) (- z y))
2.4b	(* (/ (- x y) (- z y)) t)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
70×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-l`
26×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
5×	`associate-/r` `associate-/l`
4×	`pow1` `associate-/r/`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative`

Counts

2 → 102

Calls

2 calls:

9.0ms	(/ (- x y) (- z y))
13.0ms	(* (/ (- x y) (- z y)) t)

series41.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(/ (- x y) (- z y))
29.0ms	(* (/ (- x y) (- z y)) t)

simplify37.3s

Counts

108 → 108

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	19	12
2	31	12
3	40	12
4	49	12
5	54	12
6	63	12
7	80	12
8	99	12
9	107	12
done	107	12
0	10	11
1	20	11
2	30	11
3	41	11
4	51	11
5	60	11
6	65	11
7	74	11
8	91	11
9	110	11
10	118	11
done	118	11
0	9	10
1	21	10
2	34	10
3	68	10
4	103	10
5	141	10
6	170	10
7	198	10
8	232	10
9	249	10
10	265	10
11	267	10
done	267	10
0	9	10
1	20	10
2	36	10
3	70	10
4	125	10
5	244	10
6	499	10
7	1222	10
8	4369	10
done	5001	10
0	14	29
1	32	29
2	138	15
3	608	13
4	2689	13
done	5000	13
0	12	29
1	31	29
2	96	13
3	365	13
4	1630	11
done	5001	11
0	10	21
1	19	21
2	26	21
3	50	21
4	69	21
5	94	21
6	111	21
7	127	21
8	138	21
9	143	21
done	143	21
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	29
1	29	29
2	87	11
3	399	11
4	1830	11
done	5000	11
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	10	13
1	21	13
2	33	13
3	69	13
4	130	13
5	203	13
6	278	13
7	349	13
8	400	13
9	421	13
10	433	13
11	449	13
12	455	13
13	461	13
14	463	13
done	463	13
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	8	9
1	19	7
2	33	7
3	58	7
4	84	7
5	115	7
6	146	7
7	195	7
8	285	7
9	404	7
10	664	7
11	855	7
12	1238	7
13	1977	7
14	2311	7
15	2525	7
16	2535	7
done	2535	7
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	11	13
1	20	13
2	27	13
3	51	13
4	70	13
5	95	13
6	112	13
7	128	13
8	139	13
9	144	13
done	144	13
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	13	9
2	16	9
done	16	9
0	7	8
1	16	8
2	22	8
3	25	8
done	25	8
0	7	8
1	13	8
2	20	8
3	24	8
4	27	8
5	33	8
6	37	8
7	53	8
8	57	8
9	64	8
10	73	8
11	93	8
12	114	8
13	127	8
14	134	8
15	140	8
16	143	8
done	143	8
0	10	23
1	22	23
2	83	11
3	258	9
4	752	9
5	2785	9
done	5000	9
0	8	17
1	14	17
2	18	17
3	20	17
done	20	17
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	23
1	21	23
2	53	9
3	185	9
4	609	9
5	1954	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	5	5
1	7	5
2	8	5
done	8	5
0	4	5
1	6	5
2	7	5
done	7	5
0	10	19
1	19	19
2	30	19
3	36	19
done	36	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	14
1	14	14
2	18	14
3	19	14
done	19	14
0	8	9
1	11	9
2	13	9
done	13	9
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	15
1	15	15
2	18	15
3	19	15
done	19	15
0	9	10
1	13	10
2	15	10
done	15	10
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	7	8
1	10	8
2	12	8
done	12	8
0	9	14
1	14	14
2	16	14
done	16	14
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	13	10
2	15	10
done	15	10
0	6	6
1	10	4
2	13	4
done	13	4
0	7	8
1	10	8
2	12	8
done	12	8
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	10	15
1	15	15
2	16	15
done	16	15
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	12	10
2	13	10
done	13	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	9	11
1	11	11
done	11	11
0	9	11
1	15	11
2	19	11
3	21	11
done	21	11
0	7	7
1	10	5
2	12	5
done	12	5
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	7	11
1	13	11
2	14	11
done	14	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	6
1	10	6
2	11	6
done	11	6
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	7	7
1	10	7
done	10	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	2	3
1	4	1
done	4	1
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	13
1	16	13
2	25	13
3	30	13
4	33	13
done	33	13
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	14	9
2	17	9
3	19	9
done	19	9
0	5	5
1	12	3
2	17	3
done	17	3
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	8	9
1	15	9
2	19	9
3	21	9
done	21	9
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7
0	9	11
1	29	11
2	53	11
3	95	11
4	200	11
5	580	11
6	2464	11
done	5000	11
0	8	11
1	18	11
2	33	11
3	59	11
4	92	11
5	135	11
6	200	11
7	368	11
8	1645	11
done	5000	11
0	10	15
1	26	13
2	74	13
3	211	13
4	488	13
5	1206	13
6	2670	13
done	5000	13
0	6	7
1	16	7
2	36	7
3	61	7
4	104	7
5	160	7
6	246	7
7	442	7
8	752	7
9	865	7
10	882	7
done	882	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune130.0ms

Filtered

76 candidates to 108 candidates (-42.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	103	6	109

Merged error: 0.0b

Counts

109 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

2.4b	(* (/ (- x y) (- z y)) t)
5.8b	(cbrt (* (/ (- x y) (- z y)) t))
5.8b	(cbrt (* (/ (- x y) (- z y)) t))
5.8b	(cbrt (* (/ (- x y) (- z y)) t))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
36×	`*-un-lft-identity`
31×	`associate-l`
26×	`times-frac`
16×	`add-cube-cbrt`
10×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`associate-*l/` `add-log-exp`
3×	`cbrt-prod` `cbrt-div` `pow1/3` `associate-r`
2×	`prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `flip3--` `div-exp` `pow-prod-down` `*-commutative` `flip--` `div-inv`

Counts

4 → 80

Calls

4 calls:

15.0ms	(* (/ (- x y) (- z y)) t)
9.0ms	(cbrt (* (/ (- x y) (- z y)) t))
10.0ms	(cbrt (* (/ (- x y) (- z y)) t))
9.0ms	(cbrt (* (/ (- x y) (- z y)) t))

series327.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (/ (- x y) (- z y)) t)
99.0ms	(cbrt (* (/ (- x y) (- z y)) t))
100.0ms	(cbrt (* (/ (- x y) (- z y)) t))
100.0ms	(cbrt (* (/ (- x y) (- z y)) t))

simplify48.7s

Counts

92 → 92

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
done	2	2
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	6	4
2	7	4
done	7	4
0	11	23
1	20	23
2	27	23
3	51	23
4	70	23
5	95	23
6	112	23
7	128	23
8	139	23
9	144	23
done	144	23
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	11	32
1	21	32
2	30	12
3	59	9
4	84	9
5	119	9
6	157	9
7	233	9
8	458	9
9	1375	9
done	5000	9
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
done	2	2
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	6	4
2	7	4
done	7	4
0	11	23
1	20	23
2	27	23
3	51	23
4	70	23
5	95	23
6	112	23
7	128	23
8	139	23
9	144	23
done	144	23
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	11	32
1	21	32
2	30	12
3	59	9
4	84	9
5	119	9
6	157	9
7	233	9
8	458	9
9	1375	9
done	5000	9
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
done	2	2
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	6	4
2	7	4
done	7	4
0	11	23
1	20	23
2	27	23
3	51	23
4	70	23
5	95	23
6	112	23
7	128	23
8	139	23
9	144	23
done	144	23
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	11	32
1	21	32
2	30	12
3	59	9
4	84	9
5	119	9
6	157	9
7	233	9
8	458	9
9	1375	9
done	5000	9
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	19	12
2	31	12
3	40	12
4	49	12
5	54	12
6	63	12
7	80	12
8	99	12
9	107	12
done	107	12
0	10	11
1	20	11
2	30	11
3	41	11
4	51	11
5	60	11
6	65	11
7	74	11
8	91	11
9	110	11
10	118	11
done	118	11
0	9	10
1	21	10
2	34	10
3	68	10
4	103	10
5	141	10
6	170	10
7	198	10
8	232	10
9	249	10
10	265	10
11	267	10
done	267	10
0	9	10
1	20	10
2	36	10
3	70	10
4	125	10
5	244	10
6	499	10
7	1222	10
8	4369	10
done	5001	10
0	14	29
1	32	29
2	138	15
3	608	13
4	2689	13
done	5000	13
0	12	29
1	31	29
2	96	13
3	365	13
4	1630	11
done	5001	11
0	10	21
1	19	21
2	26	21
3	50	21
4	69	21
5	94	21
6	111	21
7	127	21
8	138	21
9	143	21
done	143	21
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	29
1	29	29
2	87	11
3	399	11
4	1830	11
done	5000	11
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	10	13
1	21	13
2	33	13
3	69	13
4	130	13
5	203	13
6	278	13
7	349	13
8	400	13
9	421	13
10	433	13
11	449	13
12	455	13
13	461	13
14	463	13
done	463	13
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	8	9
1	19	7
2	33	7
3	58	7
4	84	7
5	115	7
6	146	7
7	195	7
8	285	7
9	404	7
10	664	7
11	855	7
12	1238	7
13	1977	7
14	2311	7
15	2525	7
16	2535	7
done	2535	7
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	11	13
1	20	13
2	27	13
3	51	13
4	70	13
5	95	13
6	112	13
7	128	13
8	139	13
9	144	13
done	144	13
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	37	61
1	89	58
2	230	58
3	683	53
4	2087	40
done	5000	40
0	18	20
1	41	17
2	109	15
3	362	13
4	973	11
5	2403	7
done	5000	7
0	19	23
1	37	23
2	101	23
3	371	22
4	1604	17
done	5000	16
0	37	61
1	89	58
2	230	58
3	683	53
4	2087	40
done	5000	40
0	18	20
1	41	17
2	109	15
3	362	13
4	973	11
5	2403	7
done	5000	7
0	19	23
1	37	23
2	101	23
3	371	22
4	1604	17
done	5000	16
0	37	61
1	89	58
2	230	58
3	683	53
4	2087	40
done	5000	40
0	18	20
1	41	17
2	109	15
3	362	13
4	973	11
5	2403	7
done	5000	7
0	19	23
1	37	23
2	101	23
3	371	22
4	1604	17
done	5000	16
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune138.0ms

Filtered

74 candidates to 92 candidates (-24.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	90	8	98

Merged error: 0b

Counts

98 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

2.4b	(* (/ (- x y) (- z y)) t)
4.8b	(cbrt (/ (- x y) (- z y)))
5.8b	(cbrt (* (/ (- x y) (- z y)) t))
5.8b	(cbrt (* (/ (- x y) (- z y)) t))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

72×	`add-sqr-sqrt`
67×	`*-un-lft-identity`
51×	`times-frac`
33×	`cbrt-prod`
31×	`associate-l`
27×	`add-cube-cbrt`
20×	`distribute-lft-out--` `difference-of-squares`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`associate-/r/` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-r` `associate-*l/`
2×	`flip3--` `prod-exp` `flip--` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative`

Counts

4 → 110

Calls

4 calls:

14.0ms	(* (/ (- x y) (- z y)) t)
8.0ms	(cbrt (/ (- x y) (- z y)))
10.0ms	(cbrt (* (/ (- x y) (- z y)) t))
10.0ms	(cbrt (* (/ (- x y) (- z y)) t))

series304.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (/ (- x y) (- z y)) t)
73.0ms	(cbrt (/ (- x y) (- z y)))
98.0ms	(cbrt (* (/ (- x y) (- z y)) t))
106.0ms	(cbrt (* (/ (- x y) (- z y)) t))

simplify1.0min

Counts

122 → 122

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
done	2	2
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	6	4
2	7	4
done	7	4
0	11	23
1	20	23
2	27	23
3	51	23
4	70	23
5	95	23
6	112	23
7	128	23
8	139	23
9	144	23
done	144	23
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	11	32
1	21	32
2	30	12
3	59	9
4	84	9
5	119	9
6	157	9
7	233	9
8	458	9
9	1375	9
done	5000	9
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
done	2	2
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	6	4
2	7	4
done	7	4
0	11	23
1	20	23
2	27	23
3	51	23
4	70	23
5	95	23
6	112	23
7	128	23
8	139	23
9	144	23
done	144	23
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	11	32
1	21	32
2	30	12
3	59	9
4	84	9
5	119	9
6	157	9
7	233	9
8	458	9
9	1375	9
done	5000	9
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	10	11
1	19	11
2	26	11
3	50	11
4	69	11
5	94	11
6	111	11
7	127	11
8	138	11
9	143	11
done	143	11
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	18
1	15	18
2	19	18
3	21	18
done	21	18
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	11	20
1	20	20
2	31	20
3	37	20
done	37	20
0	9	10
1	12	10
2	14	10
done	14	10
0	10	15
1	15	15
2	19	15
3	20	15
done	20	15
0	9	10
1	12	10
2	14	10
done	14	10
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	8	9
1	11	9
2	13	9
done	13	9
0	11	16
1	16	16
2	19	16
3	20	16
done	20	16
0	10	11
1	14	11
2	16	11
done	16	11
0	8	12
1	14	10
2	21	10
3	26	10
done	26	10
0	8	9
1	11	9
2	13	9
done	13	9
0	10	15
1	15	15
2	17	15
done	17	15
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	14	11
2	16	11
done	16	11
0	7	7
1	11	5
2	14	5
done	14	5
0	8	9
1	11	9
2	13	9
done	13	9
0	8	12
1	14	12
2	15	12
done	15	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	11	16
1	16	16
2	17	16
done	17	16
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	13	11
2	14	11
done	14	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	8	8
1	11	6
2	13	6
done	13	6
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	12
1	12	12
done	12	12
0	10	12
1	16	12
2	20	12
3	22	12
done	22	12
0	8	8
1	11	6
2	13	6
done	13	6
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	8	12
1	14	12
2	15	12
done	15	12
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	7	7
1	11	7
2	12	7
done	12	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	8	8
1	11	8
done	11	8
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	3	4
1	5	1
done	5	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	2	2
1	4	1
done	4	1
0	7	8
1	13	8
2	17	8
3	19	8
done	19	8
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	10	6
2	11	6
done	11	6
0	10	12
1	30	12
2	54	12
3	96	12
4	202	12
5	588	12
6	2485	12
done	5001	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	9	12
1	19	12
2	34	12
3	60	12
4	93	12
5	136	12
6	201	12
7	369	12
8	1654	12
done	5000	12
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	9	19
1	15	19
2	19	19
3	21	19
done	21	19
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	9	26
1	16	26
2	22	10
3	29	7
4	35	7
5	45	7
6	66	7
7	131	7
8	348	7
9	1269	7
done	5000	7
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	14	9
2	18	9
3	20	9
done	20	9
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	19	12
2	31	12
3	40	12
4	49	12
5	54	12
6	63	12
7	80	12
8	99	12
9	107	12
done	107	12
0	10	11
1	20	11
2	30	11
3	41	11
4	51	11
5	60	11
6	65	11
7	74	11
8	91	11
9	110	11
10	118	11
done	118	11
0	9	10
1	21	10
2	34	10
3	68	10
4	103	10
5	141	10
6	170	10
7	198	10
8	232	10
9	249	10
10	265	10
11	267	10
done	267	10
0	9	10
1	20	10
2	36	10
3	70	10
4	125	10
5	244	10
6	499	10
7	1222	10
8	4369	10
done	5001	10
0	14	29
1	32	29
2	138	15
3	608	13
4	2689	13
done	5000	13
0	12	29
1	31	29
2	96	13
3	365	13
4	1630	11
done	5001	11
0	10	21
1	19	21
2	26	21
3	50	21
4	69	21
5	94	21
6	111	21
7	127	21
8	138	21
9	143	21
done	143	21
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	29
1	29	29
2	87	11
3	399	11
4	1830	11
done	5000	11
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	10	11
1	17	11
2	21	11
3	23	11
done	23	11
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	24	12
4	26	12
5	27	12
done	27	12
0	10	13
1	21	13
2	33	13
3	69	13
4	130	13
5	203	13
6	278	13
7	349	13
8	400	13
9	421	13
10	433	13
11	449	13
12	455	13
13	461	13
14	463	13
done	463	13
0	9	10
1	18	10
2	25	10
3	49	10
4	68	10
5	93	10
6	110	10
7	126	10
8	137	10
9	142	10
done	142	10
0	8	9
1	19	7
2	33	7
3	58	7
4	84	7
5	115	7
6	146	7
7	195	7
8	285	7
9	404	7
10	664	7
11	855	7
12	1238	7
13	1977	7
14	2311	7
15	2525	7
16	2535	7
done	2535	7
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	9	10
1	16	10
2	20	10
3	22	10
done	22	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	10	11
1	16	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	11	12
1	18	12
2	23	12
3	28	12
4	35	12
5	40	12
6	42	12
done	42	12
0	9	10
1	15	10
2	20	10
3	25	10
4	32	10
5	37	10
6	39	10
done	39	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	11	12
1	21	12
2	28	12
3	49	12
4	63	12
5	84	12
6	93	12
7	99	12
8	100	12
done	100	12
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	11	13
1	20	13
2	27	13
3	51	13
4	70	13
5	95	13
6	112	13
7	128	13
8	139	13
9	144	13
done	144	13
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	9	10
1	18	10
2	25	10
3	46	10
4	60	10
5	81	10
6	90	10
7	96	10
8	97	10
done	97	10
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	10	11
1	20	11
2	27	11
3	51	11
4	70	11
5	95	11
6	112	11
7	128	11
8	137	11
9	141	11
done	141	11
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	8	9
1	17	9
2	24	9
3	48	9
4	67	9
5	92	9
6	109	9
7	125	9
8	136	9
9	141	9
done	141	9
0	7	7
1	14	7
2	18	5
3	21	5
4	23	5
5	25	5
done	25	5
0	9	13
1	17	11
2	39	11
3	73	11
4	86	11
5	88	11
done	88	11
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	37	61
1	89	58
2	230	58
3	683	53
4	2087	40
done	5000	40
0	18	20
1	41	17
2	109	15
3	362	13
4	973	11
5	2403	7
done	5000	7
0	19	23
1	37	23
2	101	23
3	371	22
4	1604	17
done	5000	16
0	37	61
1	89	58
2	230	58
3	683	53
4	2087	40
done	5000	40
0	18	20
1	41	17
2	109	15
3	362	13
4	973	11
5	2403	7
done	5000	7
0	19	23
1	37	23
2	101	23
3	371	22
4	1604	17
done	5000	16
0	32	49
1	74	49
2	173	49
3	437	46
4	1135	32
5	3640	29
done	5000	29
0	14	15
1	31	13
2	69	11
3	191	10
4	453	8
5	972	5
6	2087	5
done	5000	5
0	13	15
1	25	15
2	64	15
3	189	14
4	574	8
5	1683	5
6	4945	5
done	5000	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune167.0ms

Filtered

93 candidates to 122 candidates (-31.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	122	8	130

Merged error: 0b

Counts

130 → 8

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ t (- z y))
11.7b	(* (- x y) (/ t (- z y)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt`
38×	`*-un-lft-identity`
31×	`times-frac`
22×	`add-cube-cbrt`
21×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-l` `associate-/r*`
4×	`pow1` `flip3--` `associate-/r/` `flip--`
3×	`associate-/l*`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 83

Calls

2 calls:

6.0ms	(/ t (- z y))
15.0ms	(* (- x y) (/ t (- z y)))

series27.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/ t (- z y))
19.0ms	(* (- x y) (/ t (- z y)))

simplify49.5s

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	25	9
3	52	9
4	80	9
5	106	9
6	126	9
7	137	9
8	142	9
9	144	9
done	144	9
0	11	12
1	19	12
2	28	12
3	37	12
4	43	12
5	53	12
6	60	12
7	72	12
8	95	12
9	109	12
10	115	12
done	115	12
0	10	11
1	17	11
2	25	11
3	34	11
4	44	11
5	53	11
6	58	11
7	67	11
8	84	11
9	103	11
10	111	11
done	111	11
0	9	10
1	18	10
2	35	10
3	72	10
4	119	10
5	158	10
6	190	10
7	219	10
8	240	10
9	249	10
10	266	10
11	268	10
done	268	10
0	9	10
1	17	10
2	39	10
3	82	10
4	168	10
5	320	10
6	686	10
7	2106	10
done	5000	10
0	14	29
1	32	29
2	136	15
3	615	13
4	3022	13
done	5000	13
0	12	29
1	28	29
2	91	13
3	340	13
4	1611	11
done	5000	11
0	10	21
1	16	21
2	27	21
3	54	21
4	82	21
5	108	21
6	128	21
7	139	21
8	144	21
9	146	21
done	146	21
0	9	10
1	15	10
2	26	10
3	53	10
4	81	10
5	107	10
6	127	10
7	138	10
8	143	10
9	145	10
done	145	10
0	10	29
1	26	29
2	106	11
3	533	11
4	2326	11
done	5001	11
0	9	10
1	15	10
2	26	10
3	53	10
4	81	10
5	107	10
6	127	10
7	138	10
8	143	10
9	145	10
done	145	10
0	9	10
1	15	10
2	26	10
3	53	10
4	81	10
5	107	10
6	127	10
7	138	10
8	143	10
9	145	10
done	145	10
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	10	15
1	20	13
2	49	13
3	152	13
4	373	13
5	965	13
6	2117	13
7	4421	13
done	5000	13
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	6	7
1	10	7
2	25	7
3	54	7
4	100	7
5	149	7
6	200	7
7	302	7
8	512	7
9	838	7
10	952	7
11	960	7
done	960	7
0	10	11
1	14	11
2	16	11
done	16	11
0	10	11
1	14	11
2	16	11
done	16	11
0	11	12
1	17	12
2	22	12
3	26	12
4	27	12
done	27	12
0	11	12
1	17	12
2	22	12
3	26	12
4	27	12
done	27	12
0	10	17
1	16	17
2	26	17
3	43	17
4	57	17
5	67	17
done	67	17
0	9	10
1	13	10
2	21	10
3	26	10
4	30	10
done	30	10
0	12	19
1	24	19
2	61	19
3	165	19
4	352	19
5	577	19
6	745	19
7	787	19
8	789	19
done	789	19
0	11	14
1	19	14
2	37	14
3	90	14
4	166	14
5	231	14
6	280	14
7	285	14
done	285	14
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	12	15
1	20	15
2	37	15
3	90	15
4	166	15
5	229	15
6	278	15
7	283	15
done	283	15
0	9	11
1	18	9
2	42	9
3	113	9
4	207	9
5	316	9
6	377	9
7	411	9
done	411	9
0	11	16
1	19	16
2	38	16
3	86	16
4	145	16
5	210	16
6	245	16
7	252	16
done	252	16
0	10	11
1	16	11
2	27	11
3	51	11
4	74	11
5	90	11
6	101	11
done	101	11
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	11	12
1	17	12
2	27	12
3	51	12
4	74	12
5	90	12
6	101	12
done	101	12
0	8	8
1	15	6
2	29	6
3	48	6
4	72	6
5	106	6
6	131	6
7	137	6
done	137	6
0	10	15
1	20	15
2	38	13
3	103	13
4	206	13
5	281	13
6	354	13
7	384	13
8	402	13
9	404	13
done	404	13
0	9	10
1	17	10
2	28	8
3	63	8
4	105	8
5	133	8
6	152	8
7	154	8
8	155	8
done	155	8
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	10	11
1	18	11
2	28	9
3	63	9
4	105	9
5	132	9
6	151	9
7	153	9
8	154	9
done	154	9
0	6	7
1	13	5
2	25	3
3	43	3
4	54	3
5	58	3
done	58	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	31	13
2	62	13
3	133	13
4	338	13
5	1127	13
done	5001	13
0	10	13
1	20	13
2	43	13
3	117	13
4	251	13
5	460	13
6	708	13
7	1185	13
8	3127	13
done	5000	13
0	9	10
1	15	10
2	20	10
3	27	10
4	33	10
5	37	10
6	39	10
done	39	10
0	9	10
1	15	10
2	20	10
3	27	10
4	33	10
5	37	10
6	39	10
done	39	10
0	8	9
1	14	9
2	25	9
3	52	9
4	80	9
5	106	9
6	126	9
7	137	9
8	142	9
9	144	9
done	144	9
0	10	11
1	17	11
2	28	11
3	55	11
4	83	11
5	109	11
6	129	11
7	138	11
8	142	11
9	144	11
done	144	11
0	8	9
1	14	9
2	25	9
3	52	9
4	80	9
5	106	9
6	126	9
7	137	9
8	142	9
9	144	9
done	144	9
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	11	13
1	31	13
2	62	13
3	169	13
4	509	13
5	1863	13
done	5001	13
0	10	13
1	20	13
2	42	13
3	124	13
4	327	13
5	622	13
6	1086	13
7	1925	13
done	5000	13
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	11	6
2	14	6
3	15	6
done	15	6
0	6	6
1	8	6
2	9	6
done	9	6
0	9	17
1	20	17
2	65	9
3	173	7
4	394	7
5	1087	7
6	3797	7
done	5000	7
0	7	13
1	9	13
2	10	13
done	10	13
0	6	6
1	8	6
2	9	6
done	9	6
0	7	17
1	16	17
2	33	7
3	77	7
4	173	7
5	423	7
6	1031	7
7	3017	7
done	5001	7
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	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	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	10
1	12	10
2	15	10
3	16	10
done	16	10
0	7	7
1	9	7
2	10	7
done	10	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	9	11
1	12	11
2	14	11
3	15	11
done	15	11
0	8	8
1	10	8
2	11	8
done	11	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	8	6
2	9	6
done	9	6
0	8	12
1	12	12
2	13	12
done	13	12
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	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	11	8
done	11	8
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	8	6
2	9	6
done	9	6
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	7	11
1	11	11
2	12	11
done	12	11
0	6	6
1	8	6
2	9	6
done	9	6
0	3	3
1	5	1
done	5	1
0	7	7
1	8	7
done	8	7
0	3	3
1	5	1
done	5	1
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	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	8	9
1	23	9
2	45	9
3	81	9
4	173	9
5	521	9
6	2320	9
done	5001	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune88.0ms

Filtered

68 candidates to 89 candidates (-30.9%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	88	1	89
Fresh	1	3	4
Picked	0	1	1
Done	0	3	3
Total	89	8	97

Merged error: 0b

Counts

97 → 8

regimes566.0ms

Accuracy

-5.6% (2.4b remaining)

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

bsearch40.0ms

Steps

Iters	Range		Point
8	1.5769290227535393e-203	1.8746367512839153e-200	7.187391726629255e-201
6	7.4669008262593735e-289	3.215626611606701e-288	9.057244740406683e-289

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	35
1	21	27
done	21	27

end0.0ms

sample802.0ms

Algorithm

intervals

Results

308.0ms

8750×

body

valid

Details

sample28.0ms

simplify108.0ms

prune3.0ms

localize7.0ms

rewrite28.0ms

series41.0ms

simplify37.3s

prune130.0ms

localize12.0ms

rewrite47.0ms

series327.0ms

simplify48.7s

prune138.0ms

localize20.0ms

rewrite48.0ms

series304.0ms

simplify1.0min

prune167.0ms

localize7.0ms

rewrite25.0ms

series27.0ms

simplify49.5s

prune88.0ms

regimes566.0ms

bsearch40.0ms

simplify2.0ms

end0.0ms

sample802.0ms

Profiling