Details

sample25.0ms

Algorithm

intervals

Results

9.0ms

313×

body

valid

simplify50.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	22	7
3	41	7
4	59	7
5	80	7
6	90	7
done	90	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 10.9b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* x (- y z))
10.3b	(/ (* x (- y z)) y)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

7.0ms	(* x (- y z))
8.0ms	(/ (* x (- y z)) y)

series19.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* x (- y z))
11.0ms	(/ (* x (- y z)) y)

simplify30.7s

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	16	10
2	24	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	8	9
1	16	9
2	29	9
3	43	9
4	50	9
5	56	9
6	65	9
7	78	9
8	96	9
9	112	9
10	119	9
11	136	9
12	138	9
done	138	9
0	7	8
1	15	8
2	34	8
3	69	8
4	102	8
5	131	8
6	153	8
7	171	8
8	187	8
9	194	8
10	211	8
11	213	8
done	213	8
0	7	8
1	12	8
2	23	8
3	44	8
4	77	8
5	130	8
6	208	8
7	443	8
8	1550	8
done	5001	8
0	12	23
1	29	23
2	144	13
3	738	13
4	3267	11
done	5000	11
0	10	23
1	31	23
2	157	11
3	886	9
4	3784	9
done	5001	9
0	8	17
1	13	17
2	24	17
3	43	17
4	61	17
5	82	17
6	92	17
done	92	17
0	7	8
1	12	8
2	23	8
3	42	8
4	60	8
5	81	8
6	91	8
done	91	8
0	8	23
1	20	23
2	68	9
3	323	9
4	1722	9
done	5000	9
0	7	8
1	12	8
2	23	8
3	42	8
4	60	8
5	81	8
6	91	8
done	91	8
0	7	8
1	12	8
2	23	8
3	42	8
4	60	8
5	81	8
6	91	8
done	91	8
0	6	6
1	13	6
2	31	6
3	52	6
4	65	5
5	70	5
done	70	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
done	4	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	3	3
1	5	1
done	5	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	6	7
1	11	7
2	20	7
3	25	7
4	29	7
done	29	7
0	8	11
1	18	11
2	42	11
3	84	11
4	134	11
5	188	11
6	228	11
7	231	11
done	231	11
0	7	8
1	12	8
2	23	8
3	42	8
4	60	8
5	81	8
6	89	8
done	89	8
0	7	7
1	14	5
2	29	5
3	54	5
4	73	5
5	87	5
6	95	5
7	112	5
8	126	5
9	131	5
done	131	5
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	48	11
3	75	11
4	83	11
5	93	11
6	116	11
7	176	11
8	379	11
9	1310	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune89.0ms

Filtered

41 candidates to 55 candidates (-34.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	47	8	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	8	56

Merged error: 0.0b

Counts

56 → 8

localize6.0ms

Local error

Found 2 expressions with local error:

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

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
102×	`add-sqr-sqrt` `*-un-lft-identity`
70×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `add-log-exp`

Counts

2 → 139

Calls

2 calls:

6.0ms	(/ y (- y z))
13.0ms	(/ x (/ y (- y z)))

series18.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ y (- y z))
12.0ms	(/ x (/ y (- y z)))

simplify1.4min

Counts

