Details

sample46.0ms

Algorithm

intervals

Results

17.0ms

265×

body

valid

simplify22.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17

prune5.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: 16.9b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
4.2b	(/ (* y b) t)
4.8b	(/ (* y z) t)
12.4b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
26×	`times-frac`
24×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
9×	`add-log-exp`
6×	`associate-/l*`
5×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`pow1` `frac-add` `associate-/r/`
3×	`frac-2neg` `clear-num` `sum-log` `div-inv`
2×	`prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `associate-+l+`

Counts

4 → 106

Calls

4 calls:

11.0ms	(+ (+ a 1.0) (/ (* y b) t))
5.0ms	(/ (* y b) t)
6.0ms	(/ (* y z) t)
15.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series66.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(+ (+ a 1.0) (/ (* y b) t))
5.0ms	(/ (* y b) t)
6.0ms	(/ (* y z) t)
45.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify1.8min

Counts

118 → 118

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	19
1	30	19
2	43	19
3	49	19
4	51	19
done	51	19
0	16	18
1	30	18
2	44	18
3	53	18
4	55	18
done	55	18
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	19	53
1	63	53
2	235	21
3	1058	19
done	5001	19
0	17	37
1	28	37
2	40	37
3	48	37
4	50	37
done	50	37
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	17	53
1	35	53
2	79	19
3	187	19
4	581	19
5	2223	19
done	5000	19
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	8	8
1	15	8
2	25	8
3	40	8
4	53	8
5	56	8
done	56	8
0	10	10
1	20	10
2	42	10
3	76	10
4	103	10
5	121	10
6	169	10
7	240	10
8	243	10
9	245	10
10	249	10
done	249	10
0	19	39
1	36	39
2	57	39
3	71	39
4	73	39
done	73	39
0	17	19
1	28	19
2	40	19
3	46	19
4	48	19
done	48	19
0	18	28
1	31	28
2	45	28
3	52	28
4	54	28
done	54	28
0	17	19
1	28	19
2	40	19
3	46	19
4	48	19
done	48	19
0	11	19
1	19	17
2	29	17
3	37	17
4	38	17
done	38	17
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	11	19
1	19	17
2	29	17
3	37	17
4	38	17
done	38	17
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	11	19
1	19	17
2	29	17
3	37	17
4	38	17
done	38	17
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	18	30
1	31	30
2	43	30
3	49	30
4	51	30
done	51	30
0	17	19
1	28	19
2	40	19
3	46	19
4	48	19
done	48	19
0	17	19
1	28	19
2	40	19
3	46	19
4	48	19
done	48	19
0	17	19
1	28	19
2	40	19
3	46	19
4	48	19
done	48	19
0	10	10
1	16	8
2	22	8
3	25	8
4	26	8
done	26	8
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	10	10
1	16	8
2	22	8
3	25	8
4	26	8
done	26	8
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	10	10
1	16	8
2	22	8
3	25	8
4	26	8
done	26	8
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	13	23
1	24	23
2	34	23
3	37	23
4	38	23
done	38	23
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	12	12
1	21	12
2	31	12
3	36	12
4	37	12
done	37	12
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	2	3
1	4	1
done	4	1
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	2	3
1	4	1
done	4	1
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	2	3
1	4	1
done	4	1
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	13	23
1	24	23
2	34	23
3	37	23
4	38	23
done	38	23
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	12	12
1	21	12
2	31	12
3	36	12
4	37	12
done	37	12
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	2	3
1	4	1
done	4	1
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	2	3
1	4	1
done	4	1
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	2	3
1	4	1
done	4	1
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	11	11
1	20	11
2	30	11
3	33	11
4	34	11
done	34	11
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	17	29
1	30	29
2	42	29
3	50	29
4	52	29
done	52	29
0	16	18
1	27	18
2	39	18
3	47	18
4	49	18
done	49	18
0	9	9
1	15	7
2	21	7
3	24	7
4	25	7
done	25	7
0	9	9
1	15	7
2	21	7
3	24	7
4	25	7
done	25	7
0	9	9
1	15	7
2	21	7
3	24	7
4	25	7
done	25	7
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	16	18
1	27	18
2	39	18
3	45	18
4	47	18
done	47	18
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	15	17
1	26	17
2	38	17
3	46	17
4	48	17
done	48	17
0	24	33
1	54	31
2	104	31
3	253	31
4	586	31
5	1193	31
6	2414	31
done	5001	31
0	19	25
1	35	25
2	73	25
3	181	21
4	358	21
5	682	21
6	1642	21
done	5001	21
0	18	21
1	43	21
2	106	21
3	335	21
4	1371	21
done	5000	21
0	17	27
1	40	27
2	102	27
3	309	27
4	1026	27
5	2941	27
done	5000	27
0	19	33
1	50	27
2	169	27
3	745	27
4	3603	27
done	5000	27
0	15	17
1	28	17
2	65	17
3	193	17
4	657	17
5	2102	17
6	4599	17
done	5000	17
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	12	12
1	21	11
2	38	10
3	52	10
4	61	10
5	86	10
6	177	10
7	436	10
8	1199	10
9	3827	10
done	5001	10
0	11	11
1	21	10
2	35	10
3	52	10
4	61	10
5	86	10
6	175	10
7	431	10
8	1187	10
9	3834	10
done	5000	10
0	10	10
1	17	10
2	27	10
3	30	10
4	31	10
done	31	10
0	10	10
1	20	10
2	37	10
3	54	10
4	63	10
5	88	10
6	181	10
7	442	10
8	1197	10
9	3838	10
done	5000	10
0	11	21
1	18	21
2	28	21
3	31	21
4	32	21
done	32	21
0	10	10
1	17	10
2	27	10
3	30	10
4	31	10
done	31	10
0	11	29
1	31	29
2	125	11
3	665	11
4	3803	11
done	5000	11
0	10	10
1	17	10
2	27	10
3	30	10
4	31	10
done	31	10
0	10	10
1	17	10
2	27	10
3	30	10
4	31	10
done	31	10
0	18	25
1	44	23
2	90	23
3	238	23
4	548	23
5	1120	23
6	2307	23
done	5000	23
0	9	13
1	18	11
2	41	11
3	82	11
4	143	11
5	199	11
6	261	11
7	321	11
8	451	11
9	696	11
10	777	11
11	779	11
done	779	11
0	13	17
1	25	17
2	59	17
3	164	13
4	336	13
5	670	13
6	1617	13
done	5000	13
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	12	13
1	33	13
2	94	13
3	320	13
4	1361	13
done	5001	13
0	13	29
1	37	23
2	122	23
3	420	23
4	1438	23
5	3693	23
done	5000	23
0	11	19
1	30	19
2	88	19
3	292	19
4	1008	19
5	2917	19
done	5000	19
0	9	9
1	17	9
2	32	9
3	52	9
4	71	9
5	83	9
6	96	9
7	109	9
8	118	9
9	127	9
10	164	9
11	213	9
done	213	9
0	9	9
1	16	9
2	26	9
3	29	9
4	30	9
done	30	9
0	9	9
1	16	9
2	26	9
3	29	9
4	30	9
done	30	9
0	7	7
1	11	7
2	15	7
3	18	7
4	19	7
done	19	7
0	7	9
1	16	7
2	35	7
3	65	7
4	73	7
5	79	7
6	98	7
7	105	7
8	132	7
9	244	7
10	317	7
done	317	7
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	9	9
1	16	9
2	26	9
3	29	9
4	30	9
done	30	9
0	9	9
1	16	9
2	26	9
3	29	9
4	30	9
done	30	9
0	9	9
1	16	9
2	26	9
3	29	9
4	30	9
done	30	9

prune251.0ms

Filtered

86 candidates to 118 candidates (-37.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	104	14	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	14	119

Merged error: 10.1b

Counts

119 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
2.9b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.2b	(/ (* y b) t)
12.4b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
48×	`add-sqr-sqrt`
46×	`times-frac`
32×	`add-exp-log` `add-cube-cbrt`
25×	`add-cbrt-cube`
22×	`associate-r`
14×	`cbrt-prod`
12×	`distribute-lft-out`
10×	`cbrt-undiv` `div-exp`
9×	`prod-exp` `cbrt-unprod`
8×	`associate-/r*`
7×	`associate-l`
6×	`pow1` `unswap-sqr`
4×	`associate-/r/` `div-inv` `associate-/l*` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 132

Calls

4 calls:

2.0ms	(cbrt t)
17.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
6.0ms	(/ (* y b) t)
16.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

series124.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt t)
11.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
5.0ms	(/ (* y b) t)
82.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* y b) t)))

simplify4.4min

Counts

144 → 144

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	26
1	37	26
2	67	26
3	106	26
4	143	22
5	154	19
6	176	19
7	203	19
8	228	19
9	259	19
10	317	19
11	534	19
12	1467	19
done	5001	19
0	19	25
1	37	25
2	68	25
3	108	25
4	145	21
5	156	18
6	178	18
7	207	18
8	232	18
9	263	18
10	319	18
11	534	18
12	1485	18
done	5001	18
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	22	74
1	70	74
2	275	28
3	1292	26
done	5000	26
0	20	51
1	35	51
2	64	51
3	101	51
4	138	43
5	149	37
6	171	37
7	199	37
8	224	37
9	255	37
10	315	37
11	528	37
12	1440	37
done	5000	37
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	20	74
1	42	74
2	103	26
3	266	26
4	914	22
5	4316	19
done	5000	19
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	11	15
1	22	15
2	53	15
3	120	15
4	215	11
5	277	8
6	297	8
7	303	8
8	313	8
9	336	8
10	397	8
11	609	8
12	1549	8
done	5000	8
0	10	10
1	20	10
2	42	10
3	76	10
4	103	10
5	121	10
6	169	10
7	240	10
8	243	10
9	245	10
10	249	10
done	249	10
0	22	53
1	43	53
2	81	53
3	124	53
4	160	45
5	171	39
6	193	39
7	222	39
8	247	39
9	278	39
10	339	39
11	556	39
12	1486	39
done	5000	39
0	20	26
1	35	26
2	64	26
3	101	26
4	138	22
5	149	19
6	171	19
7	199	19
8	224	19
9	255	19
10	315	19
11	530	19
12	1440	19
done	5000	19
0	21	42
1	38	42
2	69	42
3	107	42
4	144	34
5	155	28
6	177	28
7	204	28
8	229	28
9	260	28
10	318	28
11	538	28
12	1480	28
done	5000	28
0	20	26
1	35	26
2	64	26
3	101	26
4	138	22
5	149	19
6	171	19
7	199	19
8	224	19
9	255	19
10	315	19
11	530	19
12	1440	19
done	5000	19
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	25
1	34	25
2	63	25
3	100	25
4	136	21
5	147	18
6	169	18
7	197	18
8	222	18
9	253	18
10	318	18
11	540	18
12	1463	18
done	5001	18
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	25
1	34	25
2	63	25
3	100	25
4	136	21
5	147	18
6	169	18
7	197	18
8	222	18
9	253	18
10	318	18
11	540	18
12	1463	18
done	5001	18
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	25
1	34	25
2	63	25
3	100	25
4	136	21
5	147	18
6	169	18
7	197	18
8	222	18
9	253	18
10	318	18
11	540	18
12	1463	18
done	5001	18
0	21	37
1	38	37
2	67	37
3	106	37
4	143	33
5	154	30
6	176	30
7	203	30
8	228	30
9	259	30
10	317	30
11	537	30
12	1472	30
done	5000	30
0	20	26
1	35	26
2	64	26
3	101	26
4	138	22
5	149	19
6	171	19
7	199	19
8	224	19
9	255	19
10	315	19
11	530	19
12	1440	19
done	5000	19
0	20	26
1	35	26
2	64	26
3	101	26
4	138	22
5	149	19
6	171	19
7	199	19
8	224	19
9	255	19
10	315	19
11	530	19
12	1440	19
done	5000	19
0	20	26
1	35	26
2	64	26
3	101	26
4	138	22
5	149	19
6	171	19
7	199	19
8	224	19
9	255	19
10	315	19
11	530	19
12	1440	19
done	5000	19
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	25
1	34	25
2	63	25
3	100	25
4	136	21
5	147	18
6	169	18
7	197	18
8	222	18
9	253	18
10	318	18
11	540	18
12	1463	18
done	5001	18
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	25
1	34	25
2	63	25
3	100	25
4	136	21
5	147	18
6	169	18
7	197	18
8	222	18
9	253	18
10	318	18
11	540	18
12	1463	18
done	5001	18
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	25
1	34	25
2	63	25
3	100	25
4	136	21
5	147	18
6	169	18
7	197	18
8	222	18
9	253	18
10	318	18
11	540	18
12	1463	18
done	5001	18
0	13	23
1	24	23
2	34	23
3	37	23
4	38	23
done	38	23
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	12	12
1	21	12
2	31	12
3	36	12
4	37	12
done	37	12
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	18	24
1	33	24
2	62	24
3	99	24
4	135	20
5	146	17
6	168	17
7	198	17
8	223	17
9	254	17
10	319	17
11	537	17
12	1466	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	18	24
1	33	24
2	62	24
3	99	24
4	135	20
5	146	17
6	168	17
7	198	17
8	223	17
9	254	17
10	319	17
11	537	17
12	1466	17
done	5000	17
0	2	3
1	4	1
done	4	1
0	18	24
1	33	24
2	62	24
3	99	24
4	135	20
5	146	17
6	168	17
7	198	17
8	223	17
9	254	17
10	319	17
11	537	17
12	1466	17
done	5000	17
0	11	11
1	20	11
2	30	11
3	33	11
4	34	11
done	34	11
0	18	24
1	33	24
2	62	24
3	99	24
4	136	20
5	147	17
6	169	17
7	199	17
8	224	17
9	257	17
10	322	17
11	539	17
12	1463	17
done	5000	17
0	20	36
1	37	36
2	66	36
3	105	36
4	142	32
5	153	29
6	175	29
7	204	29
8	229	29
9	260	29
10	318	29
11	533	29
12	1459	29
done	5000	29
0	19	25
1	34	25
2	63	25
3	102	25
4	138	21
5	149	18
6	171	18
7	199	18
8	224	18
9	255	18
10	315	18
11	530	18
12	1434	18
done	5000	18
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	19	25
1	34	25
2	63	25
3	100	25
4	135	21
5	146	18
6	168	18
7	198	18
8	223	18
9	254	18
10	319	18
11	537	18
12	1469	18
done	5000	18
0	19	25
1	34	25
2	63	25
3	100	25
4	135	21
5	146	18
6	168	18
7	198	18
8	223	18
9	254	18
10	319	18
11	537	18
12	1469	18
done	5000	18
0	18	24
1	33	24
2	62	24
3	99	24
4	136	20
5	147	17
6	169	17
7	199	17
8	224	17
9	257	17
10	322	17
11	539	17
12	1463	17
done	5000	17
0	27	40
1	61	38
2	126	38
3	308	38
4	664	34
5	1249	31
6	2497	31
done	5000	31
0	22	32
1	42	32
2	95	32
3	234	28
4	436	24
5	781	21
6	1748	21
done	5001	21
0	21	28
1	50	28
2	130	28
3	390	28
4	1483	24
done	5001	24
0	20	34
1	47	34
2	126	34
3	366	34
4	1121	30
5	3057	27
done	5000	27
0	22	54
1	60	41
2	246	41
3	1235	41
done	5000	41
0	18	24
1	35	24
2	95	24
3	289	24
4	1068	20
5	4084	17
done	5001	17
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	11	17
1	24	15
2	62	15
3	155	15
4	321	12
5	483	11
6	625	11
7	668	11
done	668	11
0	11	16
1	22	14
2	53	14
3	125	14
4	277	14
5	443	11
6	586	11
7	632	11
done	632	11
0	12	16
1	22	16
2	52	15
3	143	15
4	293	12
5	457	11
6	602	11
7	647	11
done	647	11
0	11	15
1	20	15
2	45	14
3	116	14
4	260	14
5	429	11
6	570	11
7	616	11
done	616	11
0	11	15
1	21	15
2	39	15
3	101	15
4	224	14
5	461	11
6	592	11
7	665	11
8	667	11
done	667	11
0	10	14
1	19	14
2	34	14
3	81	14
4	192	14
5	403	12
6	565	11
7	648	11
8	665	11
done	665	11
0	9	13
1	19	13
2	51	13
3	118	13
4	270	9
5	498	6
6	800	6
7	987	6
8	1065	6
9	1092	6
10	1156	6
11	1364	6
12	2301	6
done	5000	6
0	9	13
1	18	13
2	43	13
3	89	13
4	164	9
5	281	6
6	578	6
7	2278	6
done	5000	6
0	11	17
1	27	17
2	96	13
3	381	13
4	1504	11
5	4326	9
done	5000	9
0	12	24
1	32	24
2	116	14
3	489	14
4	2600	13
done	5000	13
0	14	31
1	38	31
2	167	17
3	1120	13
done	5001	13
0	14	38
1	42	38
2	186	18
3	1257	13
done	5000	13
0	12	31
1	29	31
2	110	15
3	544	15
4	3212	13
done	5000	13
0	12	38
1	33	38
2	129	16
3	636	16
4	3855	13
done	5000	7
0	10	27
1	17	27
2	36	27
3	70	27
4	105	19
5	116	13
6	120	13
7	126	13
8	136	13
9	157	13
10	217	13
11	435	13
12	1370	13
done	5000	13
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	10	38
1	27	38
2	129	14
3	786	14
4	3968	7
done	5000	7
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	19
1	17	19
2	35	19
3	69	19
4	115	19
5	142	19
6	151	19
7	152	19
done	152	19
0	9	13
1	14	13
2	25	13
3	38	13
4	48	13
5	51	13
done	51	13
0	11	20
1	20	20
2	48	20
3	134	20
4	334	20
5	569	20
6	639	20
7	647	20
done	647	20
0	12	17
1	21	17
2	49	17
3	135	17
4	335	17
5	571	17
6	641	17
7	649	17
done	649	17
0	12	16
1	23	15
2	51	15
3	134	13
4	384	13
5	584	13
6	618	13
done	618	13
0	12	21
1	25	21
2	76	21
3	238	21
4	706	21
5	1497	21
6	1760	21
7	1774	21
done	1774	21
0	11	17
1	20	17
2	48	17
3	134	17
4	334	17
5	569	17
6	639	17
7	647	17
done	647	17
0	11	15
1	22	13
2	56	13
3	192	13
4	471	13
5	622	13
6	624	13
done	624	13
0	10	17
1	17	17
2	36	17
3	79	17
4	151	17
5	202	17
6	209	17
done	209	17
0	11	14
1	18	14
2	37	14
3	80	14
4	152	14
5	202	14
6	209	14
done	209	14
0	11	13
1	20	12
2	39	12
3	82	10
4	223	10
5	329	10
6	342	10
done	342	10
0	11	18
1	20	18
2	49	18
3	126	18
4	303	18
5	505	18
6	539	18
done	539	18
0	10	14
1	17	14
2	36	14
3	79	14
4	151	14
5	202	14
6	209	14
done	209	14
0	10	12
1	19	10
2	40	10
3	97	10
4	205	10
5	226	10
done	226	10
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	9
5	47	9
done	47	9
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune255.0ms

Filtered

114 candidates to 144 candidates (-26.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	139	5	144
Fresh	2	11	13
Picked	1	0	1
Done	0	0	0
Total	142	16	158

Merged error: 9.9b

Counts

158 → 16

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
2.9b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
5.3b	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
12.4b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

75×	`add-sqr-sqrt`
65×	`times-frac`
48×	`add-exp-log`
44×	`associate-r`
43×	`add-cube-cbrt` `*-un-lft-identity`
34×	`add-cbrt-cube`
25×	`cbrt-prod`
16×	`prod-exp` `cbrt-unprod`
15×	`cbrt-undiv` `div-exp`
14×	`associate-l`
12×	`unswap-sqr`
8×	`pow1` `associate-/r/`
6×	`frac-add`
5×	`flip3-+` `flip-+` `div-inv`
4×	`frac-times` `associate-r/` `associate-l/` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow-prod-down` `*-commutative` `associate-/l/`
1×	`frac-2neg` `pow1/3` `clear-num`

