Details

sample48.0ms

Algorithm

intervals

Results

15.0ms	279×	body	80	valid
5.0ms	95×	body	80	nan

simplify57.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	21	14
2	44	14
3	65	14
4	89	14
5	102	14
done	102	14

prune4.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: 24.3b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (* z z) (* t a))
6.2b	(* (* x y) z)
8.6b	(/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
25.8b	(sqrt (- (* z z) (* t a)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log` `add-cbrt-cube`
11×	`add-sqr-sqrt`
10×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
9×	`sqrt-prod`
6×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod` `add-log-exp`
4×	`sqrt-div`
3×	`cbrt-undiv` `flip3--` `div-exp` `associate-r` `pow-prod-down` `flip--`
2×	`associate-/r/`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `associate-l` `clear-num` `-commutative` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

4.0ms	(- (* z z) (* t a))
5.0ms	(* (* x y) z)
11.0ms	(/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
8.0ms	(sqrt (- (* z z) (* t a)))

series64.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* z z) (* t a))
6.0ms	(* (* x y) z)
35.0ms	(/ (* (* x y) z) (sqrt (- (* z z) (* t a))))
14.0ms	(sqrt (- (* z z) (* t a)))

simplify1.3min

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	16	18
1	27	18
2	55	18
3	92	18
4	121	18
5	156	18
6	220	18
7	400	18
8	477	18
9	569	18
10	639	18
done	639	18
0	15	17
1	27	17
2	48	17
3	82	17
4	114	17
5	148	17
6	211	17
7	390	17
8	467	17
9	561	17
10	630	17
done	630	17
0	14	16
1	26	16
2	51	16
3	84	16
4	130	16
5	150	16
6	185	16
7	248	16
8	428	16
9	505	16
10	598	16
11	666	16
done	666	16
0	13	15
1	25	15
2	59	15
3	111	15
4	217	15
5	313	15
6	406	15
7	520	15
8	583	15
9	655	15
10	725	15
done	725	15
0	13	15
1	22	15
2	45	15
3	66	15
4	104	15
5	151	15
6	250	15
7	509	15
8	1168	15
9	2966	15
done	5001	15
0	19	44
1	43	34
2	207	22
3	1393	22
done	5001	22
0	17	44
1	45	34
2	204	20
3	1452	20
done	5000	20
0	16	44
1	40	34
2	205	18
3	1670	16
done	5000	16
0	14	31
1	23	31
2	46	31
3	65	31
4	89	31
5	102	31
done	102	31
0	13	15
1	22	15
2	45	15
3	64	15
4	88	15
5	101	15
done	101	15
0	14	44
1	30	44
2	96	16
3	468	16
4	3391	16
done	5000	16
0	13	15
1	22	15
2	45	15
3	64	15
4	88	15
5	101	15
done	101	15
0	13	15
1	22	15
2	45	15
3	64	15
4	88	15
5	101	15
done	101	15
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	8	9
1	11	9
2	18	9
done	18	9
0	13	23
1	24	23
2	45	23
3	58	23
4	62	23
done	62	23
0	9	11
1	12	11
2	19	11
done	19	11
0	13	22
1	20	13
2	31	13
3	34	13
4	35	13
done	35	13
0	9	11
1	12	11
2	19	11
done	19	11
0	12	13
1	18	13
2	29	13
3	32	13
4	33	13
done	33	13
0	9	11
1	12	11
2	19	11
done	19	11
0	6	6
1	11	5
2	15	5
3	18	3
4	26	3
5	32	3
done	32	3
0	8	10
1	11	10
2	18	10
done	18	10
0	12	13
1	18	13
2	29	13
3	32	13
4	33	13
done	33	13
0	9	11
1	12	11
2	19	11
done	19	11
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	8	10
1	11	10
2	18	10
done	18	10
0	9	10
1	14	10
2	21	10
done	21	10
0	12	14
1	21	14
2	41	14
3	52	14
4	54	14
done	54	14
0	14	25
1	28	25
2	70	25
3	143	25
4	247	25
5	279	25
done	279	25
0	14	24
1	24	15
2	47	15
3	66	15
4	90	15
5	103	15
done	103	15
0	13	15
1	22	15
2	45	15
3	64	15
4	88	15
5	101	15
done	101	15
0	8	8
1	16	7
2	32	7
3	51	5
4	107	5
5	179	5
done	179	5
0	13	15
1	22	15
2	45	15
3	64	15
4	88	15
5	101	15
done	101	15
0	7	7
1	15	5
2	35	5
3	71	5
4	136	5
5	176	5
done	176	5
0	8	10
1	11	10
2	18	10
done	18	10
0	15	18
1	42	18
2	131	16
3	372	16
4	913	16
5	2362	16
done	5000	16
0	14	22
1	37	22
2	85	20
3	170	18
4	266	18
5	431	18
6	668	18
7	1328	18
8	4655	18
done	5000	18
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	5	5
1	10	4
2	22	4
done	22	4
0	1	1
done	1	1
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7

prune170.0ms

Filtered

70 candidates to 88 candidates (-25.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	80	8	88
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	9	89

Merged error: 1.9b

Counts

89 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (sqrt (- (* z z) (* t a))) z)
1.0b	(- (* z z) (* t a))
2.4b	(/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))
25.8b	(sqrt (- (* z z) (* t a)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

76×	`times-frac`
47×	`add-sqr-sqrt`
46×	`add-cube-cbrt` `*-un-lft-identity`
33×	`sqrt-prod`
25×	`associate-/r*`
18×	`add-exp-log` `add-cbrt-cube`
7×	`cbrt-undiv` `div-exp` `associate-/l*`
6×	`add-log-exp`
5×	`pow1`
4×	`sqrt-div` `div-inv`
3×	`flip3--` `flip--`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/`
1×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log` `associate-/r/`

Counts

4 → 132

Calls

4 calls:

8.0ms	(/ (sqrt (- (* z z) (* t a))) z)
5.0ms	(- (* z z) (* t a))
11.0ms	(/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))
4.0ms	(sqrt (- (* z z) (* t a)))

series79.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ (sqrt (- (* z z) (* t a))) z)
8.0ms	(- (* z z) (* t a))
40.0ms	(/ (* x y) (/ (sqrt (- (* z z) (* t a))) z))
15.0ms	(sqrt (- (* z z) (* t a)))

simplify1.2min

Counts

144 → 144

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	16	18
1	28	18
2	55	18
3	95	18
4	143	18
5	214	18
6	337	18
7	479	18
8	503	18
done	503	18
0	15	17
1	26	17
2	46	17
3	69	17
4	121	17
5	181	17
6	274	17
7	397	17
8	502	17
9	507	17
done	507	17
0	15	17
1	28	17
2	50	17
3	86	17
4	128	17
5	182	17
6	281	17
7	440	17
8	487	17
9	489	17
done	489	17
0	14	16
1	26	16
2	43	16
3	65	16
4	106	16
5	154	16
6	225	16
7	348	16
8	490	16
9	514	16
done	514	16
0	13	15
1	24	15
2	57	15
3	106	15
4	195	15
5	313	15
6	398	15
7	516	15
8	595	15
9	692	15
done	692	15
0	13	15
1	21	15
2	43	15
3	71	15
4	115	15
5	189	15
6	365	15
7	847	15
8	2180	15
done	5000	15
0	19	44
1	42	34
2	202	22
3	1362	20
done	5000	20
0	18	44
1	42	44
2	171	20
3	934	20
done	5000	20
0	17	44
1	44	34
2	199	20
3	1417	18
done	5000	18
0	16	44
1	44	44
2	178	18
3	1068	16
done	5000	16
0	14	31
1	22	31
2	42	31
3	62	31
4	85	31
5	93	31
6	96	31
7	98	31
done	98	31
0	13	15
1	21	15
2	41	15
3	61	15
4	84	15
5	92	15
6	95	15
7	97	15
done	97	15
0	14	44
1	29	44
2	104	16
3	514	16
4	3826	16
done	5000	16
0	13	15
1	21	15
2	41	15
3	61	15
4	84	15
5	92	15
6	95	15
7	97	15
done	97	15
0	13	15
1	21	15
2	41	15
3	61	15
4	84	15
5	92	15
6	95	15
7	97	15
done	97	15
0	4	4
1	9	4
2	11	4
done	11	4
0	9	11
1	14	11
2	21	11
done	21	11
0	12	25
1	17	25
2	24	25
done	24	25
0	11	13
1	14	13
2	21	13
done	21	13
0	11	13
1	14	13
2	21	13
done	21	13
0	11	13
1	14	13
2	21	13
done	21	13
0	14	27
1	25	27
2	53	27
3	84	27
4	110	27
5	142	27
6	163	27
7	173	27
done	173	27
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	13	24
1	20	24
2	35	24
3	48	24
4	56	24
5	62	24
6	65	24
done	65	24
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	13	23
1	22	21
2	42	21
3	69	21
4	75	21
5	84	21
6	99	21
7	102	21
done	102	21
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	14	26
1	22	17
2	36	17
3	44	17
4	48	17
5	57	17
6	63	17
7	68	17
done	68	17
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	13	23
1	19	14
2	29	14
3	30	14
4	32	14
5	34	14
6	35	14
done	35	14
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	13	22
1	21	11
2	34	11
3	39	11
done	39	11
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	13	17
1	20	17
2	34	17
3	42	17
4	46	17
5	55	17
6	61	17
7	66	17
done	66	17
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	13
1	19	11
2	32	11
3	37	11
done	37	11
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	8	10
1	14	9
2	21	9
3	29	7
4	45	7
5	97	7
6	129	7
done	129	7
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	7	7
1	11	6
2	14	6
3	15	4
4	24	4
5	38	4
6	46	4
done	46	4
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	5	6
1	9	3
2	14	1
done	14	1
0	10	12
1	15	12
2	25	12
3	26	12
4	28	12
5	30	12
6	31	12
done	31	12
0	13	17
1	20	17
2	34	17
3	42	17
4	46	17
5	55	17
6	61	17
7	66	17
done	66	17
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	13
1	19	11
2	32	11
3	37	11
done	37	11
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	4	5
1	8	3
2	13	1
done	13	1
0	10	12
1	15	12
2	25	12
3	26	12
4	28	12
5	30	12
6	31	12
done	31	12
0	3	3
1	5	1
done	5	1
0	10	12
1	15	12
2	25	12
3	26	12
4	28	12
5	30	12
6	31	12
done	31	12
0	9	10
1	12	10
2	19	10
done	19	10
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	10	12
1	17	12
2	27	12
3	28	10
done	28	10
0	12	14
1	20	14
2	37	14
3	49	14
4	50	14
done	50	14
0	14	27
1	25	27
2	46	27
3	59	27
4	63	27
done	63	27
0	13	15
1	19	15
2	30	15
3	33	15
4	34	15
done	34	15
0	16	29
1	30	29
2	81	29
3	212	29
4	430	29
5	620	29
6	677	29
7	690	29
8	693	29
done	693	29
0	15	26
1	25	26
2	56	26
3	126	26
4	212	26
5	255	26
6	262	26
7	264	26
done	264	26
0	15	25
1	27	23
2	62	23
3	161	23
4	196	23
5	236	23
6	259	23
7	268	23
done	268	23
0	16	28
1	27	19
2	53	19
3	95	19
4	163	19
5	210	19
6	224	19
7	237	19
done	237	19
0	15	25
1	24	16
2	44	16
3	64	16
4	87	16
5	95	16
6	98	16
7	100	16
done	100	16
0	15	24
1	26	13
2	47	13
3	76	13
4	82	13
5	87	13
6	99	13
7	106	13
done	106	13
0	15	19
1	25	19
2	51	19
3	93	19
4	161	19
5	208	19
6	222	19
7	235	19
done	235	19
0	14	16
1	22	16
2	42	16
3	62	16
4	85	16
5	93	16
6	96	16
7	98	16
done	98	16
0	14	15
1	24	13
2	45	13
3	74	13
4	80	13
5	86	13
6	98	13
7	105	13
done	105	13
0	10	12
1	19	11
2	38	11
3	80	9
4	174	9
5	369	9
6	466	9
done	466	9
0	9	9
1	16	8
2	29	8
3	49	6
4	92	6
5	160	6
6	168	6
done	168	6
0	7	8
1	14	5
2	25	3
3	56	3
4	97	3
5	107	3
6	123	3
done	123	3
0	15	19
1	25	19
2	51	19
3	93	19
4	161	19
5	208	19
6	222	19
7	235	19
done	235	19
0	14	16
1	22	16
2	42	16
3	62	16
4	85	16
5	93	16
6	96	16
7	98	16
done	98	16
0	14	15
1	24	13
2	45	13
3	74	13
4	80	13
5	86	13
6	98	13
7	105	13
done	105	13
0	9	11
1	18	11
2	37	9
3	108	9
4	307	9
5	421	9
6	485	9
done	485	9
0	8	8
1	15	8
2	28	6
3	71	6
4	159	6
5	175	6
done	175	6
0	6	7
1	13	5
2	24	3
3	55	3
4	98	3
5	110	3
6	132	3
done	132	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	11	12
1	17	12
2	28	12
3	31	12
4	32	12
done	32	12
0	10	12
1	15	12
2	25	12
done	25	12
0	11	12
1	17	12
2	28	12
3	31	12
4	32	12
done	32	12
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	10	12
1	15	12
2	23	12
done	23	12
0	9	11
1	15	11
2	24	11
3	25	11
done	25	11
0	9	11
1	12	11
2	19	11
done	19	11
0	11	32
1	23	22
2	75	14
3	206	12
4	489	12
5	2051	12
done	5000	12
0	10	23
1	13	23
2	20	23
done	20	23
0	9	11
1	12	11
2	19	11
done	19	11
0	10	32
1	20	32
2	43	12
3	80	12
4	165	12
5	344	12
6	794	12
7	3830	12
done	5000	12
0	9	11
1	12	11
2	19	11
done	19	11
0	9	11
1	12	11
2	19	11
done	19	11
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
done	2	2
0	12	25
1	21	25
2	37	25
3	43	25
done	43	25
0	10	12
1	13	12
2	20	12
done	20	12
0	11	22
1	16	22
2	25	22
3	26	22
done	26	22
0	10	12
1	13	12
2	20	12
done	20	12
0	11	21
1	18	19
2	31	19
3	36	19
done	36	19
0	9	11
1	12	11
2	19	11
done	19	11
0	12	24
1	18	15
2	25	15
done	25	15
0	10	12
1	13	12
2	20	12
done	20	12
0	11	21
1	15	12
2	22	12
done	22	12
0	10	12
1	13	12
2	20	12
done	20	12
0	11	20
1	17	9
2	26	9
done	26	9
0	9	11
1	12	11
2	19	11
done	19	11
0	11	15
1	16	15
2	23	15
done	23	15
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	11
1	15	9
2	24	9
done	24	9
0	9	11
1	12	11
2	19	11
done	19	11
0	6	8
1	10	7
done	10	7
0	9	11
1	12	11
2	19	11
done	19	11
0	5	5
1	7	4
done	7	4
0	9	11
1	12	11
2	19	11
done	19	11
0	3	4
1	5	1
done	5	1
0	8	10
1	11	10
2	18	10
done	18	10
0	11	15
1	16	15
2	23	15
done	23	15
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	12
1	13	12
2	20	12
done	20	12
0	10	11
1	15	9
2	24	9
done	24	9
0	9	11
1	12	11
2	19	11
done	19	11
0	5	7
1	9	7
done	9	7
0	9	11
1	12	11
2	19	11
done	19	11
0	4	4
1	6	4
done	6	4
0	9	11
1	12	11
2	19	11
done	19	11
0	2	3
1	4	1
done	4	1
0	8	10
1	11	10
2	18	10
done	18	10
0	3	3
1	5	3
done	5	3
0	8	10
1	11	10
2	18	10
done	18	10
0	10	14
1	15	14
2	22	14
done	22	14
0	9	11
1	12	11
2	19	11
done	19	11
0	9	10
1	14	8
2	23	8
done	23	8
0	9	11
1	12	11
2	19	11
done	19	11
0	9	11
1	12	11
2	19	11
done	19	11
0	9	11
1	12	11
2	19	11
done	19	11
0	8	10
1	11	10
2	18	10
done	18	10
0	9	11
1	12	11
2	19	11
done	19	11
0	8	10
1	11	10
2	18	10
done	18	10
0	12	26
1	36	22
2	80	20
3	118	18
4	138	18
5	167	18
6	257	18
7	522	18
8	1604	18
done	5000	18
0	8	10
1	11	10
done	11	10
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	5	5
1	10	4
2	22	4
done	22	4
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	11	13
1	23	13
2	56	13
3	107	13
4	144	11
5	154	11
6	158	11
done	158	11
0	11	11
1	25	11
2	76	11
3	306	11
4	1153	11
5	4200	11
done	5000	11
0	11	11
1	26	11
2	68	11
3	210	11
4	674	11
5	2253	11
done	5000	11

prune178.0ms

Filtered

107 candidates to 144 candidates (-34.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	140	4	144
Fresh	3	4	7
Picked	0	1	1
Done	0	1	1
Total	143	10	153

Merged error: 1.9b

Counts

153 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.4b	(* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))
1.0b	(- (* z z) (* t a))
1.2b	(/ y (/ (sqrt (- (* z z) (* t a))) z))
25.8b	(sqrt (- (* z z) (* t a)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

263×	`times-frac`
157×	`add-sqr-sqrt`
143×	`add-cube-cbrt` `*-un-lft-identity`
71×	`associate-r`
67×	`sqrt-prod`
22×	`associate-/r*`
18×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
7×	`pow1`
6×	`cbrt-undiv` `div-exp` `add-log-exp`
4×	`unswap-sqr`
3×	`associate-l` `prod-exp` `cbrt-unprod` `associate-/l*`
2×	`flip3--` `sqrt-div` `associate-/r/` `flip--`
1×	`sub-neg` `rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `diff-log` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

4 → 227

Calls

4 calls:

28.0ms	(* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))
4.0ms	(- (* z z) (* t a))
11.0ms	(/ y (/ (sqrt (- (* z z) (* t a))) z))
5.0ms	(sqrt (- (* z z) (* t a)))

series84.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* x (/ y (/ (sqrt (- (* z z) (* t a))) z)))
8.0ms	(- (* z z) (* t a))
21.0ms	(/ y (/ (sqrt (- (* z z) (* t a))) z))
15.0ms	(sqrt (- (* z z) (* t a)))

simplify1.7min

Counts

239 → 239

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	16
2	29	10
3	59	10
4	81	10
5	99	10
6	122	10
7	182	10
8	392	10
9	1329	10
done	5001	10
0	9	18
1	13	9
2	20	9
done	20	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	3	3
1	6	1
done	6	1
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	13	15
1	22	15
2	37	15
3	50	15
4	55	15
5	63	15
6	78	15
7	104	15
8	113	15
done	113	15
0	12	14
1	20	14
2	32	14
3	39	14
4	52	14
5	56	14
6	64	14
7	79	14
8	105	14
9	114	14
done	114	14
0	11	13
1	19	13
2	36	13
3	45	13
4	57	13
5	76	13
6	85	13
7	96	13
8	114	13
9	134	13
10	140	13
done	140	13
0	11	13
1	16	13
2	28	13
3	35	13
4	45	13
5	72	13
6	138	13
7	304	13
8	830	13
9	3116	13
done	5001	13
0	15	38
1	32	28
2	132	18
3	586	16
4	2283	14
done	5001	14
0	14	38
1	32	38
2	97	16
3	332	14
4	1310	14
5	3692	14
done	5000	14
0	12	27
1	17	27
2	27	27
3	28	27
4	30	27
5	32	27
6	33	27
done	33	27
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	12	38
1	24	38
2	68	14
3	241	14
4	941	14
5	2652	14
done	5000	14
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	2	2
done	2	2
0	9	11
1	14	11
2	21	11
done	21	11
0	14	29
1	23	29
2	39	29
3	45	29
done	45	29
0	12	14
1	15	14
2	22	14
done	22	14
0	13	17
1	18	17
2	27	17
3	28	17
done	28	17
0	12	14
1	15	14
2	22	14
done	22	14
0	16	31
1	29	31
2	72	31
3	161	31
4	290	31
5	384	31
6	421	31
7	431	31
done	431	31
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	15	28
1	24	28
2	49	28
3	93	28
4	139	28
5	159	28
6	164	28
7	165	28
done	165	28
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	15	27
1	26	25
2	56	25
3	131	25
4	162	25
5	182	25
6	184	25
done	184	25
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	16	30
1	26	21
2	48	21
3	76	21
4	112	21
5	134	21
6	144	21
7	153	21
8	155	21
done	155	21
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	15	27
1	23	18
2	39	18
3	49	18
4	59	18
5	63	18
6	65	18
7	66	18
done	66	18
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	15	26
1	25	15
2	43	15
3	65	15
4	70	15
5	74	15
6	80	15
done	80	15
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	15	21
1	24	21
2	46	21
3	74	21
4	111	21
5	134	21
6	144	21
7	153	21
8	154	21
done	154	21
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	18
1	21	18
2	37	18
3	47	18
4	57	18
5	61	18
6	63	18
7	64	18
done	64	18
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	17
1	23	15
2	41	15
3	63	15
4	68	15
5	72	15
6	78	15
done	78	15
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	10	14
1	18	13
2	33	13
3	61	11
4	119	11
5	235	11
6	273	11
done	273	11
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	9	11
1	15	10
2	24	10
3	34	8
4	59	8
5	96	8
6	101	8
done	101	8
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	7	10
1	13	7
2	22	5
3	43	5
4	56	5
done	56	5
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	15	21
1	24	21
2	46	21
3	74	21
4	111	21
5	134	21
6	144	21
7	153	21
8	154	21
done	154	21
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	18
1	21	18
2	37	18
3	47	18
4	57	18
5	61	18
6	63	18
7	64	18
done	64	18
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	17
1	23	15
2	41	15
3	63	15
4	68	15
5	72	15
6	78	15
done	78	15
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	11	14
1	16	14
2	25	14
3	26	14
done	26	14
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	13	26
1	18	26
2	25	26
done	25	26
0	12	14
1	15	14
2	22	14
done	22	14
0	12	14
1	15	14
2	22	14
done	22	14
0	12	14
1	15	14
2	22	14
done	22	14
0	15	28
1	26	28
2	54	28
3	83	28
4	109	28
5	143	28
6	165	28
7	175	28
done	175	28
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	25
1	21	25
2	36	25
3	49	25
4	57	25
5	63	25
6	66	25
done	66	25
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	24
1	23	22
2	43	22
3	70	22
4	80	22
5	92	22
6	98	22
done	98	22
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	15	27
1	23	18
2	37	18
3	45	18
4	49	18
5	58	18
6	64	18
7	69	18
done	69	18
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	24
1	20	15
2	30	15
3	31	15
4	33	15
5	35	15
6	36	15
done	36	15
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	14	23
1	22	12
2	35	12
3	40	12
4	42	12
5	45	12
6	49	12
done	49	12
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	14	18
1	21	18
2	35	18
3	43	18
4	47	18
5	56	18
6	62	18
7	67	18
done	67	18
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	13	14
1	20	12
2	33	12
3	38	12
4	40	12
5	43	12
6	47	12
7	48	12
done	48	12
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	9	11
1	15	10
2	22	10
3	30	8
4	46	8
5	98	8
6	129	8
done	129	8
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	8	8
1	12	7
2	15	7
3	16	5
4	25	5
5	39	5
6	47	5
done	47	5
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	6	7
1	10	4
2	15	2
3	17	2
4	21	2
done	21	2
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	14	18
1	21	18
2	35	18
3	43	18
4	47	18
5	56	18
6	62	18
7	67	18
done	67	18
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	13	15
1	18	15
2	28	15
3	29	15
4	31	15
5	33	15
6	34	15
done	34	15
0	13	14
1	20	12
2	33	12
3	38	12
4	40	12
5	43	12
6	47	12
7	48	12
done	48	12
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	4	4
1	6	2
2	8	2
done	8	2
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	10	11
1	13	11
2	20	11
done	20	11
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	12	25
1	19	25
2	26	25
done	26	25
0	11	13
1	14	13
2	21	13
done	21	13
0	11	13
1	16	13
2	23	13
done	23	13
0	11	13
1	14	13
2	21	13
done	21	13
0	14	27
1	27	27
2	55	27
3	86	25
4	146	25
5	214	25
done	214	25
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	13	24
1	22	24
2	37	24
3	50	22
4	77	22
5	110	22
done	110	22
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	23
1	21	21
2	39	21
3	48	21
done	48	21
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	14	26
1	24	17
2	38	17
3	46	15
4	70	15
5	85	15
done	85	15
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	13	23
1	21	14
2	31	14
3	32	12
4	45	12
5	52	12
done	52	12
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	22
1	20	11
2	32	11
done	32	11
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	13	17
1	22	17
2	36	17
3	44	15
4	68	15
5	81	15
done	81	15
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	14
1	19	14
2	29	14
3	30	12
4	43	12
5	50	12
done	50	12
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	11	13
1	18	11
2	30	11
done	30	11
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	7	10
1	13	9
2	20	9
3	28	5
4	91	5
5	227	5
6	250	5
7	347	5
done	347	5
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	6	7
1	10	6
2	13	6
3	14	2
4	42	2
5	137	2
6	154	2
7	198	2
done	198	2
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	4	6
1	8	3
2	12	1
done	12	1
0	10	12
1	15	12
2	25	12
3	26	12
4	28	12
5	30	12
6	31	12
done	31	12
0	13	17
1	22	17
2	36	17
3	44	15
4	68	15
5	81	15
done	81	15
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	14
1	19	14
2	29	14
3	30	12
4	43	12
5	50	12
done	50	12
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	11	13
1	18	11
2	30	11
done	30	11
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	13
1	16	13
2	26	13
3	27	13
4	29	13
5	31	13
6	32	13
done	32	13
0	3	5
1	6	1
done	6	1
0	10	12
1	15	12
2	25	12
3	26	12
4	28	12
5	30	12
6	31	12
done	31	12
0	2	3
1	4	1
done	4	1
0	10	12
1	15	12
2	25	12
3	26	12
4	28	12
5	30	12
6	31	12
done	31	12
0	9	10
1	14	10
2	21	10
done	21	10
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	10	12
1	17	12
2	27	12
3	28	10
done	28	10
0	10	12
1	15	12
2	25	12
done	25	12
0	12	25
1	17	25
2	24	25
done	24	25
0	11	13
1	14	13
2	21	13
done	21	13
0	14	27
1	25	27
2	53	27
3	84	27
4	110	27
5	142	27
6	163	27
7	173	27
done	173	27
0	13	24
1	20	24
2	35	24
3	48	24
4	56	24
5	62	24
6	65	24
done	65	24
0	13	23
1	22	21
2	42	21
3	69	21
4	75	21
5	84	21
6	99	21
7	102	21
done	102	21
0	14	26
1	22	17
2	36	17
3	44	17
4	48	17
5	57	17
6	63	17
7	68	17
done	68	17
0	13	23
1	19	14
2	29	14
3	30	14
4	32	14
5	34	14
6	35	14
done	35	14
0	13	22
1	21	11
2	34	11
3	39	11
done	39	11
0	13	17
1	20	17
2	34	17
3	42	17
4	46	17
5	55	17
6	61	17
7	66	17
done	66	17
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	13
1	19	11
2	32	11
3	37	11
done	37	11
0	8	10
1	14	9
2	21	9
3	29	7
4	45	7
5	97	7
6	129	7
done	129	7
0	7	7
1	11	6
2	14	6
3	15	4
4	24	4
5	38	4
6	46	4
done	46	4
0	5	6
1	9	3
2	14	1
done	14	1
0	13	17
1	20	17
2	34	17
3	42	17
4	46	17
5	55	17
6	61	17
7	66	17
done	66	17
0	12	14
1	17	14
2	27	14
3	28	14
4	30	14
5	32	14
6	33	14
done	33	14
0	12	13
1	19	11
2	32	11
3	37	11
done	37	11
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	9	10
1	12	10
2	19	10
done	19	10
0	11	13
1	16	13
2	26	13
done	26	13
0	11	13
1	16	13
2	26	13
done	26	13
0	10	12
1	15	12
2	25	12
done	25	12
0	9	10
1	12	10
2	19	10
done	19	10
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	12	14
1	20	14
2	39	14
3	62	14
4	74	14
5	89	14
6	95	14
7	98	14
done	98	14
0	16	18
1	28	18
2	56	18
3	99	18
4	162	18
5	240	18
6	326	18
7	463	18
8	487	18
9	488	18
done	488	18
0	15	17
1	26	17
2	46	17
3	73	17
4	131	17
5	201	17
6	267	17
7	381	17
8	538	17
9	551	17
done	551	17
0	14	16
1	23	16
2	44	16
3	68	16
4	111	16
5	202	16
6	252	16
7	335	16
8	459	16
9	612	16
10	617	16
done	617	16
0	13	15
1	24	15
2	52	15
3	99	15
4	160	15
5	258	15
6	381	15
7	479	15
8	565	15
9	654	15
10	663	15
done	663	15
0	13	15
1	23	15
2	48	15
3	94	15
4	181	15
5	414	15
6	1042	15
7	3920	15
done	5001	15
0	19	44
1	42	34
2	185	22
3	1152	20
done	5000	20
0	18	44
1	42	44
2	155	20
3	775	18
done	5000	18
0	16	44
1	34	44
2	113	18
3	517	18
4	3068	16
done	5000	16
0	14	31
1	22	31
2	41	31
3	64	31
4	76	31
5	91	31
6	97	31
7	100	31
done	100	31
0	13	15
1	21	15
2	40	15
3	63	15
4	75	15
5	90	15
6	96	15
7	99	15
done	99	15
0	14	44
1	32	44
2	114	16
3	558	16
4	3400	16
done	5000	16
0	13	15
1	21	15
2	40	15
3	63	15
4	75	15
5	90	15
6	96	15
7	99	15
done	99	15
0	13	15
1	21	15
2	40	15
3	63	15
4	75	15
5	90	15
6	96	15
7	99	15
done	99	15
0	14	16
1	20	16
2	30	16
3	31	16
4	33	16
5	35	16
6	36	16
done	36	16
0	14	16
1	20	16
2	30	16
3	31	16
4	33	16
5	35	16
6	36	16
done	36	16
0	15	17
1	21	17
2	31	17
3	35	17
4	36	17
done	36	17
0	15	17
1	21	17
2	31	17
3	35	17
4	36	17
done	36	17
0	16	18
1	24	18
2	43	18
3	66	18
4	78	18
5	93	18
6	99	18
7	102	18
done	102	18
0	16	18
1	24	18
2	43	18
3	66	18
4	78	18
5	93	18
6	99	18
7	102	18
done	102	18
0	16	18
1	24	18
2	43	18
3	66	18
4	78	18
5	93	18
6	99	18
7	102	18
done	102	18
0	16	18
1	24	18
2	43	18
3	66	18
4	78	18
5	93	18
6	99	18
7	102	18
done	102	18
0	14	29
1	22	29
2	34	29
3	35	29
4	37	29
5	39	29
6	40	29
done	40	29
0	13	15
1	19	15
2	29	15
3	30	15
4	32	15
5	34	15
6	35	15
done	35	15
0	16	31
1	28	31
2	64	31
3	104	31
4	160	31
5	176	31
done	176	31
0	15	19
1	23	19
2	40	19
3	55	19
4	68	19
5	70	19
done	70	19
0	18	33
1	34	33
2	99	33
3	313	33
4	860	33
5	1560	33
6	1785	33
7	1803	33
done	1803	33
0	17	30
1	29	30
2	70	30
3	190	30
4	439	30
5	642	30
6	705	30
7	712	30
8	713	30
done	713	30
0	17	29
1	31	27
2	77	27
3	240	27
4	396	27
5	475	27
6	496	27
done	496	27
0	18	32
1	31	23
2	69	23
3	151	23
4	327	23
5	506	23
6	564	23
7	589	23
8	591	23
done	591	23
0	17	29
1	28	20
2	58	20
3	105	20
4	178	20
5	221	20
6	233	20
7	240	20
done	240	20
0	17	28
1	30	17
2	59	17
3	126	17
4	169	17
5	182	17
6	202	17
7	207	17
done	207	17
0	17	23
1	29	23
2	67	23
3	149	23
4	324	23
5	504	23
6	563	23
7	588	23
8	590	23
done	590	23
0	16	20
1	26	20
2	56	20
3	103	20
4	176	20
5	219	20
6	231	20
7	238	20
done	238	20
0	16	19
1	28	17
2	57	17
3	124	17
4	167	17
5	180	17
6	200	17
7	203	17
done	203	17
0	12	16
1	23	15
2	54	15
3	136	13
4	408	13
5	1000	13
6	1153	13
done	1153	13
0	11	13
1	20	12
2	43	12
3	90	10
4	226	10
5	436	10
6	460	10
done	460	10
0	9	12
1	18	9
2	38	7
3	105	7
4	167	7
5	239	7
6	244	7
done	244	7
0	17	23
1	29	23
2	67	23
3	149	23
4	324	23
5	504	23
6	563	23
7	588	23
8	590	23
done	590	23
0	16	20
1	26	20
2	56	20
3	103	20
4	176	20
5	219	20
6	231	20
7	238	20
done	238	20
0	16	19
1	28	17
2	57	17
3	124	17
4	167	17
5	180	17
6	200	17
7	203	17
done	203	17
0	11	15
1	22	15
2	53	13
3	148	13
4	482	13
5	917	13
6	1051	13
done	1051	13
0	10	12
1	19	12
2	42	10
3	100	10
4	271	10
5	419	10
6	424	10
done	424	10
0	8	11
1	17	9
2	37	7
3	104	7
4	164	7
5	228	7
6	235	7
done	235	7
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	13	16
1	21	16
2	38	16
3	53	16
4	66	16
5	68	16
done	68	16
0	15	28
1	23	28
2	41	28
3	54	28
4	66	28
done	66	28
0	14	16
1	20	16
2	30	16
3	34	16
4	35	16
done	35	16
0	17	30
1	31	30
2	76	30
3	188	30
4	390	30
5	617	30
6	701	30
7	725	30
8	727	30
done	727	30
0	16	27
1	26	27
2	52	27
3	114	27
4	194	27
5	264	27
6	285	27
7	288	27
done	288	27
0	16	26
1	28	24
2	59	24
3	141	24
4	201	24
5	237	24
6	255	24
done	255	24
0	17	29
1	28	20
2	53	20
3	97	20
4	146	20
5	201	20
6	227	20
7	245	20
8	246	20
done	246	20
0	16	26
1	25	17
2	44	17
3	67	17
4	79	17
5	94	17
6	100	17
7	103	17
done	103	17
0	16	25
1	27	14
2	46	14
3	74	14
4	89	14
5	95	14
6	108	14
7	110	14
done	110	14
0	16	20
1	26	20
2	51	20
3	95	20
4	144	20
5	199	20
6	224	20
7	242	20
8	243	20
done	243	20
0	15	17
1	23	17
2	42	17
3	65	17
4	77	17
5	92	17
6	98	17
7	101	17
done	101	17
0	15	16
1	25	14
2	44	14
3	72	14
4	87	14
5	93	14
6	106	14
7	108	14
done	108	14
0	11	13
1	20	12
2	38	12
3	82	10
4	191	10
5	516	10
6	605	10
done	605	10
0	10	10
1	17	9
2	29	9
3	52	7
4	100	7
5	208	7
6	230	7
done	230	7
0	8	9
1	15	6
2	26	4
3	45	4
4	64	4
5	89	4
6	90	4
done	90	4
0	16	20
1	26	20
2	51	20
3	95	20
4	144	20
5	199	20
6	224	20
7	242	20
8	243	20
done	243	20
0	15	17
1	23	17
2	42	17
3	65	17
4	77	17
5	92	17
6	98	17
7	101	17
done	101	17
0	15	16
1	25	14
2	44	14
3	72	14
4	87	14
5	93	14
6	106	14
7	108	14
done	108	14
0	10	12
1	19	12
2	37	10
3	81	10
4	178	10
5	352	10
6	418	10
done	418	10
0	9	9
1	16	9
2	28	7
3	51	7
4	90	7
5	144	7
6	147	7
done	147	7
0	7	8
1	14	6
2	25	4
3	44	4
4	63	4
5	88	4
done	88	4
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	12	13
1	18	13
2	28	13
3	32	13
4	33	13
done	33	13
0	14	27
1	24	27
2	41	25
3	49	25
4	67	25
5	98	25
6	103	25
done	103	25
0	13	15
1	21	15
2	31	13
3	32	13
4	37	13
5	38	13
done	38	13
0	16	29
1	32	29
2	76	27
3	159	27
4	369	27
5	580	27
6	630	27
7	651	27
done	651	27
0	15	26
1	27	26
2	53	24
3	97	24
4	182	24
5	276	24
6	301	24
7	311	24
done	311	24
0	14	25
1	26	23
2	51	21
3	73	21
4	82	21
5	90	21
6	98	21
7	99	21
done	99	21
0	16	28
1	29	19
2	54	17
3	86	17
4	160	17
5	212	17
6	216	17
7	217	17
done	217	17
0	15	25
1	26	16
2	45	14
3	60	14
4	88	14
5	104	14
6	106	14
7	107	14
done	107	14
0	14	24
1	25	13
2	41	11
3	42	11
done	42	11
0	15	19
1	27	19
2	52	17
3	84	17
4	159	17
5	206	17
6	210	17
7	211	17
done	211	17
0	14	16
1	24	16
2	43	14
3	58	14
4	87	14
5	104	14
6	106	14
7	107	14
done	107	14
0	13	15
1	23	13
2	39	11
3	40	11
done	40	11
0	9	12
1	18	11
2	36	9
3	68	7
4	187	7
5	513	7
6	610	7
7	926	7
done	926	7
0	8	9
1	15	8
2	27	6
3	42	4
4	85	4
5	285	4
6	391	4
7	736	4
done	736	4
0	6	8
1	13	5
2	21	1
done	21	1
0	15	19
1	27	19
2	52	17
3	84	17
4	159	17
5	206	17
6	210	17
7	211	17
done	211	17
0	14	16
1	24	16
2	43	14
3	58	14
4	87	14
5	104	14
6	106	14
7	107	14
done	107	14
0	13	15
1	23	13
2	39	11
3	40	11
done	40	11
0	8	11
1	17	7
2	39	7
3	73	7
4	102	7
5	141	7
6	173	7
7	185	7
done	185	7
0	7	8
1	14	4
2	26	4
3	36	4
4	41	4
5	57	4
6	73	4
7	79	4
done	79	4
0	5	7
1	11	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	11	12
1	19	12
2	29	10
3	30	10
4	35	10
5	36	10
done	36	10
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	11	12
1	17	12
2	27	12
3	31	12
4	32	12
done	32	12
0	13	15
1	21	15
2	40	15
3	63	15
4	75	15
5	90	15
6	96	15
7	99	15
done	99	15
0	13	15
1	21	15
2	40	15
3	63	15
4	75	15
5	90	15
6	96	15
7	99	15
done	99	15
0	12	14
1	20	14
2	39	14
3	62	14
4	74	14
5	89	14
6	95	14
7	98	14
done	98	14
0	3	3
1	4	3
done	4	3
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	40	9
3	95	9
4	202	9
5	279	9
6	289	9
done	289	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	1	1
done	1	1
0	3	3
1	4	3
done	4	3
0	5	5
1	10	4
2	22	4
done	22	4

prune238.0ms

Filtered

175 candidates to 239 candidates (-36.6%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	239	0	239
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	239	10	249

Merged error: 1.9b

Counts

249 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

1.0b	(- (* z z) (* t a))
1.2b	(/ x (/ (/ (fabs (cbrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))) y))
26.7b	(cbrt (- (* z z) (* t a)))
26.7b	(cbrt (- (* z z) (* t a)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

195×	`times-frac`
88×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
25×	`associate-/r*`
18×	`add-exp-log`
17×	`div-inv`
16×	`add-cbrt-cube`
9×	`cbrt-undiv` `div-exp`
6×	`cbrt-prod` `add-log-exp`
4×	`pow1` `cbrt-div`
3×	`flip3--` `flip--` `associate-/l*`
2×	`pow1/3`
1×	`sub-neg` `frac-2neg` `diff-log` `prod-exp` `clear-num` `associate-/r/` `cbrt-unprod`

Counts

4 → 160

Calls

4 calls:

4.0ms	(- (* z z) (* t a))
15.0ms	(/ x (/ (/ (fabs (cbrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))) y))
4.0ms	(cbrt (- (* z z) (* t a)))
4.0ms	(cbrt (- (* z z) (* t a)))

series159.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(- (* z z) (* t a))
97.0ms	(/ x (/ (/ (fabs (cbrt (- (* z z) (* t a)))) (* (cbrt z) (cbrt z))) y))
27.0ms	(cbrt (- (* z z) (* t a)))
27.0ms	(cbrt (- (* z z) (* t a)))

simplify2.1min

Counts

172 → 172

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	18
1	12	18
2	19	18
done	19	18
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1276	7
done	5000	7
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	9	18
1	12	18
2	19	18
done	19	18
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	2	2
1	4	1
done	4	1
0	7	8
1	10	8
2	17	8
done	17	8
0	10	12
1	31	12
2	104	10
3	319	10
4	815	10
5	2273	10
done	5000	10
0	11	24
1	34	20
2	78	18
3	113	16
4	133	16
5	162	16
6	252	16
7	513	16
8	1591	16
done	5001	16
0	9	16
1	26	16
2	60	14
3	126	12
4	198	12
5	342	12
6	598	12
7	1243	12
8	4561	12
done	5000	12
0	7	8
1	9	8
done	9	8
0	9	19
1	12	19
2	19	19
done	19	19
0	8	9
1	11	9
2	18	9
done	18	9
0	9	26
1	13	26
2	22	10
3	27	7
4	33	7
5	43	7
6	64	7
7	129	7
8	350	7
9	1276	7
done	5000	7
0	8	9
1	11	9
2	18	9
done	18	9
0	8	9
1	11	9
2	18	9
done	18	9
0	19	24
1	36	22
2	81	22
3	171	22
4	371	22
5	582	22
6	859	22
7	1200	22
8	1237	22
done	1237	22
0	19	23
1	34	23
2	71	22
3	150	22
4	315	22
5	641	22
6	912	22
7	1268	22
8	1390	22
done	1390	22
0	18	22
1	32	22
2	59	22
3	115	22
4	226	22
5	468	22
6	715	22
7	1133	22
8	1277	22
done	1277	22
0	17	21
1	29	21
2	55	21
3	97	21
4	192	21
5	359	21
6	558	21
7	803	21
8	1248	21
9	1289	21
done	1289	21
0	16	20
1	28	20
2	59	20
3	122	20
4	245	20
5	448	20
6	825	20
7	1107	20
8	1536	20
9	1813	20
10	1816	20
done	1816	20
0	16	20
1	25	20
2	48	20
3	93	20
4	166	20
5	289	20
6	628	20
7	1482	20
8	3830	20
done	5000	20
0	19	45
1	40	45
2	148	23
3	781	23
4	4757	23
done	5000	23
0	23	59
1	52	59
2	215	27
3	1546	23
done	5000	23
0	21	59
1	46	59
2	185	25
3	1156	23
done	5000	23
0	19	59
1	41	59
2	137	23
3	697	21
done	5001	21
0	17	41
1	26	41
2	47	41
3	81	41
4	124	41
5	154	41
6	212	41
7	245	41
8	253	41
done	253	41
0	16	20
1	25	20
2	46	20
3	80	20
4	124	20
5	154	20
6	212	20
7	246	20
8	254	20
done	254	20
0	17	59
1	33	59
2	93	21
3	434	21
4	3616	21
done	5000	21
0	16	20
1	25	20
2	46	20
3	80	20
4	124	20
5	154	20
6	212	20
7	246	20
8	254	20
done	254	20
0	16	20
1	25	20
2	46	20
3	80	20
4	124	20
5	154	20
6	212	20
7	246	20
8	254	20
done	254	20
0	2	2
done	2	2
0	14	18
1	23	18
2	41	18
3	58	18
4	66	18
done	66	18
0	19	43
1	32	43
2	54	43
3	68	43
done	68	43
0	17	21
1	24	21
2	37	21
3	45	21
done	45	21
0	18	24
1	27	24
2	42	24
3	51	24
done	51	24
0	17	21
1	24	21
2	37	21
3	45	21
done	45	21
0	21	45
1	36	45
2	79	45
3	168	45
4	296	45
5	391	45
6	430	45
7	440	45
done	440	45
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	20	42
1	31	42
2	56	42
3	100	42
4	144	42
5	163	42
6	168	42
7	169	42
done	169	42
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	19	41
1	32	39
2	62	39
3	137	39
4	167	39
5	187	39
6	189	39
done	189	39
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	20	28
1	31	28
2	53	28
3	81	28
4	118	28
5	141	28
6	151	28
7	160	28
8	161	28
done	161	28
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	19	25
1	28	25
2	44	25
3	54	25
4	64	25
5	68	25
6	70	25
7	71	25
done	71	25
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	18	24
1	29	22
2	47	22
3	69	22
4	74	22
5	78	22
6	84	22
7	86	22
done	86	22
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	20	36
1	33	36
2	78	36
3	226	36
4	674	36
5	1377	36
6	1724	36
7	1810	36
8	1820	36
done	1820	36
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	19	33
1	30	33
2	64	33
3	163	33
4	383	33
5	584	33
6	680	33
7	702	33
8	705	33
done	705	33
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	18	32
1	31	30
2	73	30
3	195	30
4	328	30
5	416	30
6	459	30
7	462	30
done	462	30
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	19	25
1	30	25
2	63	25
3	131	25
4	276	25
5	439	25
6	518	25
7	584	25
8	590	25
done	590	25
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	18	22
1	27	22
2	51	22
3	90	22
4	152	22
5	195	22
6	224	22
7	241	22
8	242	22
done	242	22
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	17	21
1	28	19
2	58	19
3	111	19
4	146	19
5	162	19
6	186	19
7	194	19
done	194	19
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	12	16
1	22	16
2	48	16
3	116	14
4	295	14
5	695	14
6	1119	14
7	1160	14
done	1160	14
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	11	13
1	19	13
2	36	13
3	75	11
4	168	11
5	362	11
6	439	11
done	439	11
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	9	12
1	17	10
2	40	10
3	83	8
4	129	8
5	214	8
6	220	8
done	220	8
0	15	17
1	22	17
2	38	17
3	53	17
4	69	17
5	79	17
6	96	17
7	105	17
8	106	17
done	106	17
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	17	21
1	26	21
2	47	21
3	81	21
4	124	21
5	154	21
6	212	21
7	245	21
8	254	21
done	254	21
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	17	21
1	26	21
2	47	21
3	81	21
4	124	21
5	154	21
6	212	21
7	245	21
8	254	21
done	254	21
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	16	20
1	25	20
2	46	20
3	80	20
4	123	20
5	153	20
6	211	20
7	244	20
8	252	20
done	252	20
0	16	21
1	25	21
2	47	21
3	75	21
4	112	21
5	135	21
6	145	21
7	154	21
done	154	21
0	11	13
1	19	13
2	33	13
3	67	11
4	121	11
5	277	11
6	431	11
7	434	11
done	434	11
0	15	18
1	22	18
2	38	18
3	48	18
4	58	18
5	62	18
6	64	18
7	65	18
done	65	18
0	11	13
1	19	13
2	33	13
3	67	11
4	121	11
5	277	11
6	431	11
7	434	11
done	434	11
0	14	17
1	23	15
2	41	15
3	63	15
4	68	15
5	72	15
6	78	15
done	78	15
0	10	12
1	18	12
2	32	12
3	66	10
4	121	10
5	277	10
6	442	10
7	451	10
done	451	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	16	20
1	25	20
2	46	20
3	80	20
4	123	20
5	153	20
6	211	20
7	244	20
8	252	20
done	252	20
0	15	21
1	24	21
2	46	21
3	74	21
4	111	21
5	134	21
6	144	21
7	153	21
8	154	21
done	154	21
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	18	40
1	27	40
2	40	40
3	48	40
done	48	40
0	17	21
1	24	21
2	37	21
3	45	21
done	45	21
0	17	21
1	24	21
2	37	21
3	45	21
done	45	21
0	17	21
1	24	21
2	37	21
3	45	21
done	45	21
0	20	42
1	33	42
2	61	42
3	90	42
4	116	42
5	147	42
6	168	42
7	178	42
done	178	42
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	19	39
1	28	39
2	43	39
3	56	39
4	64	39
5	70	39
6	73	39
done	73	39
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	18	38
1	29	36
2	49	36
3	76	36
4	88	36
5	100	36
6	106	36
done	106	36
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	19	25
1	28	25
2	42	25
3	50	25
4	54	25
5	63	25
6	69	25
7	74	25
done	74	25
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	18	22
1	25	22
2	35	22
3	36	22
4	38	22
5	40	22
6	41	22
done	41	22
0	17	21
1	26	19
2	39	19
3	44	19
4	46	19
5	49	19
6	53	19
7	54	19
done	54	19
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	19	33
1	30	33
2	65	33
3	146	33
4	313	33
5	497	33
6	639	33
7	707	33
8	714	33
done	714	33
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	18	30
1	27	30
2	53	30
3	100	30
4	171	30
5	217	30
6	268	30
7	279	30
8	280	30
done	280	30
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	17	29
1	28	27
2	59	27
3	115	27
4	159	27
5	197	27
6	230	27
7	233	27
done	233	27
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	18	22
1	27	22
2	50	22
3	81	22
4	124	22
5	168	22
6	204	22
7	248	22
8	260	22
done	260	22
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	17	19
1	24	19
2	40	19
3	55	19
4	72	19
5	82	19
6	99	19
7	108	19
8	110	19
done	110	19
0	16	18
1	25	16
2	46	16
3	66	16
4	77	16
5	85	16
6	101	16
7	107	16
done	107	16
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	11	13
1	19	13
2	35	13
3	66	11
4	115	11
5	262	11
6	449	11
7	469	11
done	469	11
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	10	10
1	16	10
2	25	10
3	40	8
4	67	8
5	136	8
6	182	8
done	182	8
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	8	9
1	14	7
2	28	7
3	42	5
4	53	5
5	84	5
6	85	5
done	85	5
0	15	17
1	22	17
2	38	17
3	53	17
4	69	17
5	79	17
6	96	17
7	105	17
8	106	17
done	106	17
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	17	21
1	26	21
2	47	21
3	81	21
4	124	21
5	154	21
6	212	21
7	245	21
8	254	21
done	254	21
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	17	21
1	26	21
2	47	21
3	81	21
4	124	21
5	154	21
6	212	21
7	245	21
8	254	21
done	254	21
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	16	20
1	25	20
2	46	20
3	80	20
4	123	20
5	153	20
6	211	20
7	244	20
8	252	20
done	252	20
0	15	18
1	22	18
2	36	18
3	44	18
4	48	18
5	57	18
6	63	18
7	68	18
8	69	18
done	69	18
0	11	13
1	19	13
2	33	13
3	67	11
4	121	11
5	277	11
6	431	11
7	434	11
done	434	11
0	14	15
1	19	15
2	29	15
3	30	15
4	32	15
5	34	15
6	35	15
done	35	15
0	11	13
1	19	13
2	33	13
3	67	11
4	121	11
5	277	11
6	431	11
7	434	11
done	434	11
0	13	14
1	20	12
2	33	12
3	38	12
4	40	12
5	43	12
6	47	12
7	48	12
done	48	12
0	10	12
1	18	12
2	32	12
3	66	10
4	121	10
5	277	10
6	442	10
7	451	10
done	451	10
0	4	4
1	6	2
2	8	2
done	8	2
0	16	20
1	25	20
2	46	20
3	80	20
4	123	20
5	153	20
6	211	20
7	244	20
8	252	20
done	252	20
0	14	18
1	21	18
2	35	18
3	43	18
4	47	18
5	56	18
6	62	18
7	67	18
done	67	18
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	17	39
1	28	39
2	41	39
3	49	39
done	49	39
0	16	20
1	23	20
2	36	20
3	44	20
done	44	20
0	16	20
1	25	20
2	38	20
3	46	20
done	46	20
0	16	20
1	23	20
2	36	20
3	44	20
done	44	20
0	19	41
1	34	41
2	62	41
3	91	39
4	151	39
5	215	39
done	215	39
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	18	38
1	29	38
2	44	38
3	57	36
4	84	36
5	120	36
done	120	36
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	16	37
1	27	35
2	45	35
3	54	35
done	54	35
0	16	20
1	23	20
2	33	20
3	34	20
4	36	20
5	38	20
6	39	20
done	39	20
0	18	24
1	29	24
2	43	24
3	51	22
4	75	22
5	88	22
done	88	22
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	17	21
1	26	21
2	36	21
3	37	19
4	50	19
5	55	19
done	55	19
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	15	20
1	24	18
2	36	18
done	36	18
0	16	20
1	23	20
2	33	20
3	34	20
4	36	20
5	38	20
6	39	20
done	39	20
0	18	32
1	31	32
2	66	32
3	147	30
4	365	30
5	568	30
done	568	30
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	17	29
1	28	29
2	54	29
3	101	27
4	200	27
5	276	27
done	276	27
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	15	28
1	26	26
2	56	26
3	91	24
4	99	24
done	99	24
0	15	17
1	22	17
2	38	17
3	53	17
4	69	17
5	79	17
6	96	17
7	105	17
8	106	17
done	106	17
0	17	21
1	28	21
2	51	21
3	82	19
4	160	19
5	201	19
done	201	19
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	16	18
1	25	18
2	41	18
3	56	16
4	91	16
5	103	16
done	103	16
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	14	17
1	23	15
2	43	15
3	53	13
4	54	13
done	54	13
0	15	17
1	22	17
2	38	17
3	53	17
4	69	17
5	79	17
6	96	17
7	105	17
8	106	17
done	106	17
0	9	12
1	17	12
2	33	8
3	71	8
4	141	8
5	187	8
done	187	8
0	15	17
1	22	17
2	38	17
3	53	17
4	69	17
5	79	17
6	96	17
7	105	17
8	106	17
done	106	17
0	8	9
1	14	9
2	23	5
3	45	5
4	62	5
5	68	5
done	68	5
0	15	17
1	22	17
2	38	17
3	53	17
4	69	17
5	79	17
6	96	17
7	105	17
8	106	17
done	106	17
0	6	8
1	12	6
2	24	2
3	25	2
4	26	2
5	27	2
done	27	2
0	14	16
1	21	16
2	37	16
3	52	16
4	69	16
5	79	16
6	96	16
7	105	16
8	106	16
done	106	16
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	16	20
1	25	20
2	46	20
3	80	20
4	124	20
5	154	20
6	212	20
7	246	20
8	255	20
done	255	20
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	16	20
1	25	20
2	46	20
3	80	20
4	124	20
5	154	20
6	212	20
7	246	20
8	255	20
done	255	20
0	3	5
1	6	1
done	6	1
0	15	19
1	24	19
2	45	19
3	79	19
4	122	19
5	152	19
6	210	19
7	243	19
8	252	19
done	252	19
0	14	17
1	23	17
2	37	17
3	45	15
4	69	15
5	86	15
done	86	15
0	10	12
1	18	12
2	32	12
3	66	10
4	111	10
5	245	10
6	455	10
7	462	10
done	462	10
0	13	14
1	20	14
2	30	14
3	31	12
4	44	12
5	51	12
done	51	12
0	10	12
1	18	12
2	32	12
3	66	10
4	111	10
5	245	10
6	455	10
7	462	10
done	462	10
0	11	13
1	18	11
2	30	11
done	30	11
0	9	11
1	17	11
2	31	11
3	65	9
4	110	9
5	245	9
6	454	9
7	462	9
done	462	9
0	2	3
1	4	1
done	4	1
0	15	19
1	24	19
2	45	19
3	79	19
4	122	19
5	152	19
6	210	19
7	243	19
8	252	19
done	252	19
0	13	17
1	22	17
2	36	17
3	44	15
4	68	15
5	81	15
done	81	15
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	15	19
1	26	19
2	47	19
3	81	17
4	116	17
5	175	17
6	196	17
done	196	17
0	15	19
1	24	19
2	46	19
3	75	19
4	104	19
5	107	19
done	107	19
0	17	39
1	26	39
2	39	39
3	47	39
done	47	39
0	16	20
1	23	20
2	36	20
3	44	20
done	44	20
0	19	41
1	32	41
2	60	41
3	89	41
4	115	41
5	146	41
6	167	41
7	177	41
done	177	41
0	18	38
1	27	38
2	42	38
3	55	38
4	63	38
5	69	38
6	72	38
done	72	38
0	17	37
1	28	35
2	48	35
3	75	35
4	83	35
5	92	35
6	107	35
7	110	35
done	110	35
0	18	24
1	27	24
2	41	24
3	49	24
4	53	24
5	62	24
6	68	24
7	73	24
8	74	24
done	74	24
0	17	21
1	24	21
2	34	21
3	35	21
4	37	21
5	39	21
6	40	21
done	40	21
0	16	20
1	25	18
2	38	18
3	43	18
done	43	18
0	18	32
1	29	32
2	64	32
3	145	32
4	312	32
5	487	32
6	628	32
7	694	32
8	699	32
done	699	32
0	17	29
1	26	29
2	52	29
3	99	29
4	171	29
5	220	29
6	271	29
7	286	29
8	287	29
done	287	29
0	16	28
1	27	26
2	58	26
3	114	26
4	150	26
5	180	26
6	229	26
7	256	26
8	262	26
done	262	26
0	17	21
1	26	21
2	49	21
3	80	21
4	122	21
5	167	21
6	203	21
7	248	21
8	262	21
done	262	21
0	16	18
1	23	18
2	39	18
3	54	18
4	70	18
5	80	18
6	97	18
7	106	18
8	108	18
done	108	18
0	15	17
1	24	15
2	45	15
3	65	15
4	72	15
5	76	15
6	86	15
7	102	15
8	109	15
done	109	15
0	10	12
1	18	12
2	34	12
3	65	10
4	108	10
5	245	10
6	473	10
7	492	10
done	492	10
0	9	9
1	15	9
2	24	9
3	39	7
4	60	7
5	120	7
6	190	7
done	190	7
0	7	8
1	13	6
2	27	6
3	41	4
4	47	4
5	66	4
6	87	4
7	93	4
done	93	4
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	14	17
1	21	17
2	35	17
3	43	17
4	47	17
5	56	17
6	62	17
7	67	17
done	67	17
0	13	14
1	18	14
2	28	14
3	29	14
4	31	14
5	33	14
6	34	14
done	34	14
0	12	13
1	19	11
2	32	11
3	37	11
done	37	11
0	3	3
1	5	1
done	5	1
0	13	17
1	20	17
2	34	17
3	42	17
4	46	17
5	55	17
6	61	17
7	66	17
done	66	17
0	16	20
1	25	20
2	47	20
3	76	20
4	107	20
5	110	20
done	110	20
0	16	20
1	25	20
2	47	20
3	76	20
4	107	20
5	110	20
done	110	20
0	15	19
1	24	19
2	46	19
3	75	19
4	104	19
5	107	19
done	107	19
0	13	17
1	20	17
2	34	17
3	42	17
4	46	17
5	55	17
6	61	17
7	66	17
done	66	17
0	8	9
1	15	8
2	26	8
3	54	8
4	136	8
5	490	8
6	3044	8
done	5001	8
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	13	8
2	28	8
3	47	8
4	98	8
5	316	8
6	1483	8
done	5000	8
0	8	17
1	11	17
2	18	17
done	18	17
0	7	8
1	10	8
2	17	8
done	17	8
0	8	23
1	12	23
2	33	9
3	118	9
4	454	9
5	1619	9
done	5000	9
0	7	8
1	10	8
2	17	8
done	17	8
0	7	8
1	10	8
2	17	8
done	17	8
0	9	11
1	30	11
2	103	9
3	321	9
4	825	9
5	2254	9
done	5001	9
0	10	23
1	33	19
2	77	17
3	112	15
4	132	15
5	161	15
6	251	15
7	510	15
8	1590	15
done	5000	15
0	4	4
1	9	4
2	11	4
done	11	4
0	8	15
1	25	15
2	59	13
3	126	11
4	201	11
5	347	11
6	607	11
7	1261	11
8	4526	11
done	5000	11
0	6	7
1	8	7
done	8	7
0	4	4
1	9	4
2	11	4
done	11	4
0	26	34
1	61	31
2	148	31
3	431	29
4	1388	21
done	5000	21
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	26	34
1	61	31
2	148	31
3	431	29
4	1388	21
done	5000	21
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	22	25
1	53	23
2	103	19
3	217	17
4	613	17
5	1665	17
done	5000	17
0	23	27
1	52	24
2	110	22
3	253	19
4	596	17
5	2023	17
done	5001	17
0	27	32
1	62	30
2	152	28
3	485	25
4	1903	24
done	5001	24
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7
0	7	7
1	15	7
2	30	7
3	35	7
4	41	7
5	51	7
6	73	7
7	137	7
8	354	7
9	1301	7
done	5000	7

prune216.0ms

Filtered

154 candidates to 172 candidates (-11.7%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	172	10	182

Merged error: 1.9b

Counts

182 → 10

regimes1.0s

Accuracy

83.3% (3.3b remaining)

Error of 6.6b against oracle of 3.3b and baseline of 23.1b

bsearch51.0ms

Steps

Iters	Range		Point
7	1.2859606482288106e+125	1.0200671223655964e+127	1.8586954844011563e+126
7	-2.56907999783379e+155	-4.8701329249536646e+153	-6.6001431934350606e+153

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	29
1	27	29
2	29	29
done	29	29

end0.0ms

sample1.5s

Algorithm

intervals

Results

526.0ms	8885×	body	80	valid
165.0ms	2982×	body	80	nan

Details

sample48.0ms

simplify57.0ms

prune4.0ms

localize11.0ms

rewrite31.0ms

series64.0ms

simplify1.3min

prune170.0ms

localize11.0ms

rewrite33.0ms

series79.0ms

simplify1.2min

prune178.0ms

localize11.0ms

rewrite63.0ms

series84.0ms

simplify1.7min

prune238.0ms

localize20.0ms

rewrite42.0ms

series159.0ms

simplify2.1min

prune216.0ms

regimes1.0s

bsearch51.0ms

simplify4.0ms

end0.0ms

sample1.5s

Profiling