145 → 145

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	17	10
2	26	10
3	39	10
4	44	10
5	52	10
6	67	10
7	93	10
8	102	10
done	102	10
0	8	9
1	15	9
2	21	9
3	28	9
4	41	9
5	45	9
6	53	9
7	68	9
8	94	9
9	103	9
done	103	9
0	7	8
1	14	8
2	31	8
3	57	8
4	85	8
5	116	8
6	140	8
7	155	8
8	174	8
9	194	8
10	200	8
done	200	8
0	7	8
1	11	8
2	23	8
3	50	8
4	93	8
5	158	8
6	337	8
7	953	8
8	3735	8
done	5001	8
0	12	23
1	28	23
2	121	13
3	589	11
4	2863	9
done	5000	9
0	10	23
1	27	23
2	86	11
3	368	9
4	1738	9
done	5001	9
0	8	17
1	12	17
2	22	17
3	40	17
4	58	17
5	72	17
6	88	17
7	92	17
8	93	17
done	93	17
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	91	8
8	92	8
done	92	8
0	8	23
1	19	23
2	64	9
3	316	9
4	1659	9
done	5000	9
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	91	8
8	92	8
done	92	8
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	91	8
8	92	8
done	92	8
0	2	2
done	2	2
0	5	6
1	9	6
2	10	6
done	10	6
0	10	19
1	18	19
2	28	19
3	34	19
done	34	19
0	8	9
1	10	9
2	11	9
done	11	9
0	9	12
1	13	12
2	16	12
3	17	12
done	17	12
0	8	9
1	10	9
2	11	9
done	11	9
0	12	21
1	24	21
2	61	21
3	152	21
4	279	21
5	374	21
6	410	21
7	420	21
done	420	21
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	11	16
1	19	16
2	38	16
3	82	16
4	126	16
5	145	16
6	150	16
7	151	16
done	151	16
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	12	17
1	19	17
2	45	17
3	129	17
4	245	17
5	368	17
6	418	17
7	437	17
8	443	17
9	446	17
10	448	17
done	448	17
0	10	11
1	14	11
2	24	11
3	42	11
4	60	11
5	74	11
6	88	11
7	92	11
8	93	11
done	93	11
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	11	18
1	19	18
2	35	18
3	63	18
4	100	18
5	122	18
6	132	18
7	141	18
done	141	18
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	10	13
1	16	13
2	26	13
3	36	13
4	46	13
5	50	13
6	52	13
7	53	13
done	53	13
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	10	14
1	15	14
2	32	14
3	66	14
4	112	14
5	136	14
6	148	13
7	615	13
8	4040	13
done	5000	13
0	9	11
1	13	11
2	23	11
3	41	11
4	59	11
5	73	11
6	89	10
7	316	10
8	2095	10
done	5001	10
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	11	17
1	21	17
2	37	15
3	84	15
4	196	15
5	257	15
6	302	15
done	302	15
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	10	12
1	18	12
2	28	10
3	54	10
4	101	10
5	110	10
done	110	10
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	314	8
8	2090	8
done	5000	8
0	11	13
1	18	13
2	35	11
3	79	11
4	166	11
5	226	11
6	298	11
done	298	11
0	9	10
1	13	10
2	23	10
3	41	10
4	59	10
5	73	10
6	87	10
7	91	10
8	92	10
done	92	10
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	314	8
8	2090	8
done	5000	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	314	8
8	2090	8
done	5000	8
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	11	15
1	30	15
2	67	15
3	186	15
4	663	15
5	2808	15
done	5001	15
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	10	15
1	19	15
2	45	15
3	144	15
4	495	15
5	1099	15
6	1927	15
7	3432	13
done	5000	13
0	6	6
1	7	6
done	7	6
0	9	16
1	13	16
2	14	16
done	14	16
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	8	9
1	10	9
2	11	9
done	11	9
0	11	18
1	21	18
2	43	18
3	72	18
4	98	18
5	130	18
6	151	18
7	161	18
done	161	18
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	10	13
1	16	13
2	25	13
3	38	13
4	46	13
5	52	13
6	55	13
done	55	13
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	11	14
1	16	14
2	32	14
3	65	14
4	97	14
5	129	14
6	148	14
7	153	14
8	154	14
9	156	14
10	157	14
done	157	14
0	10	11
1	14	11
2	24	11
3	42	11
4	60	11
5	74	11
6	88	11
7	92	11
8	93	11
done	93	11
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	10	15
1	16	15
2	24	15
3	32	15
4	36	15
5	45	15
6	51	15
7	56	15
8	57	15
done	57	15
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	9	10
1	13	10
2	17	10
3	18	10
4	20	10
5	22	10
6	23	10
done	23	10
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	9	11
1	12	11
2	23	11
3	36	11
4	44	11
5	50	11
6	59	10
7	234	10
8	1507	10
done	5001	10
0	9	11
1	13	11
2	23	11
3	41	11
4	59	11
5	73	11
6	89	10
7	316	10
8	2095	10
done	5001	10
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	10	14
1	18	14
2	26	12
3	42	12
4	68	12
5	93	12
6	112	12
done	112	12
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	9	9
1	15	9
2	19	7
3	28	7
4	37	7
5	39	7
done	39	7
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	314	8
8	2090	8
done	5000	8
0	10	10
1	15	10
2	26	8
3	37	8
4	52	8
5	66	8
6	90	8
done	90	8
0	9	10
1	13	10
2	23	10
3	41	10
4	59	10
5	73	10
6	87	10
7	91	10
8	92	10
done	92	10
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	314	8
8	2090	8
done	5000	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	87	8
7	314	8
8	2090	8
done	5000	8
0	4	4
done	4	4
0	8	8
1	14	8
2	24	6
3	40	6
4	62	6
5	87	6
6	129	6
7	135	6
done	135	6
0	10	12
1	27	12
2	58	12
3	154	12
4	443	12
5	1627	12
done	5000	12
0	10	14
1	17	12
2	25	12
3	28	12
4	29	12
done	29	12
0	9	12
1	16	12
2	36	12
3	106	12
4	281	12
5	517	12
6	856	12
7	1600	10
done	5000	10
0	6	6
1	7	6
done	7	6
0	8	15
1	14	15
2	15	15
done	15	15
0	7	8
1	9	8
2	10	8
done	10	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	9	8
2	10	8
done	10	8
0	10	17
1	22	17
2	44	17
3	75	15
4	135	15
5	208	15
done	208	15
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	9	12
1	17	12
2	26	12
3	39	10
4	66	10
5	100	10
done	100	10
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	85	8
7	89	8
8	90	8
done	90	8
0	10	13
1	17	13
2	33	13
3	66	11
4	139	11
5	223	11
6	227	11
done	227	11
0	9	10
1	13	10
2	23	10
3	41	10
4	59	10
5	73	10
6	87	10
7	91	10
8	92	10
done	92	10
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	85	8
7	89	8
8	90	8
done	90	8
0	9	14
1	17	14
2	25	14
3	33	12
4	57	12
5	72	12
done	72	12
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	8	9
1	14	9
2	18	9
3	19	7
4	32	7
5	37	7
done	37	7
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	5	6
1	9	4
2	14	4
done	14	4
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	85	8
7	89	8
8	90	8
done	90	8
0	8	10
1	13	10
2	24	10
3	37	8
4	69	7
5	113	7
6	173	7
7	181	7
done	181	7
0	8	10
1	12	10
2	22	10
3	40	10
4	58	10
5	72	10
6	88	9
7	92	9
8	93	9
done	93	9
0	5	6
1	9	4
2	14	4
done	14	4
0	7	8
1	11	8
2	21	8
3	39	8
4	57	8
5	71	8
6	85	8
7	89	8
8	90	8
done	90	8
0	8	13
1	16	9
2	26	9
3	39	9
4	48	9
5	49	9
done	49	9
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	7	8
1	13	4
2	19	4
3	21	4
4	22	4
done	22	4
0	7	8
1	11	8
2	15	8
3	16	8
4	18	8
5	20	8
6	21	8
done	21	8
0	3	5
1	6	1
done	6	1
0	6	7
1	10	7
2	20	7
3	38	7
4	56	7
5	70	7
6	86	7
7	90	7
8	91	7
done	91	7
0	8	9
1	13	5
2	26	5
3	36	5
4	37	5
done	37	5
0	8	9
1	12	9
2	22	9
3	40	9
4	58	9
5	72	9
6	86	9
7	90	9
8	91	9
done	91	9
0	3	5
1	6	1
done	6	1
0	6	7
1	10	7
2	20	7
3	38	7
4	56	7
5	70	7
6	86	7
7	90	7
8	91	7
done	91	7
0	2	3
1	4	1
done	4	1
0	6	7
1	10	7
2	20	7
3	38	7
4	56	7
5	70	7
6	86	7
7	90	7
8	91	7
done	91	7
0	3	3
1	5	3
done	5	3
0	7	7
1	13	7
2	23	5
3	34	5
4	48	5
5	66	5
6	84	5
7	93	5
8	114	5
9	121	5
10	124	5
done	124	5
0	9	11
1	28	11
2	59	11
3	155	9
4	496	9
5	2007	9
done	5001	9
0	9	13
1	16	11
2	24	11
3	27	11
4	28	11
done	28	11
0	8	11
1	17	11
2	37	11
3	107	9
4	325	9
5	858	7
6	2196	7
done	5000	7
0	5	5
1	6	5
done	6	5
0	6	7
1	12	7
2	22	7
3	40	5
4	84	5
5	118	5
6	139	5
7	141	5
8	142	5
done	142	5
0	6	7
1	10	7
2	20	7
3	25	7
4	29	7
done	29	7
0	8	15
1	12	15
2	13	15
done	13	15
0	7	8
1	9	8
2	10	8
done	10	8
0	10	17
1	20	17
2	42	17
3	73	17
4	99	17
5	133	17
6	159	17
7	169	17
8	170	17
done	170	17
0	9	12
1	15	12
2	24	12
3	37	12
4	45	12
5	51	12
6	54	12
done	54	12
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	10	13
1	15	13
2	31	13
3	64	13
4	96	13
5	128	13
6	147	13
7	152	13
8	153	13
9	155	13
10	156	13
done	156	13
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	9	14
1	15	14
2	23	14
3	31	14
4	35	14
5	44	14
6	50	14
7	55	14
done	55	14
0	8	9
1	12	9
2	16	9
3	17	9
4	19	9
5	21	9
6	22	9
done	22	9
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	8	10
1	11	10
2	22	10
3	35	10
4	43	10
5	49	10
6	58	9
7	60	9
done	60	9
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	9	13
1	17	13
2	25	11
3	35	11
4	55	11
5	89	11
6	101	11
done	101	11
0	8	8
1	14	8
2	18	6
3	24	6
4	31	6
5	36	6
done	36	6
0	4	5
1	8	3
2	13	1
done	13	1
0	9	9
1	14	9
2	25	7
3	31	7
4	38	7
5	43	7
done	43	7
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	9	11
1	26	11
2	57	11
3	153	11
4	447	11
5	1614	11
done	5001	11
0	8	11
1	15	11
2	35	11
3	105	11
4	274	11
5	514	11
6	853	11
7	1613	9
done	5000	9
0	7	8
1	11	8
2	21	8
3	26	8
4	30	8
done	30	8
0	7	8
1	11	8
2	21	8
3	26	8
4	30	8
done	30	8
0	6	7
1	10	7
2	20	7
3	25	7
4	29	7
done	29	7
0	3	3
done	3	3
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	10	6
2	13	6
3	14	6
done	14	6
0	5	6
1	7	6
2	8	6
done	8	6
0	8	17
1	19	17
2	64	9
3	171	7
4	390	7
5	1082	7
6	3788	7
done	5000	7
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	15	17
2	32	7
3	76	7
4	175	7
5	430	7
6	1498	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	2
done	2	2
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	10
1	11	10
2	14	10
3	15	10
done	15	10
0	6	7
1	8	7
2	9	7
done	9	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	8	11
1	11	11
2	13	11
3	14	11
done	14	11
0	7	8
1	9	8
2	10	8
done	10	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	8	6
done	8	6
0	7	12
1	11	12
2	12	12
done	12	12
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	8	6
done	8	6
0	7	11
1	13	11
2	14	11
done	14	11
0	5	6
1	7	6
2	8	6
done	8	6
0	6	6
1	10	6
2	11	6
done	11	6
0	5	6
1	7	6
2	8	6
done	8	6
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	7	7
1	10	7
done	10	7
0	6	7
1	8	7
2	9	7
done	9	7
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	7	5
done	7	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	6	11
1	10	11
2	11	11
done	11	11
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	174	9
5	519	9
6	2307	9
done	5000	9
0	6	9
1	11	9
2	20	9
3	37	9
4	62	9
5	103	9
6	161	9
7	329	9
8	1596	9
done	5000	9
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune149.0ms