Counts

4 → 166

Calls

4 calls:

2.0ms	(cbrt t)
21.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
16.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
11.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

series136.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt t)
11.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
12.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))
87.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (* (/ y (* (cbrt t) (cbrt t))) (/ b (cbrt t)))))

simplify4.9min

Counts

178 → 178

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	33
1	39	33
2	84	33
3	145	33
4	203	25
5	218	19
6	222	19
7	228	19
8	238	19
9	259	19
10	319	19
11	531	19
12	1464	19
done	5000	19
0	19	32
1	39	32
2	85	32
3	147	32
4	204	24
5	219	18
6	223	18
7	229	18
8	239	18
9	260	18
10	321	18
11	531	18
12	1473	18
done	5000	18
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	22	95
1	72	95
2	308	35
3	1601	33
done	5001	33
0	20	65
1	37	65
2	81	65
3	144	65
4	202	49
5	217	37
6	221	37
7	227	37
8	237	37
9	258	37
10	319	37
11	529	37
12	1443	37
done	5001	37
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	20	95
1	44	95
2	120	33
3	309	33
4	989	25
5	4448	19
done	5000	19
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	11	15
1	22	15
2	53	15
3	120	15
4	215	11
5	277	8
6	297	8
7	303	8
8	313	8
9	336	8
10	397	8
11	609	8
12	1549	8
done	5000	8
0	13	17
1	27	17
2	70	17
3	156	17
4	265	13
5	343	10
6	434	10
7	652	10
8	665	10
9	690	10
10	753	10
11	967	10
12	1926	10
done	5000	10
0	22	67
1	45	67
2	98	67
3	165	67
4	225	51
5	240	39
6	244	39
7	250	39
8	260	39
9	281	39
10	344	39
11	556	39
12	1484	39
done	5001	39
0	20	33
1	37	33
2	81	33
3	144	33
4	204	25
5	219	19
6	223	19
7	229	19
8	239	19
9	260	19
10	321	19
11	533	19
12	1481	19
done	5000	19
0	21	49
1	40	49
2	86	49
3	148	49
4	205	37
5	220	28
6	224	28
7	230	28
8	240	28
9	261	28
10	317	28
11	537	28
12	1477	28
done	5000	28
0	20	33
1	37	33
2	81	33
3	144	33
4	204	25
5	219	19
6	223	19
7	229	19
8	239	19
9	260	19
10	321	19
11	533	19
12	1481	19
done	5000	19
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1459	18
done	5000	18
0	21	51
1	40	51
2	84	51
3	145	51
4	204	39
5	219	30
6	223	30
7	229	30
8	239	30
9	260	30
10	321	30
11	530	30
12	1474	30
done	5001	30
0	20	33
1	37	33
2	81	33
3	144	33
4	204	25
5	219	19
6	223	19
7	229	19
8	239	19
9	260	19
10	321	19
11	533	19
12	1481	19
done	5000	19
0	20	33
1	37	33
2	81	33
3	144	33
4	204	25
5	219	19
6	223	19
7	229	19
8	239	19
9	260	19
10	321	19
11	533	19
12	1481	19
done	5000	19
0	20	33
1	37	33
2	81	33
3	144	33
4	204	25
5	219	19
6	223	19
7	229	19
8	239	19
9	260	19
10	321	19
11	533	19
12	1481	19
done	5000	19
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1459	18
done	5000	18
0	16	37
1	31	37
2	56	37
3	90	37
4	125	29
5	136	23
6	140	23
7	146	23
8	156	23
9	177	23
10	239	23
11	446	23
12	1366	23
done	5000	23
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	15	19
1	28	19
2	53	19
3	87	19
4	122	15
5	133	12
6	137	12
7	143	12
8	153	12
9	174	12
10	235	12
11	441	12
12	1381	12
done	5000	12
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	18	31
1	35	31
2	79	31
3	142	31
4	202	23
5	217	17
6	221	17
7	227	17
8	237	17
9	258	17
10	319	17
11	528	17
12	1454	17
done	5000	17
0	14	18
1	27	18
2	52	18
3	86	18
4	121	14
5	132	11
6	136	11
7	142	11
8	152	11
9	175	11
10	237	11
11	452	11
12	1373	11
done	5001	11
0	18	31
1	35	31
2	79	31
3	140	31
4	199	23
5	214	17
6	218	17
7	224	17
8	234	17
9	255	17
10	314	17
11	520	17
12	1427	17
done	5000	17
0	20	50
1	39	50
2	83	50
3	144	50
4	203	38
5	218	29
6	222	29
7	228	29
8	238	29
9	259	29
10	319	29
11	534	29
12	1466	29
done	5000	29
0	19	32
1	36	32
2	80	32
3	143	32
4	203	24
5	218	18
6	222	18
7	228	18
8	238	18
9	259	18
10	319	18
11	534	18
12	1461	18
done	5000	18
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	19	32
1	36	32
2	80	32
3	141	32
4	201	24
5	216	18
6	220	18
7	226	18
8	236	18
9	259	18
10	320	18
11	533	18
12	1472	18
done	5000	18
0	19	32
1	36	32
2	80	32
3	141	32
4	201	24
5	216	18
6	220	18
7	226	18
8	236	18
9	259	18
10	320	18
11	533	18
12	1472	18
done	5000	18
0	18	31
1	35	31
2	79	31
3	140	31
4	199	23
5	214	17
6	218	17
7	224	17
8	234	17
9	255	17
10	314	17
11	520	17
12	1427	17
done	5000	17
0	28	47
1	65	45
2	138	41
3	342	31
4	803	31
5	1781	31
6	4825	31
done	5000	31
0	27	47
1	63	45
2	147	45
3	427	45
4	1306	41
5	3396	38
done	5000	38
0	28	47
1	66	45
2	142	45
3	387	45
4	1044	41
5	2398	38
done	5001	38
0	23	39
1	46	39
2	110	35
3	311	21
4	689	21
5	1396	21
6	2737	21
done	5001	21
0	22	39
1	44	39
2	116	39
3	343	35
4	758	31
5	1484	28
6	2779	28
done	5000	28
0	23	39
1	47	39
2	113	39
3	315	35
4	706	31
5	1290	28
6	2465	28
done	5000	28
0	21	35
1	52	35
2	172	35
3	692	21
4	3532	21
done	5000	21
0	20	48
1	52	48
2	187	48
3	694	48
4	2810	36
done	5000	36
0	22	61
1	62	48
2	263	48
3	1318	48
done	5000	48
0	18	31
1	37	31
2	112	31
3	341	31
4	1243	23
done	5000	23
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	11	17
1	24	15
2	62	15
3	155	15
4	321	12
5	483	11
6	625	11
7	668	11
done	668	11
0	11	16
1	22	14
2	53	14
3	125	14
4	277	14
5	443	11
6	586	11
7	632	11
done	632	11
0	12	16
1	22	16
2	52	15
3	143	15
4	293	12
5	457	11
6	602	11
7	647	11
done	647	11
0	11	15
1	20	15
2	45	14
3	116	14
4	260	14
5	429	11
6	570	11
7	616	11
done	616	11
0	11	15
1	21	15
2	39	15
3	101	15
4	224	14
5	461	11
6	592	11
7	665	11
8	667	11
done	667	11
0	10	14
1	19	14
2	34	14
3	81	14
4	192	14
5	403	12
6	565	11
7	648	11
8	665	11
done	665	11
0	9	13
1	19	13
2	51	13
3	118	13
4	270	9
5	498	6
6	800	6
7	987	6
8	1065	6
9	1092	6
10	1156	6
11	1364	6
12	2301	6
done	5000	6
0	9	13
1	18	13
2	43	13
3	89	13
4	164	9
5	281	6
6	578	6
7	2278	6
done	5000	6
0	11	17
1	27	17
2	96	13
3	381	13
4	1504	11
5	4326	9
done	5000	9
0	12	24
1	32	24
2	116	14
3	489	14
4	2600	13
done	5000	13
0	14	31
1	38	31
2	167	17
3	1120	13
done	5001	13
0	14	38
1	42	38
2	186	18
3	1257	13
done	5000	13
0	12	31
1	29	31
2	110	15
3	544	15
4	3212	13
done	5000	13
0	12	38
1	33	38
2	129	16
3	636	16
4	3855	13
done	5000	7
0	10	27
1	17	27
2	36	27
3	70	27
4	105	19
5	116	13
6	120	13
7	126	13
8	136	13
9	157	13
10	217	13
11	435	13
12	1370	13
done	5000	13
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	10	38
1	27	38
2	129	14
3	786	14
4	3968	7
done	5000	7
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	19
1	17	19
2	35	19
3	69	19
4	115	19
5	142	19
6	151	19
7	152	19
done	152	19
0	9	13
1	14	13
2	25	13
3	38	13
4	48	13
5	51	13
done	51	13
0	11	20
1	20	20
2	48	20
3	134	20
4	334	20
5	569	20
6	639	20
7	647	20
done	647	20
0	12	17
1	21	17
2	49	17
3	135	17
4	335	17
5	571	17
6	641	17
7	649	17
done	649	17
0	12	16
1	23	15
2	51	15
3	134	13
4	384	13
5	584	13
6	618	13
done	618	13
0	12	21
1	25	21
2	76	21
3	238	21
4	706	21
5	1497	21
6	1760	21
7	1774	21
done	1774	21
0	11	17
1	20	17
2	48	17
3	134	17
4	334	17
5	569	17
6	639	17
7	647	17
done	647	17
0	11	15
1	22	13
2	56	13
3	192	13
4	471	13
5	622	13
6	624	13
done	624	13
0	10	17
1	17	17
2	36	17
3	79	17
4	151	17
5	202	17
6	209	17
done	209	17
0	11	14
1	18	14
2	37	14
3	80	14
4	152	14
5	202	14
6	209	14
done	209	14
0	11	13
1	20	12
2	39	12
3	82	10
4	223	10
5	329	10
6	342	10
done	342	10
0	11	18
1	20	18
2	49	18
3	126	18
4	303	18
5	505	18
6	539	18
done	539	18
0	10	14
1	17	14
2	36	14
3	79	14
4	151	14
5	202	14
6	209	14
done	209	14
0	10	12
1	19	10
2	40	10
3	97	10
4	205	10
5	226	10
done	226	10
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	9
5	47	9
done	47	9
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	11	17
1	24	15
2	62	15
3	155	15
4	321	12
5	483	11
6	625	11
7	668	11
done	668	11
0	11	16
1	22	14
2	53	14
3	125	14
4	277	14
5	443	11
6	586	11
7	632	11
done	632	11
0	12	16
1	22	16
2	52	15
3	143	15
4	293	12
5	457	11
6	602	11
7	647	11
done	647	11
0	11	15
1	20	15
2	45	14
3	116	14
4	260	14
5	429	11
6	570	11
7	616	11
done	616	11
0	11	15
1	21	15
2	39	15
3	101	15
4	224	14
5	461	11
6	592	11
7	665	11
8	667	11
done	667	11
0	10	14
1	19	14
2	34	14
3	81	14
4	192	14
5	403	12
6	565	11
7	648	11
8	665	11
done	665	11
0	9	13
1	19	13
2	51	13
3	118	13
4	270	9
5	498	6
6	800	6
7	987	6
8	1065	6
9	1092	6
10	1156	6
11	1364	6
12	2301	6
done	5000	6
0	9	13
1	18	13
2	43	13
3	89	13
4	164	9
5	281	6
6	578	6
7	2278	6
done	5000	6
0	11	17
1	27	17
2	96	13
3	381	13
4	1504	11
5	4326	9
done	5000	9
0	12	24
1	32	24
2	116	14
3	489	14
4	2600	13
done	5000	13
0	14	31
1	38	31
2	167	17
3	1120	13
done	5001	13
0	14	38
1	42	38
2	186	18
3	1257	13
done	5000	13
0	12	31
1	29	31
2	110	15
3	544	15
4	3212	13
done	5000	13
0	12	38
1	33	38
2	129	16
3	636	16
4	3855	13
done	5000	7
0	10	27
1	17	27
2	36	27
3	70	27
4	105	19
5	116	13
6	120	13
7	126	13
8	136	13
9	157	13
10	217	13
11	435	13
12	1370	13
done	5000	13
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	10	38
1	27	38
2	129	14
3	786	14
4	3968	7
done	5000	7
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	19
1	17	19
2	35	19
3	69	19
4	115	19
5	142	19
6	151	19
7	152	19
done	152	19
0	9	13
1	14	13
2	25	13
3	38	13
4	48	13
5	51	13
done	51	13
0	11	20
1	20	20
2	48	20
3	134	20
4	334	20
5	569	20
6	639	20
7	647	20
done	647	20
0	12	17
1	21	17
2	49	17
3	135	17
4	335	17
5	571	17
6	641	17
7	649	17
done	649	17
0	12	16
1	23	15
2	51	15
3	134	13
4	384	13
5	584	13
6	618	13
done	618	13
0	12	21
1	25	21
2	76	21
3	238	21
4	706	21
5	1497	21
6	1760	21
7	1774	21
done	1774	21
0	11	17
1	20	17
2	48	17
3	134	17
4	334	17
5	569	17
6	639	17
7	647	17
done	647	17
0	11	15
1	22	13
2	56	13
3	192	13
4	471	13
5	622	13
6	624	13
done	624	13
0	10	17
1	17	17
2	36	17
3	79	17
4	151	17
5	202	17
6	209	17
done	209	17
0	11	14
1	18	14
2	37	14
3	80	14
4	152	14
5	202	14
6	209	14
done	209	14
0	11	13
1	20	12
2	39	12
3	82	10
4	223	10
5	329	10
6	342	10
done	342	10
0	11	18
1	20	18
2	49	18
3	126	18
4	303	18
5	505	18
6	539	18
done	539	18
0	10	14
1	17	14
2	36	14
3	79	14
4	151	14
5	202	14
6	209	14
done	209	14
0	10	12
1	19	10
2	40	10
3	97	10
4	205	10
5	226	10
done	226	10
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	9
5	47	9
done	47	9
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune297.0ms

