Details

sample12.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	6	5
2	7	5
done	7	5

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ x (- 1.0 x))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 37

Calls

1 calls:

6.0ms

(/ x (- 1.0 x))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(/ x (- 1.0 x))

simplify26.8s

Counts

40 → 40

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	172	7
4	392	7
5	1164	7
6	4370	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	176	7
5	426	7
6	1521	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	14	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	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	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	1619	9
done	5000	9
0	11	15
1	31	13
2	80	11
3	136	11
4	242	11
5	454	11
6	1060	11
7	3463	11
done	5000	11
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune59.0ms

Filtered

31 candidates to 40 candidates (-29.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	3	41

Merged error: 0b

Counts

41 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (- 1.0 x) x)
0.1b	(/ 1 (/ (- 1.0 x) x))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

132×	`times-frac`
100×	`add-sqr-sqrt` `*-un-lft-identity`
68×	`add-cube-cbrt`
22×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `pow-flip` `div-sub` `associate-/r/` `flip--` `inv-pow`

Counts

2 → 138

Calls

2 calls:

7.0ms	(/ (- 1.0 x) x)
10.0ms	(/ 1 (/ (- 1.0 x) x))

series8.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (- 1.0 x) x)
3.0ms	(/ 1 (/ (- 1.0 x) x))

simplify37.5s

Counts