Filtered

111 candidates to 145 candidates (-30.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	142	3	145
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	146	7	153

Merged error: 0b

Counts

153 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.5b	(cbrt y)
0.5b	(cbrt y)
0.5b	(cbrt y)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt y) (cbrt y))
2.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series108.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt y) (cbrt y))
25.0ms	(cbrt y)
25.0ms	(cbrt y)
29.0ms	(cbrt y)

simplify51.7s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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
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
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	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	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
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
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
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
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	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune81.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	85	7	92

Merged error: 0b

Counts

92 → 7

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- y z) y)
3.6b	(* x (/ (- y z) y))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 76

Calls

2 calls:

9.0ms	(/ (- y z) y)
11.0ms	(* x (/ (- y z) y))

series16.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (- y z) y)
11.0ms	(* x (/ (- y z) y))

simplify25.6s

Counts

82 → 82

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	6	7
1	14	7
2	27	7
3	46	7
4	68	7
5	87	7
6	96	7
7	97	7
done	97	7
0	9	10
1	16	10
2	24	10
3	33	10
4	39	10
5	49	10
6	56	10
7	68	10
8	91	10
9	105	10
10	111	10
done	111	10
0	8	9
1	17	9
2	27	9
3	40	9
4	50	9
5	59	9
6	64	9
7	73	9
8	90	9
9	109	9
10	117	9
done	117	9
0	7	8
1	18	8
2	37	8
3	66	8
4	107	8
5	139	8
6	160	8
7	179	8
8	195	8
9	202	8
10	219	8
11	221	8
done	221	8
0	7	8
1	17	8
2	36	8
3	74	8
4	142	8
5	297	8
6	586	8
7	1645	8
done	5000	8
0	12	23
1	29	23
2	123	13
3	589	11
4	2658	11
done	5000	11
0	10	23
1	28	23
2	93	11
3	395	11
4	1909	9
done	5000	9
0	8	17
1	16	17
2	29	17
3	48	17
4	70	17
5	89	17
6	98	17
7	99	17
done	99	17
0	7	8
1	15	8
2	28	8
3	47	8
4	69	8
5	88	8
6	97	8
7	98	8
done	98	8
0	8	23
1	26	23
2	90	9
3	385	9
4	1918	9
done	5001	9
0	7	8
1	15	8
2	28	8
3	47	8
4	69	8
5	88	8
6	97	8
7	98	8
done	98	8
0	7	8
1	15	8
2	28	8
3	47	8
4	69	8
5	88	8
6	97	8
7	98	8
done	98	8
0	8	9
1	14	9
2	18	9
3	22	9
done	22	9
0	8	9
1	14	9
2	18	9
3	22	9
done	22	9
0	9	10
1	14	10
2	18	10
3	22	10
4	23	10
done	23	10
0	9	10
1	14	10
2	18	10
3	22	10
4	23	10
done	23	10
0	8	15
1	16	15
2	22	15
3	26	15
done	26	15
0	7	8
1	13	8
2	17	8
3	21	8
done	21	8
0	10	17
1	21	17
2	51	17
3	90	17
4	146	17
5	160	17
done	160	17
0	9	14
1	16	14
2	27	14
3	42	14
4	55	14
5	57	14
done	57	14
0	9	13
1	18	11
2	36	11
3	73	11
4	111	11
done	111	11
0	9	12
1	16	12
2	28	12
3	42	12
4	54	12
done	54	12
0	8	9
1	13	9
2	17	9
3	21	9
4	22	9
done	22	9
0	8	8
1	15	6
2	23	6
3	32	6
4	38	6
done	38	6
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	10	13
1	16	13
2	35	13
3	49	13
4	77	13
5	83	13
6	103	13
7	129	13
8	143	13
9	148	13
10	149	13
11	151	13
12	152	13
done	152	13
0	8	10
1	12	10
2	23	10
3	27	10
4	36	10
5	38	10
6	44	10
7	48	10
8	56	9
9	58	9
done	58	9
0	9	9
1	15	7
2	30	7
3	39	7
4	53	7
done	53	7
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	8
1	15	8
2	28	8
3	47	8
4	69	8
5	148	8
6	401	8
7	1100	8
done	5000	8
0	7	8
1	15	8
2	28	8
3	47	8
4	69	8
5	148	8
6	401	8
7	1100	8
done	5000	8
0	6	7
1	14	7
2	27	7
3	46	7
4	68	7
5	87	7
6	96	7
7	97	7
done	97	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	19	6
3	24	6
done	24	6
0	5	6
1	10	6
2	17	6
3	24	6
4	26	6
5	30	6
6	34	6
7	50	6
8	55	6
9	60	6
10	64	6
11	76	6
12	84	6
13	88	6
14	93	6
15	96	6
16	107	6
17	132	6
18	143	6
19	148	6
20	154	6
21	159	6
22	161	6
23	163	6
done	163	6
0	8	17
1	19	17
2	67	9
3	202	7
4	559	7
5	2062	7
done	5001	7
0	6	13
1	11	13
2	15	13
3	19	13
done	19	13
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	6	17
1	18	17
2	50	7
3	178	7
4	604	7
5	2255	7
done	5000	7
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	5	6
1	10	6
2	14	6
3	18	6
done	18	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	2	3
1	3	1
2	5	1
done	5	1
0	3	3
done	3	3
0	8	15
1	16	15
2	26	15
3	32	15
done	32	15
0	6	7
1	8	7
2	9	7
done	9	7
0	7	12
1	11	12
2	14	12
3	15	12
done	15	12
0	6	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	5	6
1	7	6
2	8	6
done	8	6
0	7	10
1	11	10
2	12	10
done	12	10
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	6
1	10	4
2	13	4
done	13	4
0	5	6
1	7	6
2	8	6
done	8	6
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	8	11
1	11	11
done	11	11
0	7	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	7	8
done	7	8
0	6	8
1	11	8
2	15	7
3	19	7
done	19	7
0	7	7
1	10	5
2	12	5
done	12	5
0	6	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	9	7
done	9	7
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	4	4
1	6	4
done	6	4
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	2	3
1	4	1
done	4	1
0	4	5
1	9	5
2	13	5
3	17	5
done	17	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
2	7	5
done	7	5
0	6	9
1	13	9
2	21	9
3	26	9
4	29	9
done	29	9
0	5	6
1	10	6
2	13	6
3	15	6
done	15	6
0	5	5
1	12	3
2	17	3
done	17	3
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	6	5
2	7	5
done	7	5
0	6	7
1	8	7
2	9	7
done	9	7
0	4	5
1	6	5
2	7	5
done	7	5
0	8	13
1	22	11
2	48	11
3	75	11
4	83	11
5	93	11
6	116	11
7	176	11
8	379	11
9	1310	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	6	7
1	11	7
2	20	7
3	34	7
4	47	7
5	55	7
6	59	7
7	66	7
8	67	7
done	67	7
0	5	5
1	9	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5
0	5	5
1	9	5
2	12	5
done	12	5

prune71.0ms

Filtered

60 candidates to 82 candidates (-36.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	83	6	89

Merged error: 0b

Counts

89 → 6

regimes166.0ms

Accuracy

0% (1.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	25
1	13	25
done	13	25

end0.0ms

sample692.0ms

Algorithm

intervals

Results

285.0ms

9635×

body

valid

Details

sample25.0ms

simplify50.0ms

prune3.0ms

localize6.0ms

rewrite16.0ms

series19.0ms

simplify30.7s

prune89.0ms

localize6.0ms

rewrite26.0ms

series18.0ms

simplify1.4min

prune149.0ms

localize14.0ms

rewrite13.0ms

series108.0ms

simplify51.7s

prune81.0ms

localize5.0ms

rewrite24.0ms

series16.0ms

simplify25.6s

prune71.0ms

regimes166.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample692.0ms

Profiling