Filtered

151 candidates to 178 candidates (-17.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	176	2	178
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	180	14	194

Merged error: 9.8b

Counts

194 → 14

localize19.0ms

Local error

Found 4 expressions with local error:

1.2b	(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
2.9b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
4.0b	(* (/ y (* (cbrt t) (cbrt t))) b)
12.4b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

56×	`add-sqr-sqrt` `*-un-lft-identity`
53×	`times-frac`
50×	`add-exp-log`
36×	`add-cube-cbrt`
35×	`add-cbrt-cube`
25×	`associate-r`
17×	`cbrt-prod`
16×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
14×	`associate-l`
12×	`distribute-lft-out`
11×	`associate-/r*`
8×	`pow1` `unswap-sqr`
5×	`div-inv`
4×	`associate-/r/` `associate-/l*` `add-log-exp`
3×	`flip3-+` `associate-*l/` `flip-+` `associate-/l/`
2×	`frac-2neg` `pow-prod-down` `frac-add` `clear-num` `*-commutative`
1×	`frac-times` `associate-*r/`

Counts

4 → 160

Calls

4 calls:

12.0ms	(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
22.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
10.0ms	(* (/ y (* (cbrt t) (cbrt t))) b)
14.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

series151.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))
12.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
39.0ms	(* (/ y (* (cbrt t) (cbrt t))) b)
89.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ (* (/ y (* (cbrt t) (cbrt t))) b) (cbrt t))))