144 → 144

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	7	8
1	11	8
2	16	8
3	18	8
4	19	7
done	19	7
0	6	7
1	14	7
2	21	7
3	28	7
4	30	7
5	31	7
done	31	7
0	8	9
1	16	8
2	30	8
3	49	7
4	78	7
5	105	7
6	114	7
7	128	7
done	128	7
0	7	8
1	17	7
2	30	7
3	45	7
4	71	7
5	101	7
6	107	7
7	113	7
8	127	7
done	127	7
0	9	10
1	19	9
2	28	8
3	53	7
4	82	7
5	109	7
6	118	7
7	132	7
done	132	7
0	8	9
1	20	8
2	28	7
3	46	7
4	72	7
5	102	7
6	107	7
7	113	7
8	127	7
done	127	7
0	7	8
1	20	7
2	32	7
3	47	6
4	63	6
5	99	6
6	129	6
7	132	6
8	138	6
9	155	6
done	155	6
0	7	8
1	16	8
2	24	8
3	32	6
4	40	6
5	65	6
6	136	6
7	282	6
8	789	6
9	2768	6
done	5001	6
0	12	23
1	30	19
2	102	11
3	368	9
4	1091	9
5	3383	7
done	5000	7
0	10	23
1	31	19
2	83	9
3	303	9
4	949	9
5	3225	7
done	5000	7
0	8	17
1	17	17
2	23	17
3	25	13
done	25	13
0	7	8
1	16	8
2	22	8
3	24	6
done	24	6
0	8	23
1	24	23
2	65	9
3	255	7
4	611	7
5	1479	7
done	5000	7
0	7	8
1	16	8
2	22	8
3	24	6
done	24	6
0	7	8
1	16	8
2	22	8
3	24	6
done	24	6
0	2	2
1	5	1
done	5	1
0	5	6
1	12	6
2	20	6
3	28	6
4	33	5
5	36	5
done	36	5
0	10	19
1	23	17
2	35	15
3	42	15
done	42	15
0	8	9
1	15	8
2	18	8
3	19	8
done	19	8
0	9	12
1	18	10
2	23	8
3	25	8
done	25	8
0	8	9
1	15	8
2	18	8
3	19	8
done	19	8
0	12	21
1	26	19
2	63	17
3	133	15
4	182	15
done	182	15
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	11	18
1	21	16
2	40	14
3	73	12
4	97	12
done	97	12
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	17
1	20	11
2	35	11
3	44	11
done	44	11
0	8	9
1	14	8
2	18	8
3	19	6
done	19	6
0	11	16
1	21	14
2	37	12
3	57	10
4	60	10
done	60	10
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	13
1	18	11
2	28	9
3	36	7
4	37	7
done	37	7
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	9	12
1	17	6
2	23	6
done	23	6
0	8	9
1	14	8
2	18	8
3	19	6
done	19	6
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	5	9
1	11	1
done	11	1
0	7	8
1	16	7
2	22	7
3	24	5
done	24	5
0	12	17
1	21	15
2	36	13
3	56	11
4	59	11
done	59	11
0	10	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	10	14
1	17	12
2	26	10
3	34	8
4	35	8
done	35	8
0	9	11
1	18	10
2	24	9
3	26	9
4	46	8
5	63	8
6	74	8
7	89	8
8	124	8
9	167	8
10	202	8
11	215	8
done	215	8
0	10	13
1	17	7
2	22	7
done	22	7
0	9	10
1	18	9
2	24	9
3	27	7
done	27	7
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	5	9
1	11	1
done	11	1
0	7	8
1	16	7
2	22	7
3	24	5
done	24	5
0	4	7
1	8	3
2	12	1
done	12	1
0	7	8
1	16	7
2	22	7
3	24	5
done	24	5
0	7	9
1	13	7
2	19	5
3	22	5
done	22	5
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	9	16
1	18	15
2	21	15
3	22	15
done	22	15
0	8	9
1	15	8
2	18	8
3	19	8
done	19	8
0	8	9
1	15	8
2	18	8
3	19	8
done	19	8
0	8	9
1	15	8
2	18	8
3	19	8
done	19	8
0	11	18
1	23	17
2	45	17
3	74	15
4	134	15
5	202	15
done	202	15
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	10	15
1	18	14
2	27	14
3	40	12
4	67	12
5	104	12
done	104	12
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	9	14
1	17	11
2	29	11
3	38	11
done	38	11
0	8	9
1	14	8
2	18	8
3	19	6
done	19	6
0	10	13
1	18	12
2	26	12
3	34	10
4	58	10
5	75	10
done	75	10
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	9	10
1	15	9
2	19	9
3	20	7
4	33	7
5	40	7
done	40	7
0	8	9
1	14	6
2	20	6
done	20	6
0	8	9
1	14	8
2	18	8
3	19	6
done	19	6
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	4	6
1	8	1
done	8	1
0	7	8
1	16	7
2	22	7
3	24	5
done	24	5
0	11	14
1	18	13
2	25	13
3	33	11
4	57	11
5	74	11
done	74	11
0	10	11
1	19	10
2	25	10
3	28	8
4	50	8
5	63	8
done	63	8
0	9	11
1	14	10
2	17	10
3	18	8
4	31	8
5	36	8
done	36	8
0	9	11
1	18	10
2	24	9
3	26	9
4	46	8
5	63	8
6	74	8
7	89	8
8	124	8
9	167	8
10	202	8
11	215	8
done	215	8
0	9	10
1	14	7
2	19	7
done	19	7
0	9	10
1	18	9
2	24	9
3	27	7
done	27	7
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	8	9
1	17	8
2	23	8
3	26	6
4	48	6
5	61	6
done	61	6
0	4	6
1	8	1
done	8	1
0	7	8
1	16	7
2	22	7
3	24	5
done	24	5
0	3	4
1	5	1
done	5	1
0	7	8
1	16	7
2	22	7
3	24	5
done	24	5
0	6	6
1	10	5
2	11	5
done	11	5
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	8	15
1	17	15
2	20	15
3	21	15
done	21	15
0	7	8
1	14	8
2	17	8
3	18	8
done	18	8
0	7	8
1	14	8
2	17	8
3	18	8
done	18	8
0	7	8
1	14	8
2	17	8
3	18	8
done	18	8
0	10	17
1	22	17
2	44	17
3	75	15
4	135	15
5	210	15
done	210	15
0	8	9
1	14	9
2	18	9
3	19	7
4	32	7
5	37	7
done	37	7
0	9	14
1	17	14
2	26	14
3	39	12
4	66	12
5	100	12
done	100	12
0	8	9
1	14	9
2	18	9
3	19	7
4	32	7
5	37	7
done	37	7
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	7	8
1	13	8
2	17	8
3	18	6
done	18	6
0	9	12
1	17	12
2	25	12
3	33	10
4	57	10
5	72	10
done	72	10
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	14	9
2	18	9
3	19	7
4	32	7
5	37	7
done	37	7
0	8	9
1	14	9
2	18	9
3	19	7
4	32	7
5	37	7
done	37	7
0	7	8
1	13	6
2	19	6
done	19	6
0	7	8
1	13	8
2	17	8
3	18	6
done	18	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	16	8
2	22	8
3	25	6
4	47	6
5	60	6
done	60	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	16	8
2	22	8
3	25	6
4	47	6
5	60	6
done	60	6
0	3	5
1	6	1
done	6	1
0	6	7
1	15	7
2	21	7
3	23	5
done	23	5
0	10	13
1	17	13
2	24	13
3	32	11
4	56	11
5	75	11
done	75	11
0	9	10
1	18	10
2	24	10
3	27	8
4	49	8
5	62	8
done	62	8
0	8	10
1	13	10
2	16	10
3	17	8
4	30	8
5	35	8
done	35	8
0	8	10
1	17	10
2	23	9
3	25	8
4	45	8
5	62	8
6	73	8
7	88	8
8	123	8
9	165	8
10	200	8
11	210	8
done	210	8
0	8	9
1	13	7
2	18	7
done	18	7
0	8	9
1	17	9
2	23	9
3	26	7
done	26	7
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	16	8
2	22	8
3	25	6
4	47	6
5	60	6
done	60	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	16	8
2	22	8
3	25	6
4	47	6
5	60	6
done	60	6
0	3	5
1	6	1
done	6	1
0	6	7
1	15	7
2	21	7
3	23	5
done	23	5
0	2	3
1	4	1
done	4	1
0	6	7
1	15	7
2	21	7
3	23	5
done	23	5
0	5	5
1	9	5
2	10	5
done	10	5
0	4	5
1	8	1
done	8	1
0	6	7
1	15	7
2	21	7
3	23	5
done	23	5
0	6	7
1	15	5
2	28	5
3	33	5
4	35	5
done	35	5
0	8	15
1	17	15
2	20	15
3	21	15
done	21	15
0	7	8
1	14	8
2	17	8
3	18	8
done	18	8
0	10	17
1	22	17
2	44	17
3	75	15
4	135	15
5	210	15
done	210	15
0	9	14
1	17	14
2	26	14
3	39	12
4	66	12
5	100	12
done	100	12
0	8	13
1	16	11
2	28	11
3	37	11
done	37	11
0	9	12
1	17	12
2	25	12
3	33	10
4	57	10
5	72	10
done	72	10
0	8	9
1	14	9
2	18	9
3	19	7
4	32	7
5	37	7
done	37	7
0	7	8
1	13	6
2	19	6
done	19	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	10	13
1	17	13
2	24	13
3	32	11
4	56	11
5	75	11
done	75	11
0	8	10
1	13	10
2	16	10
3	17	8
4	30	8
5	35	8
done	35	8
0	8	9
1	13	7
2	18	7
done	18	7
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	8
1	16	7
2	28	7
3	37	5
4	43	5
done	43	5
0	7	8
1	16	7
2	28	7
3	37	5
4	43	5
done	43	5
0	6	7
1	15	5
2	28	5
3	33	5
4	35	5
done	35	5
0	5	5
1	9	5
2	10	5
done	10	5
0	6	7
1	10	7
2	12	7
done	12	7
0	5	6
1	13	6
2	20	6
3	24	6
done	24	6
0	5	6
1	10	6
2	18	6
3	24	6
4	25	6
done	25	6
0	8	17
1	19	17
2	67	9
3	204	7
4	561	7
5	2165	7
done	5000	7
0	6	13
1	11	13
2	16	13
3	19	13
done	19	13
0	5	6
1	10	6
2	15	6
3	18	6
done	18	6
0	6	17
1	18	17
2	51	7
3	178	7
4	590	7
5	1871	7
done	5000	7
0	5	6
1	10	6
2	15	6
3	18	6
done	18	6
0	5	6
1	10	6
2	15	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	3	3
done	3	3
0	2	3
1	3	1
2	5	1
done	5	1
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	14	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	16	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	14	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	46	11
3	67	11
4	75	11
5	83	11
6	93	11
7	116	11
8	177	11
9	385	11
10	1316	11
done	5000	11
0	4	5
1	11	5
2	12	5
done	12	5
0	11	15
1	31	13
2	80	11
3	136	11
4	242	11
5	454	11
6	1060	11
7	3463	11
done	5000	11
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	6	7
1	14	7
2	18	5
3	19	5
4	24	5
5	26	5
done	26	5
0	6	7
1	14	7
2	18	5
3	19	5
4	24	5
5	26	5
done	26	5
0	6	7
1	14	7
2	18	5
3	19	5
4	24	5
5	26	5
done	26	5