simplify5.1min

Counts

172 → 172

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	33
1	39	33
2	86	33
3	150	25
4	201	19
5	214	19
6	223	19
7	233	19
8	254	19
9	312	19
10	525	19
11	1449	19
done	5000	19
0	19	32
1	39	32
2	87	32
3	152	24
4	200	18
5	213	18
6	222	18
7	232	18
8	255	18
9	320	18
10	532	18
11	1456	18
done	5001	18
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	22	95
1	72	95
2	294	35
3	1481	25
done	5000	25
0	20	65
1	37	65
2	83	65
3	145	49
4	196	37
5	209	37
6	218	37
7	228	37
8	249	37
9	309	37
10	521	37
11	1451	37
done	5000	37
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	20	95
1	44	95
2	122	33
3	309	25
4	974	19
5	4437	19
done	5000	19
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	11	15
1	22	15
2	53	15
3	120	15
4	215	11
5	277	8
6	297	8
7	303	8
8	313	8
9	336	8
10	397	8
11	609	8
12	1549	8
done	5000	8
0	13	17
1	27	17
2	66	17
3	148	13
4	243	10
5	321	10
6	432	10
7	657	10
8	681	10
9	748	10
10	966	10
11	1893	10
done	5000	10
0	22	67
1	45	67
2	100	67
3	168	51
4	217	39
5	230	39
6	239	39
7	249	39
8	270	39
9	328	39
10	535	39
11	1454	39
done	5001	39
0	20	33
1	37	33
2	83	33
3	145	25
4	197	19
5	210	19
6	219	19
7	229	19
8	250	19
9	310	19
10	530	19
11	1471	19
done	5000	19
0	21	49
1	40	49
2	88	49
3	151	37
4	203	28
5	216	28
6	225	28
7	235	28
8	258	28
9	320	28
10	535	28
11	1482	28
done	5000	28
0	20	33
1	37	33
2	83	33
3	145	25
4	197	19
5	210	19
6	219	19
7	229	19
8	250	19
9	310	19
10	530	19
11	1471	19
done	5000	19
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	32
1	36	32
2	82	32
3	144	24
4	194	18
5	207	18
6	216	18
7	226	18
8	247	18
9	311	18
10	533	18
11	1461	18
done	5000	18
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	32
1	36	32
2	82	32
3	144	24
4	194	18
5	207	18
6	216	18
7	226	18
8	247	18
9	311	18
10	533	18
11	1461	18
done	5000	18
0	14	33
1	26	31
2	51	31
3	90	31
4	125	23
5	136	17
6	140	17
7	146	17
8	156	17
9	179	17
10	241	17
11	451	17
12	1386	17
done	5000	17
0	19	32
1	36	32
2	82	32
3	144	24
4	194	18
5	207	18
6	216	18
7	226	18
8	247	18
9	311	18
10	533	18
11	1461	18
done	5000	18
0	21	51
1	40	51
2	86	51
3	150	39
4	201	30
5	214	30
6	223	30
7	233	30
8	254	30
9	312	30
10	524	30
11	1447	30
done	5000	30
0	20	33
1	37	33
2	83	33
3	145	25
4	197	19
5	210	19
6	219	19
7	229	19
8	250	19
9	310	19
10	530	19
11	1471	19
done	5000	19
0	20	33
1	37	33
2	83	33
3	145	25
4	197	19
5	210	19
6	219	19
7	229	19
8	250	19
9	310	19
10	530	19
11	1471	19
done	5000	19
0	20	33
1	37	33
2	83	33
3	145	25
4	197	19
5	210	19
6	219	19
7	229	19
8	250	19
9	310	19
10	530	19
11	1471	19
done	5000	19
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	32
1	36	32
2	82	32
3	144	24
4	194	18
5	207	18
6	216	18
7	226	18
8	247	18
9	311	18
10	533	18
11	1461	18
done	5000	18
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	32
1	36	32
2	82	32
3	144	24
4	194	18
5	207	18
6	216	18
7	226	18
8	247	18
9	311	18
10	533	18
11	1461	18
done	5000	18
0	13	17
1	23	15
2	44	15
3	78	15
4	112	11
5	123	8
6	127	8
7	133	8
8	143	8
9	164	8
10	224	8
11	440	8
12	1372	8
done	5000	8
0	19	32
1	36	32
2	82	32
3	144	24
4	194	18
5	207	18
6	216	18
7	226	18
8	247	18
9	311	18
10	533	18
11	1461	18
done	5000	18
0	16	37
1	31	37
2	58	37
3	94	29
4	120	23
5	129	23
6	138	23
7	148	23
8	169	23
9	226	23
10	434	23
11	1361	23
done	5000	23
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	15	19
1	28	19
2	55	19
3	91	15
4	117	12
5	126	12
6	135	12
7	145	12
8	166	12
9	227	12
10	436	12
11	1374	12
done	5000	12
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	18	31
1	35	31
2	81	31
3	145	23
4	196	17
5	209	17
6	218	17
7	228	17
8	249	17
9	309	17
10	521	17
11	1451	17
done	5001	17
0	2	3
1	4	1
done	4	1
0	18	31
1	35	31
2	81	31
3	145	23
4	196	17
5	209	17
6	218	17
7	228	17
8	249	17
9	309	17
10	521	17
11	1451	17
done	5001	17
0	2	3
1	4	1
done	4	1
0	18	31
1	35	31
2	81	31
3	145	23
4	196	17
5	209	17
6	218	17
7	228	17
8	249	17
9	309	17
10	521	17
11	1451	17
done	5001	17
0	14	18
1	27	18
2	54	18
3	90	14
4	116	11
5	125	11
6	134	11
7	144	11
8	165	11
9	222	11
10	429	11
11	1354	11
done	5001	11
0	18	31
1	35	31
2	81	31
3	143	23
4	193	17
5	206	17
6	215	17
7	225	17
8	248	17
9	311	17
10	530	17
11	1469	17
done	5000	17
0	20	50
1	39	50
2	85	50
3	147	38
4	198	29
5	211	29
6	220	29
7	230	29
8	251	29
9	309	29
10	524	29
11	1453	29
done	5000	29
0	19	32
1	36	32
2	82	32
3	146	24
4	195	18
5	208	18
6	217	18
7	227	18
8	248	18
9	304	18
10	518	18
11	1437	18
done	5000	18
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	12	16
1	22	14
2	43	14
3	77	14
4	112	10
5	123	7
6	127	7
7	133	7
8	143	7
9	166	7
10	223	7
11	434	7
12	1365	7
done	5000	7
0	19	32
1	36	32
2	82	32
3	144	24
4	193	18
5	206	18
6	215	18
7	225	18
8	248	18
9	311	18
10	540	18
11	1459	18
done	5000	18
0	19	32
1	36	32
2	82	32
3	144	24
4	193	18
5	206	18
6	215	18
7	225	18
8	248	18
9	311	18
10	540	18
11	1459	18
done	5000	18
0	18	31
1	35	31
2	81	31
3	143	23
4	193	17
5	206	17
6	215	17
7	225	17
8	248	17
9	311	17
10	530	17
11	1469	17
done	5000	17
0	27	47
1	63	45
2	147	45
3	427	45
4	1306	41
5	3396	38
done	5000	38
0	22	39
1	44	39
2	116	39
3	343	35
4	758	31
5	1484	28
6	2779	28
done	5000	28
0	21	35
1	52	35
2	150	28
3	536	21
4	2636	21
done	5001	21
0	20	48
1	49	48
2	149	48
3	572	36
4	2638	27
done	5001	27
0	22	61
1	62	48
2	265	48
3	1311	36
done	5000	36
0	18	31
1	37	31
2	114	31
3	345	23
4	1250	17
done	5001	17
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	10	13
1	19	11
2	43	11
3	75	11
4	134	11
5	179	11
6	238	11
7	303	11
8	314	11
9	315	11
done	315	11
0	10	12
1	17	12
2	35	11
3	67	11
4	116	11
5	149	11
6	223	11
7	291	11
8	325	11
9	326	11
done	326	11
0	9	11
1	15	11
2	25	11
3	48	11
4	84	11
5	136	11
6	182	11
7	240	11
8	301	11
9	313	11
10	314	11
done	314	11
0	8	10
1	16	10
2	36	10
3	71	10
4	125	10
5	200	10
6	282	10
7	337	10
8	425	10
9	438	10
done	438	10
0	8	10
1	15	10
2	32	10
3	55	10
4	97	10
5	182	10
6	403	10
7	1083	10
8	4458	10
done	5000	10
0	10	15
1	24	15
2	84	11
3	289	11
4	925	11
5	2262	9
done	5000	9
0	13	29
1	35	29
2	155	15
3	990	11
done	5001	11
0	11	29
1	26	29
2	98	13
3	454	13
4	2188	11
done	5000	11
0	9	21
1	14	21
2	25	21
3	38	21
4	48	21
5	51	21
done	51	21
0	8	10
1	13	10
2	24	10
3	37	10
4	47	10
5	50	10
done	50	10
0	9	29
1	24	29
2	96	11
3	531	11
4	2482	9
done	5000	9
0	8	10
1	13	10
2	24	10
3	37	10
4	47	10
5	50	10
done	50	10
0	8	10
1	13	10
2	24	10
3	37	10
4	47	10
5	50	10
done	50	10
0	9	11
1	12	11
done	12	11
0	9	11
1	12	11
done	12	11
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	9	13
1	16	13
2	34	13
3	68	13
4	117	13
5	141	13
6	150	13
7	151	13
done	151	13
0	8	10
1	13	10
2	24	10
3	37	10
4	47	10
5	50	10
done	50	10
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	8	10
1	11	10
done	11	10
0	8	10
1	11	10
done	11	10
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	7	9
1	14	9
2	24	7
3	32	7
4	44	7
5	77	7
6	81	7
done	81	7
0	3	3
1	4	3
done	4	3
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	11	17
1	24	15
2	62	15
3	155	15
4	321	12
5	483	11
6	625	11
7	668	11
done	668	11
0	11	16
1	22	14
2	53	14
3	125	14
4	277	14
5	443	11
6	586	11
7	632	11
done	632	11
0	12	16
1	22	16
2	52	15
3	143	15
4	293	12
5	457	11
6	602	11
7	647	11
done	647	11
0	11	15
1	20	15
2	45	14
3	116	14
4	260	14
5	429	11
6	570	11
7	616	11
done	616	11
0	11	15
1	21	15
2	39	15
3	101	15
4	224	14
5	461	11
6	592	11
7	665	11
8	667	11
done	667	11
0	10	14
1	19	14
2	34	14
3	81	14
4	192	14
5	403	12
6	565	11
7	648	11
8	665	11
done	665	11
0	9	13
1	19	13
2	51	13
3	118	13
4	270	9
5	498	6
6	800	6
7	987	6
8	1065	6
9	1092	6
10	1156	6
11	1364	6
12	2301	6
done	5000	6
0	9	13
1	18	13
2	43	13
3	89	13
4	164	9
5	281	6
6	578	6
7	2278	6
done	5000	6
0	11	17
1	27	17
2	96	13
3	381	13
4	1504	11
5	4326	9
done	5000	9
0	12	24
1	32	24
2	116	14
3	489	14
4	2600	13
done	5000	13
0	14	31
1	38	31
2	167	17
3	1120	13
done	5001	13
0	14	38
1	42	38
2	186	18
3	1257	13
done	5000	13
0	12	31
1	29	31
2	110	15
3	544	15
4	3212	13
done	5000	13
0	12	38
1	33	38
2	129	16
3	636	16
4	3855	13
done	5000	7
0	10	27
1	17	27
2	36	27
3	70	27
4	105	19
5	116	13
6	120	13
7	126	13
8	136	13
9	157	13
10	217	13
11	435	13
12	1370	13
done	5000	13
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	10	38
1	27	38
2	129	14
3	786	14
4	3968	7
done	5000	7
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	9	13
1	16	13
2	35	13
3	69	13
4	104	9
5	115	6
6	119	6
7	125	6
8	135	6
9	156	6
10	217	6
11	440	6
12	1378	6
done	5000	6
0	3	3
1	4	3
done	4	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	10	14
1	13	14
done	13	14
0	10	14
1	13	14
done	13	14
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	12	15
1	17	15
2	20	15
3	24	15
4	25	15
done	25	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	11	15
1	16	15
2	19	15
3	23	15
4	24	15
done	24	15
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	9	11
1	12	11
2	15	11
3	17	11
4	19	11
5	20	11
done	20	11
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	11	12
1	16	12
2	25	12
3	42	12
4	63	12
5	75	12
6	77	12
done	77	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	12
1	15	12
2	24	12
3	41	12
4	62	12
5	74	12
6	76	12
done	76	12
0	10	19
1	17	19
2	35	19
3	69	19
4	115	19
5	142	19
6	151	19
7	152	19
done	152	19
0	9	13
1	14	13
2	25	13
3	38	13
4	48	13
5	51	13
done	51	13
0	11	20
1	20	20
2	48	20
3	134	20
4	334	20
5	569	20
6	639	20
7	647	20
done	647	20
0	12	17
1	21	17
2	49	17
3	135	17
4	335	17
5	571	17
6	641	17
7	649	17
done	649	17
0	12	16
1	23	15
2	51	15
3	134	13
4	384	13
5	584	13
6	618	13
done	618	13
0	12	21
1	25	21
2	76	21
3	238	21
4	706	21
5	1497	21
6	1760	21
7	1774	21
done	1774	21
0	11	17
1	20	17
2	48	17
3	134	17
4	334	17
5	569	17
6	639	17
7	647	17
done	647	17
0	11	15
1	22	13
2	56	13
3	192	13
4	471	13
5	622	13
6	624	13
done	624	13
0	10	17
1	17	17
2	36	17
3	79	17
4	151	17
5	202	17
6	209	17
done	209	17
0	11	14
1	18	14
2	37	14
3	80	14
4	152	14
5	202	14
6	209	14
done	209	14
0	11	13
1	20	12
2	39	12
3	82	10
4	223	10
5	329	10
6	342	10
done	342	10
0	11	18
1	20	18
2	49	18
3	126	18
4	303	18
5	505	18
6	539	18
done	539	18
0	10	14
1	17	14
2	36	14
3	79	14
4	151	14
5	202	14
6	209	14
done	209	14
0	10	12
1	19	10
2	40	10
3	97	10
4	205	10
5	226	10
done	226	10
0	9	16
1	18	16
2	37	14
3	111	14
4	192	14
5	262	14
6	308	14
7	309	14
done	309	14
0	10	13
1	19	13
2	38	11
3	112	11
4	193	11
5	267	11
6	313	11
7	315	11
done	315	11
0	9	12
1	18	11
2	36	9
3	110	7
4	359	7
5	453	7
6	473	7
7	475	7
done	475	7
0	10	17
1	21	17
2	49	15
3	171	15
4	388	15
5	653	15
6	778	15
done	778	15
0	9	13
1	18	13
2	37	11
3	111	11
4	192	11
5	262	11
6	308	11
7	309	11
done	309	11
0	8	11
1	17	9
2	35	7
3	71	7
4	160	7
5	207	7
6	208	7
done	208	7
0	7	9
1	14	7
2	32	7
3	42	7
4	57	7
5	66	7
6	77	7
7	79	7
done	79	7
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	9	13
1	14	13
2	17	13
3	21	13
4	22	13
done	22	13
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	8	10
1	13	10
2	21	10
3	33	10
4	45	10
5	48	10
done	48	10
0	7	9
1	12	9
2	20	9
3	32	9
4	44	9
5	47	9
done	47	9
0	8	12
1	15	12
2	34	12
3	68	12
4	103	8
5	114	5
6	118	5
7	124	5
8	134	5
9	155	5
10	220	5
11	442	5
12	1371	5
done	5000	5
0	8	12
1	17	12
2	35	10
3	102	10
4	201	6
5	221	3
6	227	3
7	235	3
8	257	3
9	319	3
10	471	3
11	907	3
12	2492	3
done	5000	3
0	7	9
1	12	9
2	23	9
3	36	9
4	46	9
5	49	9
done	49	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	11	17
1	24	15
2	64	15
3	167	15
4	343	11
5	442	11
6	610	11
7	729	11
8	730	11
done	730	11
0	12	16
1	22	16
2	54	15
3	151	15
4	297	11
5	395	11
6	559	11
7	675	11
8	676	11
done	676	11
0	11	15
1	21	15
2	39	15
3	100	14
4	221	11
5	427	11
6	561	11
7	718	11
8	735	11
done	735	11
0	10	14
1	20	14
2	44	14
3	97	14
4	233	13
5	431	10
6	571	10
7	715	10
8	852	10
9	870	10
done	870	10
0	9	13
1	19	13
2	51	13
3	127	9
4	266	6
5	444	6
6	597	6
7	761	6
8	918	6
9	999	6
10	1213	6
11	2168	6
done	5000	6
0	9	13
1	16	13
2	37	13
3	75	9
4	110	6
5	139	6
6	202	6
7	359	6
8	776	6
9	2040	6
done	5000	6
0	11	17
1	27	17
2	106	13
3	442	11
4	1699	9
done	5001	9
0	14	31
1	38	31
2	177	17
3	1287	13
done	5000	13
0	12	31
1	29	31
2	118	15
3	609	15
4	3701	13
done	5000	13
0	10	31
1	27	31
2	118	13
3	751	13
4	4635	11
done	5000	11
0	10	27
1	17	27
2	38	27
3	74	19
4	100	13
5	109	13
6	118	13
7	128	13
8	149	13
9	212	13
10	421	13
11	1338	13
done	5000	13
0	9	13
1	16	13
2	37	13
3	73	9
4	99	6
5	108	6
6	117	6
7	127	6
8	148	6
9	209	6
10	420	6
11	1357	6
done	5000	6
0	10	38
1	24	38
2	88	14
3	511	10
4	3708	7
done	5000	7
0	9	13
1	16	13
2	37	13
3	73	9
4	99	6
5	108	6
6	117	6
7	127	6
8	148	6
9	209	6
10	420	6
11	1357	6
done	5000	6
0	9	13
1	16	13
2	37	13
3	73	9
4	99	6
5	108	6
6	117	6
7	127	6
8	148	6
9	209	6
10	420	6
11	1357	6
done	5000	6
0	8	10
1	17	10
2	40	10
3	81	10
4	115	10
5	129	10
6	135	10
done	135	10
0	3	3
done	3	3
0	7	14
1	11	14
2	17	14
3	25	14
done	25	14
0	5	5
done	5	5
0	8	11
1	12	11
2	18	11
3	26	11
done	26	11
0	5	5
done	5	5
0	8	10
1	14	9
2	20	9
3	28	7
4	34	7
done	34	7
0	4	4
done	4	4
0	8	15
1	14	15
2	26	15
3	53	15
4	58	15
done	58	15
0	5	5
done	5	5
0	7	11
1	11	11
2	17	11
3	25	11
done	25	11
0	5	5
done	5	5
0	7	9
1	13	7
2	23	7
3	39	7
done	39	7
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	8	12
1	15	12
2	34	12
3	67	12
4	107	8
5	120	5
6	124	5
7	130	5
8	140	5
9	161	5
10	219	5
11	428	5
12	1360	5
done	5000	5
0	9	16
1	16	16
2	37	16
3	86	16
4	155	16
5	206	16
6	213	16
done	213	16
0	10	13
1	17	13
2	38	13
3	87	13
4	156	13
5	208	13
6	216	13
done	216	13
0	10	12
1	19	11
2	40	11
3	89	9
4	200	9
5	237	9
done	237	9
0	10	17
1	22	17
2	58	17
3	163	17
4	383	17
5	547	17
6	573	17
done	573	17
0	9	13
1	16	13
2	37	13
3	86	13
4	155	13
5	206	13
6	213	13
done	213	13
0	9	11
1	18	9
2	43	9
3	108	9
4	217	9
5	235	9
done	235	9
0	4	4
done	4	4
0	4	8
1	7	4
2	12	1
3	16	1
4	22	1
5	32	1
6	55	1
7	122	1
8	333	1
9	1272	1
done	5000	1
0	3	3
1	4	3
done	4	3
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	15	16
1	35	14
2	62	10
3	156	9
4	410	8
5	999	7
6	2893	7
done	5000	7
0	19	21
1	45	20
2	112	16
3	400	14
4	2015	14
done	5000	14
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5

prune218.0ms

Filtered

140 candidates to 172 candidates (-22.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	172	14	186

Merged error: 9.8b

Counts

186 → 14

regimes886.0ms

Accuracy

25.9% (3.2b remaining)

Error of 13.2b against oracle of 10.0b and baseline of 14.3b

bsearch59.0ms

Steps

Iters	Range		Point
8	2.604204390677207e+137	5.9841684458169035e+141	9.291935748516968e+137
9	-1.1386014595094692e-28	-1.1992445919679392e-33	-5.701512776356251e-30

simplify4.0ms

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	41	77
1	56	75
done	56	75

end0.0ms

sample1.2s

Algorithm

intervals

Results

532.0ms

8337×

body

valid

Details

sample46.0ms

simplify22.0ms

prune5.0ms

localize13.0ms

rewrite41.0ms

series66.0ms

simplify1.8min

prune251.0ms

localize18.0ms

rewrite47.0ms

series124.0ms

simplify4.4min

prune255.0ms

localize19.0ms

rewrite58.0ms

series136.0ms

simplify4.9min

prune297.0ms

localize19.0ms

rewrite64.0ms

series151.0ms

simplify5.1min

prune218.0ms

regimes886.0ms

bsearch59.0ms

simplify4.0ms

end0.0ms

sample1.2s

Profiling