prune120.0ms

Filtered

77 candidates to 144 candidates (-87.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	144	3	147

Merged error: 0b

Counts

147 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (- 1.0 x))
0.0b	(pow (/ x (- 1.0 x)) 3)
22.9b	(cbrt (pow (/ x (- 1.0 x)) 3))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

83×	`add-sqr-sqrt` `*-un-lft-identity`
75×	`times-frac`
51×	`add-cube-cbrt`
48×	`cbrt-prod`
42×	`unpow-prod-down` `cube-prod`
16×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
8×	`add-exp-log` `add-cbrt-cube`
5×	`flip3--` `associate-/r*` `flip--` `div-inv`
4×	`pow1`
3×	`pow-unpow` `associate-/l*` `add-log-exp`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `clear-num` `rem-cbrt-cube`

Counts

3 → 157

Calls

3 calls:

10.0ms	(/ x (- 1.0 x))
9.0ms	(pow (/ x (- 1.0 x)) 3)
10.0ms	(cbrt (pow (/ x (- 1.0 x)) 3))

series11.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ x (- 1.0 x))
4.0ms	(pow (/ x (- 1.0 x)) 3)
4.0ms	(cbrt (pow (/ x (- 1.0 x)) 3))

simplify9.9min

Counts

166 → 166

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	21	6
2	49	6
3	125	6
4	342	6
5	1028	6
6	4681	6
done	5000	6
0	8	9
1	21	6
2	46	6
3	120	6
4	334	6
5	1011	6
6	4676	6
done	5000	6
0	9	16
1	21	13
2	43	9
3	80	9
4	186	9
5	491	8
6	1593	8
done	5001	8
0	8	9
1	18	6
2	25	6
3	35	6
4	56	6
5	112	6
6	325	6
7	1256	6
done	5000	6
0	8	9
1	18	6
2	25	6
3	40	6
4	65	6
5	133	6
6	346	6
7	1272	6
done	5000	6
0	8	9
1	18	6
2	25	6
3	40	6
4	65	6
5	133	6
6	346	6
7	1272	6
done	5000	6
0	11	18
1	30	15
2	100	15
3	392	10
4	1703	10
done	5000	10
0	9	10
1	22	7
2	47	6
3	83	6
4	146	6
5	296	6
6	653	6
7	2172	6
done	5001	6
0	10	13
1	25	10
2	64	10
3	200	10
4	646	10
5	1777	10
done	5001	10
0	9	10
1	22	7
2	47	7
3	83	7
4	155	7
5	309	7
6	702	7
7	2243	7
done	5000	7
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	8	9
1	21	6
2	46	6
3	98	6
4	210	6
5	518	6
6	1540	6
done	5000	6
0	11	14
1	25	11
2	63	11
3	215	11
4	686	11
5	1880	11
done	5001	11
0	10	11
1	23	8
2	48	8
3	100	8
4	214	8
5	518	8
6	1540	8
done	5000	8
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	8	9
1	21	6
2	46	6
3	98	6
4	210	6
5	518	6
6	1540	6
done	5000	6
0	10	15
1	25	12
2	62	12
3	188	12
4	644	12
5	2301	12
done	5000	12
0	9	10
1	22	7
2	47	7
3	105	7
4	270	7
5	763	7
6	3309	7
done	5000	7
0	9	10
1	22	7
2	47	7
3	105	7
4	270	7
5	773	7
6	3416	7
done	5000	7
0	9	10
1	22	7
2	47	7
3	105	7
4	270	7
5	773	7
6	3416	7
done	5000	7
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	8	9
1	21	6
2	46	6
3	120	6
4	324	6
5	973	6
6	4363	6
done	5001	6
0	9	11
1	21	8
2	45	8
3	119	8
4	305	8
5	867	8
6	3761	8
done	5000	8
0	9	11
1	22	8
2	47	8
3	121	8
4	326	8
5	974	8
6	4339	8
done	5000	8
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	8	9
1	21	6
2	46	6
3	120	6
4	324	6
5	973	6
6	4363	6
done	5001	6
0	10	14
1	27	11
2	59	11
3	151	9
4	424	9
5	992	9
6	3240	8
done	5000	8
0	8	9
1	21	6
2	46	6
3	104	6
4	277	6
5	811	6
6	3489	6
done	5001	6
0	9	9
1	24	6
2	44	6
3	78	6
4	148	6
5	282	6
6	852	6
7	2944	6
done	5000	6
0	8	9
1	21	6
2	46	6
3	104	6
4	277	6
5	819	6
6	3551	6
done	5000	6
0	5	6
1	16	1
done	16	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	10	10
1	24	7
2	43	7
3	93	7
4	188	7
5	381	7
6	1152	7
7	4028	7
done	5000	7
0	9	10
1	22	7
2	47	7
3	121	7
4	335	7
5	1021	7
6	4520	7
done	5000	7
0	5	6
1	16	1
done	16	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	4	4
1	14	1
2	18	1
done	18	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	8	8
1	23	5
2	43	5
3	93	5
4	203	5
5	462	5
6	1374	5
done	5001	5
0	9	12
1	31	9
2	75	9
3	233	9
4	1272	9
done	5000	9
0	10	14
1	25	9
2	67	9
3	290	9
4	1552	9
done	5000	9
0	9	12
1	25	9
2	60	9
3	225	9
4	1281	9
done	5000	9
0	6	6
1	15	3
2	37	3
3	79	3
4	166	3
5	408	3
6	1285	3
7	3357	3
done	5001	3
0	6	12
1	12	12
2	19	12
3	32	12
4	61	12
5	120	12
6	357	12
7	951	12
8	3500	12
done	5000	12
0	5	6
1	7	6
2	8	6
done	8	6
0	9	18
1	21	12
2	46	12
3	120	12
4	334	12
5	1011	12
6	4683	12
done	5000	12
0	8	9
1	21	6
2	46	6
3	120	6
4	334	6
5	1011	6
6	4676	6
done	5000	6
0	9	16
1	21	13
2	43	9
3	80	9
4	186	9
5	491	8
6	1593	8
done	5001	8
0	8	9
1	18	6
2	25	6
3	35	6
4	56	6
5	112	6
6	325	6
7	1256	6
done	5000	6
0	8	9
1	18	6
2	25	6
3	40	6
4	65	6
5	133	6
6	346	6
7	1272	6
done	5000	6
0	8	9
1	18	6
2	25	6
3	40	6
4	65	6
5	133	6
6	346	6
7	1272	6
done	5000	6
0	11	18
1	30	15
2	100	15
3	392	10
4	1703	10
done	5000	10
0	9	10
1	22	7
2	47	6
3	83	6
4	146	6
5	296	6
6	653	6
7	2172	6
done	5001	6
0	10	13
1	25	10
2	64	10
3	200	10
4	646	10
5	1777	10
done	5001	10
0	9	10
1	22	7
2	47	7
3	83	7
4	155	7
5	309	7
6	702	7
7	2243	7
done	5000	7
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	8	9
1	21	6
2	46	6
3	98	6
4	210	6
5	518	6
6	1540	6
done	5000	6
0	11	14
1	25	11
2	63	11
3	215	11
4	686	11
5	1880	11
done	5001	11
0	10	11
1	23	8
2	48	8
3	100	8
4	214	8
5	518	8
6	1540	8
done	5000	8
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	8	9
1	21	6
2	46	6
3	98	6
4	210	6
5	518	6
6	1540	6
done	5000	6
0	10	15
1	25	12
2	62	12
3	188	12
4	644	12
5	2301	12
done	5000	12
0	9	10
1	22	7
2	47	7
3	105	7
4	270	7
5	763	7
6	3309	7
done	5000	7
0	9	10
1	22	7
2	47	7
3	105	7
4	270	7
5	773	7
6	3416	7
done	5000	7
0	9	10
1	22	7
2	47	7
3	105	7
4	270	7
5	773	7
6	3416	7
done	5000	7
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	8	9
1	21	6
2	46	6
3	120	6
4	324	6
5	973	6
6	4363	6
done	5001	6
0	9	11
1	21	8
2	45	8
3	119	8
4	305	8
5	867	8
6	3761	8
done	5000	8
0	9	11
1	22	8
2	47	8
3	121	8
4	326	8
5	974	8
6	4339	8
done	5000	8
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	8	9
1	21	6
2	46	6
3	120	6
4	324	6
5	973	6
6	4363	6
done	5001	6
0	10	14
1	27	11
2	59	11
3	151	9
4	424	9
5	992	9
6	3240	8
done	5000	8
0	8	9
1	21	6
2	46	6
3	104	6
4	277	6
5	811	6
6	3489	6
done	5001	6
0	9	9
1	24	6
2	44	6
3	78	6
4	148	6
5	282	6
6	852	6
7	2944	6
done	5000	6
0	8	9
1	21	6
2	46	6
3	104	6
4	277	6
5	819	6
6	3551	6
done	5000	6
0	5	6
1	16	1
done	16	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	10	10
1	24	7
2	43	7
3	93	7
4	188	7
5	381	7
6	1152	7
7	4028	7
done	5000	7
0	9	10
1	22	7
2	47	7
3	121	7
4	335	7
5	1021	7
6	4520	7
done	5000	7
0	5	6
1	16	1
done	16	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	4	4
1	14	1
2	18	1
done	18	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	8	8
1	23	5
2	43	5
3	93	5
4	203	5
5	462	5
6	1374	5
done	5001	5
0	9	12
1	31	9
2	75	9
3	233	9
4	1272	9
done	5000	9
0	10	14
1	25	9
2	67	9
3	290	9
4	1552	9
done	5000	9
0	9	12
1	25	9
2	60	9
3	225	9
4	1281	9
done	5000	9
0	6	6
1	15	3
2	37	3
3	79	3
4	166	3
5	408	3
6	1285	3
7	3357	3
done	5001	3
0	5	6
1	7	6
2	8	6
done	8	6
0	6	12
1	12	12
2	19	12
3	32	12
4	61	12
5	120	12
6	357	12
7	951	12
8	3500	12
done	5000	12
0	8	9
1	21	9
2	47	9
3	121	9
4	336	9
5	1017	9
6	4650	9
done	5000	9
0	8	9
1	21	9
2	47	9
3	121	9
4	336	9
5	1017	9
6	4650	9
done	5000	9
0	2	2
1	4	1
done	4	1
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	9	10
1	16	8
2	23	8
3	33	8
4	54	8
5	114	8
6	326	8
7	1260	8
done	5000	8
0	9	10
1	16	8
2	23	8
3	33	8
4	54	8
5	114	8
6	326	8
7	1260	8
done	5000	8
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	6	6
1	16	3
2	35	3
3	83	3
4	207	3
5	583	3
6	1998	3
done	5000	3
0	9	19
1	22	13
2	47	13
3	121	13
4	335	13
5	1023	13
6	4657	13
done	5000	13
0	8	9
1	21	6
2	46	6
3	120	6
4	334	6
5	1011	6
6	4676	6
done	5000	6
0	9	26
1	20	7
2	45	7
3	119	7
4	332	7
5	1010	7
6	4671	7
done	5000	7
0	8	9
1	21	6
2	46	6
3	120	6
4	334	6
5	1011	6
6	4676	6
done	5000	6
0	8	9
1	21	6
2	46	6
3	120	6
4	334	6
5	1011	6
6	4676	6
done	5000	6
0	8	9
1	13	9
2	21	9
3	26	9
4	31	9
done	31	9
0	7	8
1	13	8
2	16	8
3	23	8
4	28	8
5	33	8
done	33	8
0	7	8
1	13	8
2	16	8
3	23	8
4	28	8
5	33	8
done	33	8
0	3	3
1	6	1
done	6	1
0	8	11
1	14	11
2	22	11
3	46	11
4	102	11
5	262	11
6	881	11
7	3274	11
done	5000	11
0	7	8
1	13	8
2	19	8
3	37	8
4	76	8
5	181	8
6	555	8
7	2171	8
done	5000	8
0	6	7
1	15	5
2	23	5
3	34	5
4	58	5
5	124	5
6	333	5
7	1273	5
done	5000	5
0	8	15
1	20	15
2	42	8
3	79	8
4	183	8
5	486	8
6	1621	8
done	5000	8
0	7	8
1	17	5
2	24	5
3	34	5
4	55	5
5	117	5
6	324	5
7	1249	5
done	5000	5
0	7	8
1	17	8
2	24	8
3	39	8
4	64	8
5	132	8
6	349	8
7	1275	8
done	5000	8
0	7	8
1	17	8
2	24	8
3	39	8
4	64	8
5	132	8
6	349	8
7	1275	8
done	5000	8
0	10	17
1	29	17
2	99	17
3	389	9
4	1701	9
done	5001	9
0	8	9
1	21	9
2	46	5
3	82	5
4	145	5
5	294	5
6	642	5
7	2155	5
done	5000	5
0	9	12
1	24	12
2	63	12
3	199	10
4	647	10
5	1766	10
done	5001	10
0	8	9
1	21	9
2	46	8
3	82	8
4	154	8
5	307	8
6	697	8
7	2260	8
done	5000	8
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	7	8
1	20	8
2	45	7
3	97	7
4	208	7
5	508	7
6	1532	7
done	5001	7
0	10	13
1	24	13
2	62	13
3	214	11
4	682	11
5	1899	11
done	5001	11
0	9	10
1	22	10
2	47	9
3	99	9
4	211	9
5	515	9
6	1547	9
done	5001	9
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	7	8
1	20	8
2	45	7
3	97	7
4	208	7
5	508	7
6	1532	7
done	5001	7
0	9	14
1	24	14
2	61	14
3	187	11
4	649	11
5	2315	11
done	5000	11
0	8	9
1	21	9
2	46	8
3	104	8
4	269	8
5	764	8
6	3308	8
done	5000	8
0	8	9
1	21	9
2	46	9
3	104	9
4	269	9
5	774	9
6	3393	9
done	5000	9
0	8	9
1	21	9
2	46	9
3	104	9
4	269	9
5	774	9
6	3393	9
done	5000	9
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	7	8
1	20	8
2	45	8
3	119	8
4	323	8
5	972	8
6	4357	8
done	5000	8
0	8	10
1	20	10
2	44	10
3	118	10
4	307	10
5	866	10
6	3748	10
done	5000	10
0	8	10
1	21	10
2	46	10
3	120	10
4	325	10
5	976	10
6	4394	10
done	5000	10
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	7	8
1	20	8
2	45	8
3	119	8
4	323	8
5	972	8
6	4357	8
done	5000	8
0	9	13
1	26	13
2	58	13
3	150	8
4	413	8
5	976	8
6	3195	8
done	5000	8
0	7	8
1	20	8
2	45	7
3	103	7
4	276	7
5	803	7
6	3463	7
done	5000	7
0	8	8
1	23	8
2	43	8
3	77	8
4	149	8
5	286	8
6	856	8
7	2919	8
done	5001	8
0	7	8
1	20	8
2	45	8
3	103	8
4	276	8
5	811	8
6	3552	8
done	5001	8
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	6	7
1	19	7
2	44	7
3	118	7
4	331	7
5	1009	7
6	4665	7
done	5000	7
0	9	9
1	23	9
2	42	9
3	92	9
4	187	9
5	378	9
6	1135	9
7	3959	9
done	5000	9
0	8	9
1	21	9
2	46	9
3	120	9
4	334	9
5	1019	9
6	4510	9
done	5001	9
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	6	7
1	19	7
2	44	7
3	118	7
4	331	7
5	1009	7
6	4665	7
done	5000	7
0	3	3
1	13	1
done	13	1
0	6	7
1	19	7
2	44	7
3	118	7
4	331	7
5	1009	7
6	4665	7
done	5000	7
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	7	7
1	22	7
2	42	7
3	92	7
4	204	7
5	458	7
6	1385	7
done	5000	7
0	8	11
1	30	11
2	74	11
3	232	11
4	1271	11
done	5001	11
0	9	13
1	24	11
2	66	11
3	289	11
4	1555	11
done	5000	11
0	8	11
1	24	11
2	59	11
3	224	11
4	1282	11
done	5000	11
0	5	5
1	14	5
2	36	5
3	78	5
4	165	5
5	406	5
6	1273	5
7	3304	5
done	5000	5
0	5	11
1	11	11
2	18	11
3	31	11
4	60	11
5	119	11
6	355	11
7	955	11
8	3504	11
done	5000	11
0	7	8
1	22	8
2	59	8
3	162	8
4	501	8
5	1609	8
done	5000	8
0	7	8
1	20	8
2	51	8
3	137	8
4	402	8
5	1270	8
done	5000	8
0	8	17
1	20	11
2	45	11
3	119	11
4	332	11
5	1005	11
6	4648	11
done	5000	11
0	7	8
1	20	5
2	45	5
3	119	5
4	332	5
5	1007	5
6	4669	5
done	5000	5
0	8	23
1	25	15
2	91	9
3	456	9
4	4380	9
done	5000	9
0	8	15
1	20	15
2	42	8
3	79	8
4	183	8
5	486	8
6	1621	8
done	5000	8
0	7	8
1	17	5
2	24	5
3	34	5
4	55	5
5	117	5
6	324	5
7	1249	5
done	5000	5
0	7	8
1	17	8
2	24	8
3	39	8
4	64	8
5	132	8
6	349	8
7	1275	8
done	5000	8
0	7	8
1	17	8
2	24	8
3	39	8
4	64	8
5	132	8
6	349	8
7	1275	8
done	5000	8
0	10	17
1	29	17
2	99	17
3	389	9
4	1701	9
done	5001	9
0	8	9
1	21	9
2	46	5
3	82	5
4	145	5
5	294	5
6	642	5
7	2155	5
done	5000	5
0	9	12
1	24	12
2	63	12
3	199	10
4	647	10
5	1766	10
done	5001	10
0	8	9
1	21	9
2	46	8
3	82	8
4	154	8
5	307	8
6	697	8
7	2260	8
done	5000	8
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	7	8
1	20	8
2	45	7
3	97	7
4	208	7
5	508	7
6	1532	7
done	5001	7
0	10	13
1	24	13
2	62	13
3	214	11
4	682	11
5	1899	11
done	5001	11
0	9	10
1	22	10
2	47	9
3	99	9
4	211	9
5	515	9
6	1547	9
done	5001	9
0	7	9
1	21	7
2	59	7
3	161	3
4	269	3
5	537	3
6	1599	3
done	5000	3
0	7	8
1	20	8
2	45	7
3	97	7
4	208	7
5	508	7
6	1532	7
done	5001	7
0	9	14
1	24	14
2	61	14
3	187	11
4	649	11
5	2315	11
done	5000	11
0	8	9
1	21	9
2	46	8
3	104	8
4	269	8
5	764	8
6	3308	8
done	5000	8
0	8	9
1	21	9
2	46	9
3	104	9
4	269	9
5	774	9
6	3393	9
done	5000	9
0	8	9
1	21	9
2	46	9
3	104	9
4	269	9
5	774	9
6	3393	9
done	5000	9
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	7	8
1	20	8
2	45	8
3	119	8
4	323	8
5	972	8
6	4357	8
done	5000	8
0	8	10
1	20	10
2	44	10
3	118	10
4	307	10
5	866	10
6	3748	10
done	5000	10
0	8	10
1	21	10
2	46	10
3	120	10
4	325	10
5	976	10
6	4394	10
done	5000	10
0	6	6
1	18	4
2	34	4
3	59	4
4	115	4
5	288	4
6	1067	4
done	5000	4
0	7	8
1	20	8
2	45	8
3	119	8
4	323	8
5	972	8
6	4357	8
done	5000	8
0	9	13
1	26	13
2	58	13
3	150	8
4	413	8
5	976	8
6	3195	8
done	5000	8
0	7	8
1	20	8
2	45	7
3	103	7
4	276	7
5	803	7
6	3463	7
done	5000	7
0	8	8
1	23	8
2	43	8
3	77	8
4	149	8
5	286	8
6	856	8
7	2919	8
done	5001	8
0	7	8
1	20	8
2	45	8
3	103	8
4	276	8
5	811	8
6	3552	8
done	5001	8
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	6	7
1	19	7
2	44	7
3	118	7
4	331	7
5	1009	7
6	4665	7
done	5000	7
0	9	9
1	23	9
2	42	9
3	92	9
4	187	9
5	378	9
6	1135	9
7	3959	9
done	5000	9
0	8	9
1	21	9
2	46	9
3	120	9
4	334	9
5	1019	9
6	4510	9
done	5001	9
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	6	7
1	19	7
2	44	7
3	118	7
4	331	7
5	1009	7
6	4665	7
done	5000	7
0	3	3
1	13	1
done	13	1
0	6	7
1	19	7
2	44	7
3	118	7
4	331	7
5	1009	7
6	4665	7
done	5000	7
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	7	7
1	22	7
2	42	7
3	92	7
4	204	7
5	458	7
6	1385	7
done	5000	7
0	8	11
1	30	11
2	74	11
3	232	11
4	1271	11
done	5001	11
0	9	13
1	24	11
2	66	11
3	289	11
4	1555	11
done	5000	11
0	8	11
1	24	11
2	59	11
3	224	11
4	1282	11
done	5000	11
0	5	5
1	14	5
2	36	5
3	78	5
4	165	5
5	406	5
6	1273	5
7	3304	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	5	5
1	15	5
2	34	5
3	82	5
4	206	5
5	585	5
6	1983	5
done	5000	5
0	5	11
1	11	11
2	18	11
3	31	11
4	60	11
5	119	11
6	355	11
7	955	11
8	3504	11
done	5000	11
0	7	8
1	20	8
2	46	8
3	120	8
4	334	8
5	1007	8
6	4666	8
done	5000	8
0	7	8
1	20	8
2	46	8
3	120	8
4	334	8
5	1007	8
6	4666	8
done	5000	8
0	8	9
1	15	7
2	22	7
3	32	7
4	53	7
5	113	7
6	329	7
7	1266	7
done	5000	7
0	8	9
1	15	7
2	22	7
3	32	7
4	53	7
5	113	7
6	329	7
7	1266	7
done	5000	7
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	172	7
4	392	7
5	1164	7
6	4370	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	176	7
5	426	7
6	1521	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	14	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	14	5
3	17	5
done	17	5
0	7	9
1	22	9
2	44	9
3	80	9
4	169	9
5	517	9
6	2298	9
done	5001	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	1619	9
done	5000	9
0	11	15
1	31	13
2	80	11
3	136	11
4	242	11
5	454	11
6	1060	11
7	3463	11
done	5000	11
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	18
1	26	18
2	55	18
3	77	16
4	111	13
5	143	13
6	189	13
7	254	13
8	553	13
9	1807	12
done	5000	12
0	15	17
1	37	17
2	81	17
3	171	17
4	303	17
5	722	15
6	2904	15
done	5001	15
0	13	16
1	32	16
2	76	12
3	172	11
4	400	11
5	1200	9
done	5000	9
0	13	16
1	32	16
2	76	12
3	172	11
4	400	11
5	1200	9
done	5000	9
0	11	15
1	31	13
2	80	11
3	136	11
4	242	11
5	454	11
6	1060	11
7	3463	11
done	5000	11
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune185.0ms

Filtered

95 candidates to 166 candidates (-74.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	166	3	169

Merged error: 0b

Counts

169 → 3

regimes58.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
done	4	5

end0.0ms

sample302.0ms

Algorithm

intervals

Results

159.0ms

8000×

body

valid

Details

sample12.0ms

simplify3.0ms

prune2.0ms

localize3.0ms

rewrite7.0ms

series3.0ms

simplify26.8s

prune59.0ms

localize5.0ms

rewrite28.0ms

series8.0ms

simplify37.5s

prune120.0ms

localize7.0ms

rewrite38.0ms

series11.0ms

simplify9.9min

prune185.0ms

regimes58.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample302.0ms

Profiling