Details

sample21.0ms

Algorithm

intervals

Results

13.0ms

256×

body

valid

simplify12.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	31	19
2	46	19
3	59	19
4	75	19
5	83	19
6	92	19
7	114	19
8	144	19
9	175	19
10	219	19
11	331	19
12	598	19
13	1085	19
14	1222	19
15	1359	19
16	1913	19
17	2841	19
18	3786	19
19	4381	19
20	4555	19
21	4556	19
done	4556	19

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

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
0.0b	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.0b	(* x (+ 0.99229 (* x 0.04481)))
15.1b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 93

Calls

4 calls:

3.0ms	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
15.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
7.0ms	(* x (+ 0.99229 (* x 0.04481)))
8.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series34.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
10.0ms	(* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
15.0ms	(* x (+ 0.99229 (* x 0.04481)))
5.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify3.3min

Counts

105 → 105

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	29	17
2	38	17
3	42	17
done	42	17
0	14	16
1	29	16
2	39	16
3	44	16
done	44	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	17	47
1	62	47
2	206	19
3	797	17
4	3626	17
done	5000	17
0	15	33
1	27	33
2	35	33
3	39	33
done	39	33
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	15	47
1	34	47
2	74	17
3	166	17
4	455	17
5	1441	17
done	5000	17
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	9	10
1	22	10
2	41	10
3	82	10
4	112	10
5	126	10
6	153	10
7	211	10
8	295	10
9	307	10
10	308	10
done	308	10
0	17	35
1	35	35
2	52	35
3	62	35
done	62	35
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	16	24
1	30	24
2	40	24
3	45	24
done	45	24
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	9	15
1	15	13
2	21	13
3	26	13
done	26	13
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	16	28
1	30	28
2	38	28
3	42	28
done	42	28
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	8	8
1	12	6
2	14	6
done	14	6
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	12	23
1	26	23
2	34	23
3	38	23
done	38	23
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	11	12
1	23	12
2	31	12
3	35	12
done	35	12
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	2	3
1	4	1
done	4	1
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	10	11
1	22	11
2	30	11
3	34	11
done	34	11
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	15	27
1	29	27
2	37	27
3	41	27
done	41	27
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	7	7
1	11	5
2	13	5
done	13	5
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	16	19
1	44	19
2	97	19
3	355	19
4	1056	19
5	3000	19
done	5000	19
0	15	25
1	38	25
2	105	25
3	338	25
4	1019	25
5	2647	25
done	5000	25
0	17	27
1	52	23
2	140	23
3	513	23
4	2312	23
done	5000	23
0	13	15
1	27	15
2	56	15
3	153	15
4	517	15
5	1231	15
6	2465	15
7	4799	15
done	5000	15
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	94	8
5	251	8
6	731	8
7	2588	8
done	5000	8
0	10	23
1	31	23
2	126	11
3	494	11
4	1805	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1059	9
5	2993	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	3	3
1	4	3
done	4	3
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	34	11
2	97	11
3	243	11
4	493	11
5	1443	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	16	19
1	31	19
2	46	19
3	59	19
4	75	19
5	83	19
6	92	19
7	114	19
8	144	19
9	175	19
10	219	19
11	331	19
12	598	19
13	1085	19
14	1222	19
15	1359	19
16	1913	19
17	2841	19
18	3786	19
19	4381	19
20	4555	19
21	4556	19
done	4556	19
0	18	21
1	33	21
2	42	21
3	46	21
done	46	21
0	17	20
1	35	20
2	51	20
3	64	20
4	80	20
5	88	20
6	97	20
7	119	20
8	143	20
9	174	20
10	218	20
11	330	20
12	599	20
13	1087	20
14	1228	20
15	1368	20
16	1920	20
17	2844	20
18	3826	20
19	4445	20
20	4665	20
21	4685	20
22	4762	20
done	5000	20
0	17	20
1	34	20
2	55	20
3	88	20
4	143	20
5	282	20
6	615	20
7	1775	20
done	5001	20
0	20	59
1	41	59
2	93	23
3	285	23
4	1027	21
5	4241	21
done	5000	21
0	18	41
1	33	41
2	48	41
3	61	41
4	77	41
5	85	41
6	96	41
7	118	41
8	146	41
9	177	41
10	221	41
11	333	41
12	600	41
13	1087	41
14	1224	41
15	1364	41
16	1922	41
17	2849	41
18	3829	41
19	4421	41
20	4587	41
done	4587	41
0	17	20
1	32	20
2	47	20
3	60	20
4	76	20
5	84	20
6	93	20
7	115	20
8	145	20
9	176	20
10	220	20
11	332	20
12	599	20
13	1086	20
14	1224	20
15	1364	20
16	1912	20
17	2841	20
18	3829	20
19	4423	20
20	4598	20
done	4598	20
0	18	59
1	43	59
2	105	21
3	320	21
4	1040	21
5	3807	21
done	5001	21
0	17	20
1	32	20
2	47	20
3	60	20
4	76	20
5	84	20
6	93	20
7	115	20
8	145	20
9	176	20
10	220	20
11	332	20
12	599	20
13	1086	20
14	1224	20
15	1364	20
16	1912	20
17	2841	20
18	3829	20
19	4423	20
20	4598	20
done	4598	20
0	17	20
1	32	20
2	47	20
3	60	20
4	76	20
5	84	20
6	93	20
7	115	20
8	145	20
9	176	20
10	220	20
11	332	20
12	599	20
13	1086	20
14	1224	20
15	1364	20
16	1912	20
17	2841	20
18	3829	20
19	4423	20
20	4598	20
done	4598	20
0	18	21
1	33	21
2	42	21
3	46	21
done	46	21
0	18	21
1	33	21
2	42	21
3	46	21
done	46	21
0	15	17
1	30	17
2	49	17
3	65	17
4	74	17
5	84	17
6	102	17
7	126	17
8	144	17
9	152	17
done	152	17
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	15	17
1	30	17
2	49	17
3	65	17
4	74	17
5	84	17
6	102	17
7	126	17
8	144	17
9	152	17
done	152	17
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	15	17
1	30	17
2	41	17
3	55	17
4	65	17
5	76	17
6	86	17
7	104	17
8	128	17
9	146	17
10	154	17
done	154	17
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	15	17
1	30	17
2	41	17
3	55	17
4	65	17
5	76	17
6	86	17
7	104	17
8	128	17
9	146	17
10	154	17
done	154	17
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	18	39
1	35	39
2	46	39
3	50	39
done	50	39
0	17	20
1	32	20
2	41	20
3	45	20
done	45	20
0	3	3
1	6	1
done	6	1
0	18	21
1	38	21
2	47	21
3	51	21
done	51	21
0	19	22
1	39	22
2	52	22
3	60	22
4	62	22
5	63	22
done	63	22
0	3	3
1	6	1
done	6	1
0	17	20
1	32	20
2	47	20
3	60	20
4	76	20
5	84	20
6	93	20
7	115	20
8	145	20
9	176	20
10	220	20
11	332	20
12	599	20
13	1086	20
14	1246	20
15	1385	20
16	1915	20
17	2888	20
18	3949	20
19	4749	20
20	4939	20
done	4939	20
0	17	20
1	32	20
2	47	20
3	60	20
4	76	20
5	84	20
6	93	20
7	115	20
8	145	20
9	176	20
10	220	20
11	332	20
12	599	20
13	1086	20
14	1246	20
15	1385	20
16	1915	20
17	2888	20
18	3949	20
19	4749	20
20	4939	20
done	4939	20
0	16	19
1	31	19
2	46	19
3	59	19
4	75	19
5	83	19
6	92	19
7	114	19
8	144	19
9	175	19
10	219	19
11	331	19
12	598	19
13	1085	19
14	1222	19
15	1359	19
16	1913	19
17	2841	19
18	3786	19
19	4381	19
20	4555	19
21	4556	19
done	4556	19
0	19	23
1	50	23
2	103	23
3	314	23
4	1170	23
done	5001	23
0	18	37
1	40	37
2	78	37
3	165	37
4	400	37
5	964	37
6	2558	37
done	5001	37
0	10	11
1	24	10
2	40	10
3	77	10
4	139	10
5	382	10
6	1256	10
done	5000	10
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	9	10
1	22	10
2	38	10
3	70	10
4	113	10
5	306	10
6	1060	10
7	4495	10
done	5000	10
0	10	21
1	20	21
2	28	21
3	32	21
done	32	21
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	10	29
1	33	29
2	101	11
3	473	11
4	2600	11
done	5000	11
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	11	13
1	37	13
2	90	13
3	344	13
4	1111	13
5	3046	13
done	5000	13
0	12	29
1	38	21
2	127	21
3	415	21
4	1151	21
5	2931	21
done	5000	21
0	10	19
1	31	19
2	96	19
3	328	19
4	1006	19
5	2641	19
done	5000	19
0	8	9
1	19	9
2	35	9
3	65	9
4	89	9
5	103	9
6	145	9
7	235	9
8	265	9
done	265	9
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	14	17
1	32	17
2	62	13
3	135	13
4	321	13
5	961	11
6	4741	11
done	5000	11
0	14	17
1	32	17
2	62	13
3	135	13
4	321	13
5	961	11
6	4741	11
done	5000	11
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9

prune208.0ms

Filtered

83 candidates to 105 candidates (-26.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	4	106

Merged error: 0.0b

Counts

106 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
0.0b	(* x (+ 0.99229 (* x 0.04481)))
0.1b	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
15.1b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`associate-r`
13×	`add-exp-log` `add-cbrt-cube`
8×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `flip-+`
4×	`associate-/r/`
3×	`associate-r/` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `distribute-rgt-in` `associate-+r+` `distribute-lft-in` `div-exp` `pow-prod-down` `*-commutative` `div-inv` `associate-/l/`
1×	`+-commutative` `frac-2neg` `clear-num` `sum-log`

Counts

4 → 100

Calls

4 calls:

4.0ms	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
6.0ms	(* x (+ 0.99229 (* x 0.04481)))
17.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
8.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series22.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ 1.0 (* x (+ 0.99229 (* x 0.04481))))
7.0ms	(* x (+ 0.99229 (* x 0.04481)))
6.0ms	(* 0.70711 (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))))
6.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.7min

Counts

112 → 112

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	29	17
2	38	17
3	42	17
done	42	17
0	14	16
1	29	16
2	39	16
3	44	16
done	44	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	17	47
1	62	47
2	206	19
3	797	17
4	3626	17
done	5000	17
0	15	33
1	27	33
2	35	33
3	39	33
done	39	33
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	15	47
1	34	47
2	74	17
3	166	17
4	455	17
5	1441	17
done	5000	17
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	6	6
1	11	6
2	19	6
3	20	6
done	20	6
0	9	10
1	22	10
2	41	10
3	82	10
4	112	10
5	126	10
6	153	10
7	211	10
8	295	10
9	307	10
10	308	10
done	308	10
0	17	35
1	35	35
2	52	35
3	62	35
done	62	35
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	16	24
1	30	24
2	40	24
3	45	24
done	45	24
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	9	15
1	15	13
2	21	13
3	26	13
done	26	13
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	16	28
1	30	28
2	38	28
3	42	28
done	42	28
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	8	8
1	12	6
2	14	6
done	14	6
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	12	23
1	26	23
2	34	23
3	38	23
done	38	23
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	11	12
1	23	12
2	31	12
3	35	12
done	35	12
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	2	3
1	4	1
done	4	1
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	10	11
1	22	11
2	30	11
3	34	11
done	34	11
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	15	27
1	29	27
2	37	27
3	41	27
done	41	27
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	7	7
1	11	5
2	13	5
done	13	5
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	14	16
1	26	16
2	34	16
3	38	16
done	38	16
0	13	15
1	25	15
2	33	15
3	37	15
done	37	15
0	16	19
1	44	19
2	97	19
3	355	19
4	1056	19
5	3000	19
done	5000	19
0	15	25
1	38	25
2	105	25
3	338	25
4	1019	25
5	2647	25
done	5000	25
0	17	27
1	52	23
2	140	23
3	513	23
4	2312	23
done	5000	23
0	13	15
1	27	15
2	56	15
3	153	15
4	517	15
5	1231	15
6	2465	15
7	4799	15
done	5000	15
0	15	17
1	30	17
2	49	17
3	65	17
4	74	17
5	84	17
6	102	17
7	126	17
8	144	17
9	152	17
done	152	17
0	18	20
1	35	20
2	50	20
3	63	20
4	69	20
5	79	20
6	86	20
7	98	20
8	121	20
9	135	20
10	141	20
done	141	20
0	17	19
1	33	19
2	47	19
3	60	19
4	70	19
5	79	19
6	84	19
7	93	19
8	110	19
9	129	19
10	137	19
done	137	19
0	16	18
1	34	18
2	59	18
3	85	18
4	115	18
5	139	18
6	167	18
7	209	18
8	243	18
9	260	18
10	278	18
11	281	18
12	284	18
13	289	18
14	294	18
done	294	18
0	16	18
1	33	18
2	58	18
3	84	18
4	153	18
5	314	18
6	669	18
7	2061	18
done	5000	18
0	21	53
1	72	53
2	268	23
3	1233	21
done	5002	21
0	19	53
1	44	53
2	117	21
3	357	21
4	1424	19
done	5000	19
0	17	37
1	32	37
2	51	37
3	67	37
4	76	37
5	86	37
6	104	37
7	128	37
8	146	37
9	154	37
done	154	37
0	16	18
1	31	18
2	50	18
3	66	18
4	75	18
5	85	18
6	103	18
7	127	18
8	145	18
9	153	18
done	153	18
0	17	53
1	42	53
2	112	19
3	372	19
4	1363	19
done	5000	19
0	16	18
1	31	18
2	50	18
3	66	18
4	75	18
5	85	18
6	103	18
7	127	18
8	145	18
9	153	18
done	153	18
0	16	18
1	31	18
2	50	18
3	66	18
4	75	18
5	85	18
6	103	18
7	127	18
8	145	18
9	153	18
done	153	18
0	17	19
1	30	19
2	38	19
3	42	19
done	42	19
0	17	19
1	30	19
2	38	19
3	42	19
done	42	19
0	18	20
1	33	20
2	44	20
3	52	20
4	53	20
done	53	20
0	18	20
1	33	20
2	44	20
3	52	20
4	53	20
done	53	20
0	17	35
1	32	35
2	42	35
3	46	35
done	46	35
0	16	18
1	29	18
2	37	18
3	41	18
done	41	18
0	19	37
1	40	37
2	77	37
3	120	37
4	176	37
5	190	37
done	190	37
0	18	26
1	35	26
2	53	26
3	72	26
4	85	26
5	87	26
done	87	26
0	11	17
1	20	15
2	37	15
3	74	15
4	104	15
done	104	15
0	18	30
1	35	30
2	54	30
3	72	30
4	84	30
done	84	30
0	17	19
1	32	19
2	43	19
3	51	19
4	52	19
done	52	19
0	10	10
1	17	8
2	24	8
3	33	8
4	39	8
done	39	8
0	14	25
1	31	25
2	49	23
3	61	23
4	79	23
5	110	23
6	115	23
done	115	23
0	13	14
1	28	14
2	39	12
3	44	12
4	49	12
5	50	12
done	50	12
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	18	21
1	49	21
2	113	21
3	378	21
4	1117	21
5	3070	21
done	5001	21
0	17	27
1	43	27
2	126	27
3	395	27
4	1157	27
5	3128	27
done	5000	27
0	16	18
1	31	18
2	50	18
3	66	18
4	75	18
5	85	18
6	103	18
7	127	18
8	145	18
9	153	18
done	153	18
0	16	18
1	31	18
2	50	18
3	66	18
4	75	18
5	85	18
6	103	18
7	127	18
8	145	18
9	153	18
done	153	18
0	15	17
1	30	17
2	49	17
3	65	17
4	74	17
5	84	17
6	102	17
7	126	17
8	144	17
9	152	17
done	152	17
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	6	7
1	15	7
2	19	7
done	19	7
0	8	9
1	11	9
done	11	9
0	7	8
1	19	8
2	24	8
done	24	8
0	7	8
1	18	8
2	31	8
3	52	8
4	94	8
5	251	8
6	731	8
7	2588	8
done	5000	8
0	10	23
1	31	23
2	126	11
3	494	11
4	1805	9
done	5000	9
0	8	17
1	17	17
2	21	17
done	21	17
0	7	8
1	16	8
2	20	8
done	20	8
0	8	23
1	27	23
2	101	9
3	387	9
4	1059	9
5	2993	9
done	5000	9
0	7	8
1	16	8
2	20	8
done	20	8
0	7	8
1	16	8
2	20	8
done	20	8
0	8	9
1	11	9
done	11	9
0	8	9
1	11	9
done	11	9
0	3	3
1	4	3
done	4	3
0	4	5
1	8	5
2	9	5
done	9	5
0	3	3
1	4	3
done	4	3
0	4	5
1	6	5
2	9	5
done	9	5
0	8	15
1	13	15
2	15	15
done	15	15
0	7	8
1	10	8
done	10	8
0	3	3
1	6	1
done	6	1
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	7	8
1	16	8
2	25	8
3	27	8
done	27	8
0	6	7
1	15	7
2	19	7
done	19	7
0	9	11
1	34	11
2	97	11
3	243	11
4	493	11
5	1443	11
done	5000	11
0	8	13
1	22	13
2	62	13
3	161	13
4	322	13
5	515	13
6	766	13
7	1305	13
8	4467	13
done	5000	13
0	10	11
1	24	10
2	40	10
3	77	10
4	139	10
5	382	10
6	1256	10
done	5000	10
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	9	10
1	22	10
2	38	10
3	70	10
4	113	10
5	306	10
6	1060	10
7	4495	10
done	5000	10
0	10	21
1	20	21
2	28	21
3	32	21
done	32	21
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	10	29
1	33	29
2	101	11
3	473	11
4	2600	11
done	5000	11
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	11	13
1	37	13
2	90	13
3	344	13
4	1111	13
5	3046	13
done	5000	13
0	12	29
1	38	21
2	127	21
3	415	21
4	1151	21
5	2931	21
done	5000	21
0	10	19
1	31	19
2	96	19
3	328	19
4	1006	19
5	2641	19
done	5000	19
0	8	9
1	19	9
2	35	9
3	65	9
4	89	9
5	103	9
6	145	9
7	235	9
8	265	9
done	265	9
0	5	5
1	7	5
done	7	5
0	5	5
1	7	5
done	7	5
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	10	11
1	22	11
2	51	11
3	62	11
4	82	9
5	120	9
6	189	9
7	313	9
8	549	9
9	1494	9
done	5000	9
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	17	21
1	43	21
2	107	15
3	269	15
4	865	15
5	2825	13
done	5001	13
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9
0	10	11
1	21	11
2	43	11
3	50	11
4	60	9
5	72	9
6	94	9
7	151	9
8	362	9
9	1296	9
done	5000	9

prune237.0ms

Filtered

92 candidates to 112 candidates (-21.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	112	4	116

Merged error: 0.0b

Counts

116 → 4

localize22.0ms

Local error

Found 4 expressions with local error:

7.5b	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

30×	`cbrt-div`
16×	`add-exp-log`
15×	`flip3-+` `flip-+`
9×	`cbrt-prod`
8×	`frac-times` `associate-/r/` `add-cbrt-cube` `associate-/l/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
1×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`

Counts

4 → 76

Calls

4 calls:

20.0ms	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

series50.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(/ (* (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 2.30753 (* x 0.27061)))) (* (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))))
10.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
11.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))

simplify1.8min

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	19	39
1	40	23
2	65	21
3	87	21
4	110	21
5	143	21
6	201	21
7	244	21
8	252	21
done	252	21
0	19	38
1	39	32
2	58	23
3	81	21
4	104	21
5	135	21
6	202	21
7	241	21
8	262	21
9	263	21
done	263	21
0	19	38
1	39	28
2	64	23
3	88	21
4	106	21
5	137	21
6	180	21
7	249	21
8	265	21
done	265	21
0	19	37
1	37	37
2	57	23
3	81	21
4	97	21
5	122	21
6	167	21
7	229	21
8	257	21
9	259	21
done	259	21
0	18	36
1	39	36
2	68	36
3	101	20
4	140	20
5	174	20
6	228	20
7	270	20
8	307	20
9	310	20
done	310	20
0	18	36
1	36	36
2	55	36
3	71	36
4	83	36
5	115	36
6	195	36
7	417	36
8	1722	36
done	5000	36
0	15	31
1	45	31
2	110	31
3	349	31
4	989	31
5	2940	31
done	5001	31
0	18	77
1	51	77
2	125	35
3	305	24
4	668	24
5	1976	24
done	5001	24
0	18	61
1	51	61
2	133	35
3	442	28
4	1319	28
5	4022	28
done	5001	28
0	21	107
1	56	107
2	198	39
3	996	21
4	3485	21
done	5000	21
0	19	73
1	37	73
2	54	73
3	64	73
done	64	73
0	18	36
1	36	36
2	53	36
3	63	36
done	63	36
0	19	107
1	44	107
2	130	37
3	503	37
4	1878	19
5	4473	19
done	5000	19
0	18	36
1	36	36
2	54	18
3	64	18
done	64	18
0	18	36
1	36	36
2	54	18
3	64	18
done	64	18
0	8	14
1	13	14
done	13	14
0	11	22
1	24	22
2	32	22
3	36	22
done	36	22
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	15	17
1	27	17
2	35	17
3	39	17
done	39	17
0	12	23
1	26	23
2	34	23
3	38	23
done	38	23
0	17	35
1	35	35
2	52	35
3	62	35
done	62	35
0	16	24
1	30	24
2	40	24
3	45	24
done	45	24
0	16	28
1	30	28
2	40	28
3	45	28
done	45	28
0	20	43
1	54	43
2	116	43
3	374	43
4	1100	43
5	3101	43
done	5000	43
0	24	49
1	70	49
2	189	49
3	629	49
4	1896	49
done	5000	49
0	24	49
1	70	49
2	189	49
3	635	49
4	1945	49
done	5000	49
0	19	55
1	48	55
2	122	55
3	361	55
4	1040	55
5	2688	55
done	5000	55
0	22	39
1	59	39
2	129	39
3	399	39
4	1109	39
5	3100	39
done	5000	39
0	21	45
1	52	45
2	131	45
3	376	45
4	1071	45
5	2828	45
done	5001	45
0	22	39
1	59	39
2	129	39
3	399	39
4	1108	39
5	3050	39
done	5000	39
0	21	45
1	52	45
2	131	45
3	381	45
4	1077	45
5	2835	45
done	5000	45
0	21	59
1	56	51
2	116	51
3	175	51
4	207	51
5	228	51
6	249	51
7	302	51
8	449	51
9	712	51
10	772	51
11	784	51
12	810	51
13	848	51
14	870	51
15	902	51
16	933	51
17	947	51
18	950	51
done	950	51
0	23	47
1	59	43
2	126	43
3	191	43
4	218	43
5	238	43
6	259	43
7	312	43
8	459	43
9	722	43
10	782	43
11	796	43
12	822	43
13	862	43
14	884	43
15	916	43
16	947	43
17	961	43
18	964	43
done	964	43
0	23	47
1	59	43
2	126	43
3	191	43
4	218	43
5	238	43
6	259	43
7	312	43
8	459	43
9	722	43
10	782	43
11	796	43
12	822	43
13	862	43
14	884	43
15	916	43
16	947	43
17	961	43
18	964	43
done	964	43
0	17	35
1	37	35
2	63	35
3	68	35
done	68	35
0	20	40
1	51	36
2	102	36
3	159	36
4	191	36
5	212	36
6	233	36
7	286	36
8	433	36
9	696	36
10	756	36
11	768	36
12	794	36
13	832	36
14	854	36
15	886	36
16	917	36
17	931	36
18	934	36
done	934	36
0	16	28
1	32	28
2	49	28
3	53	28
done	53	28
0	20	40
1	51	36
2	102	36
3	159	36
4	191	36
5	212	36
6	233	36
7	286	36
8	433	36
9	696	36
10	756	36
11	768	36
12	794	36
13	832	36
14	854	36
15	886	36
16	917	36
17	931	36
18	934	36
done	934	36
0	16	28
1	32	28
2	49	28
3	53	28
done	53	28
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	180	30
3	559	27
4	2228	26
done	5000	26
0	27	71
1	71	67
2	198	67
3	862	45
done	5000	35
0	27	71
1	69	71
2	195	71
3	559	45
4	2432	37
done	5000	37

prune443.0ms

Filtered

79 candidates to 88 candidates (-11.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	88	4	92

Merged error: 0b

Counts

92 → 4

localize21.0ms

Local error

Found 4 expressions with local error:

1.1b	(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6)
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.4b	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
15.7b	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

124×	`cbrt-prod`
84×	`unpow-prod-down`
72×	`times-frac`
58×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`cbrt-div`
7×	`add-exp-log`
5×	`pow1`
4×	`flip3-+` `associate-/r/` `add-cbrt-cube` `flip-+` `add-log-exp`
3×	`pow-unpow` `pow1/3`
2×	`pow-exp` `div-inv` `sqr-pow`
1×	`pow-to-exp` `pow-pow` `div-exp`

Counts

4 → 137

Calls

4 calls:

12.0ms	(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6)
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
3.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
13.0ms	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6))

series58.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6)
10.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
10.0ms	(cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))
14.0ms	(cbrt (pow (/ (cbrt (+ 2.30753 (* x 0.27061))) (cbrt (+ 1.0 (* x (+ 0.99229 (* x 0.04481)))))) 6))

simplify7.2min

Counts

149 → 149

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	20	40
1	37	40
2	56	40
3	102	40
4	280	21
5	1076	20
done	5000	20
0	19	21
1	36	21
2	53	21
3	82	21
4	154	21
5	352	21
6	973	20
7	3617	20
done	5000	20
0	19	21
1	36	21
2	53	21
3	78	21
4	147	20
5	351	17
6	1123	16
7	4876	16
done	5000	16
0	19	21
1	36	21
2	53	21
3	78	21
4	147	20
5	351	17
6	1123	16
7	4876	16
done	5000	16
0	22	40
1	39	40
2	59	40
3	106	40
4	325	40
5	2936	40
done	5000	40
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	29
1	38	29
2	58	29
3	105	29
4	309	29
5	2358	29
done	5001	29
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	14	20
1	23	19
2	35	19
3	73	19
4	229	19
5	834	16
6	2546	9
done	5000	9
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	22	41
1	41	41
2	64	41
3	134	41
4	580	41
done	5000	41
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	29
1	38	29
2	58	29
3	105	29
4	309	29
5	2359	29
done	5000	29
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	13	19
1	22	17
2	35	17
3	74	17
4	213	16
5	892	9
6	3479	9
done	5000	9
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	21	33
1	38	33
2	58	33
3	105	33
4	306	33
5	2333	33
done	5000	33
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	13	13
1	22	12
2	34	12
3	72	12
4	218	12
5	720	6
6	2001	6
done	5000	6
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	21	34
1	40	34
2	63	34
3	133	34
4	553	34
done	5000	34
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	12	12
1	21	10
2	34	10
3	63	6
4	155	6
5	576	6
6	2376	6
done	5000	6
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	17	28
1	34	27
2	54	27
3	96	27
4	238	27
5	864	27
6	3695	26
done	5000	26
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	16	17
1	33	16
2	53	16
3	95	16
4	229	16
5	762	16
6	3012	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	6	8
1	13	1
done	13	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	17	29
1	36	28
2	59	28
3	124	28
4	448	27
5	3152	15
done	5000	15
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	16	17
1	33	16
2	53	16
3	95	16
4	229	16
5	763	12
6	3013	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2128	21
done	5001	21
0	6	7
1	13	4
2	21	1
3	25	1
done	25	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	22	41
1	41	41
2	66	41
3	147	41
4	741	41
done	5001	41
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	30
1	40	30
2	65	30
3	146	30
4	714	30
done	5001	30
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	14	21
1	25	20
2	42	20
3	107	18
4	389	16
5	2319	9
done	5000	9
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	22	42
1	45	42
2	82	42
3	216	42
4	1476	22
done	5001	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1919	22
done	5001	22
0	21	30
1	40	30
2	65	30
3	146	30
4	714	30
done	5001	28
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	13	20
1	24	18
2	45	18
3	125	18
4	473	10
5	3115	9
done	5001	9
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1931	21
done	5000	21
0	21	33
1	38	33
2	58	33
3	105	33
4	306	33
5	2334	33
done	5000	33
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	13	13
1	22	12
2	34	12
3	72	12
4	218	11
5	725	6
6	3457	6
done	5000	6
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1932	21
done	5001	21
0	21	34
1	40	34
2	63	34
3	133	34
4	553	34
done	5000	32
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1920	22
done	5000	22
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1921	17
done	5000	17
0	20	22
1	37	22
2	57	22
3	104	22
4	291	22
5	1921	17
done	5000	17
0	12	12
1	21	10
2	34	10
3	63	10
4	155	9
5	576	6
6	2375	6
done	5001	6
0	19	21
1	36	21
2	56	21
3	103	21
4	296	21
5	1932	21
done	5001	21
0	16	27
1	33	27
2	53	27
3	95	27
4	235	27
5	861	27
6	3644	26
done	5001	26
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	15	16
1	32	16
2	52	16
3	94	16
4	228	16
5	746	16
6	2985	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	6	7
1	13	6
2	24	6
3	55	1
done	55	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	16	28
1	35	28
2	58	28
3	123	28
4	445	27
5	3108	15
done	5000	15
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2127	21
done	5000	21
0	15	16
1	32	16
2	52	16
3	94	16
4	228	16
5	747	12
6	2986	12
done	5000	12
0	19	21
1	36	21
2	56	21
3	103	21
4	304	21
5	2128	21
done	5001	21
0	5	6
1	12	1
done	12	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	4	4
1	11	1
done	11	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	9	9
1	16	9
2	25	9
3	54	9
4	154	9
5	426	9
6	1192	8
7	4415	8
done	5000	8
0	14	15
1	31	15
2	51	15
3	93	15
4	223	15
5	754	15
6	3077	14
done	5000	14
0	21	24
1	52	24
2	115	24
3	410	24
4	1317	24
done	5000	24
0	16	33
1	47	25
2	145	25
3	478	25
4	1800	25
done	5001	25
0	20	30
1	48	30
2	125	30
3	397	30
4	1312	30
done	5000	30
0	12	13
1	28	13
2	53	13
3	112	13
4	321	13
5	1383	13
done	5001	13
0	20	42
1	37	42
2	57	42
3	104	42
4	307	42
5	2125	20
done	5001	20
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	19	21
1	36	21
2	57	21
3	104	17
4	307	17
5	2122	17
done	5000	17
0	19	21
1	36	21
2	57	21
3	104	17
4	307	17
5	2122	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	20	22
1	37	20
2	57	17
3	89	16
4	158	16
5	365	16
6	1034	16
7	4417	16
done	5000	16
0	20	22
1	37	20
2	57	17
3	89	16
4	158	16
5	365	16
6	1034	16
7	4417	16
done	5000	16
0	20	43
1	37	43
2	57	43
3	104	43
4	307	43
5	2125	43
done	5001	43
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	20	62
1	38	62
2	59	22
3	108	19
4	305	19
5	2129	19
done	5001	19
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	19	21
1	36	21
2	56	21
3	103	21
4	308	21
5	2131	21
done	5001	21
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	22
1	21	22
2	29	22
3	33	22
done	33	22
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	2	2
1	4	1
done	4	1
0	9	10
1	19	10
2	27	10
3	31	10
done	31	10
0	12	14
1	38	14
2	91	14
3	357	14
4	1069	14
5	3035	14
done	5000	14
0	13	30
1	39	22
2	128	22
3	413	22
4	1145	22
5	2923	22
done	5000	22
0	11	20
1	32	20
2	97	20
3	331	20
4	1012	20
5	2646	20
done	5000	20
0	9	10
1	20	10
2	36	10
3	66	10
4	90	10
5	104	10
6	146	10
7	236	10
8	266	10
done	266	10
0	11	23
1	21	23
2	29	23
3	33	23
done	33	23
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	11	32
1	22	32
2	32	12
3	41	9
4	47	9
5	57	9
6	78	9
7	138	9
8	341	9
9	1257	9
done	5000	9
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	10	11
1	20	11
2	28	11
3	32	11
done	32	11
0	19	21
1	34	21
2	49	21
3	58	21
4	63	21
done	63	21
0	18	20
1	34	20
2	44	20
3	55	20
4	60	20
5	65	20
done	65	20
0	18	20
1	34	20
2	44	20
3	55	20
4	60	20
5	65	20
done	65	20
0	3	3
1	6	1
done	6	1
0	19	23
1	35	23
2	50	23
3	78	23
4	135	23
5	296	23
6	907	23
7	3322	23
done	5000	23
0	18	20
1	34	20
2	47	20
3	69	20
4	109	20
5	222	20
6	598	20
7	2223	20
done	5000	20
0	17	19
1	36	17
2	51	17
3	66	17
4	90	17
5	154	17
6	366	17
7	1288	17
done	5000	17
0	19	39
1	36	39
2	55	39
3	101	39
4	272	20
5	1087	19
done	5000	19
0	18	20
1	35	20
2	52	20
3	81	20
4	153	20
5	353	20
6	986	20
7	3671	20
done	5000	20
0	18	20
1	35	20
2	52	20
3	77	20
4	146	19
5	348	19
6	1133	15
done	5000	15
0	18	20
1	35	20
2	52	20
3	77	20
4	146	19
5	348	19
6	1133	15
done	5000	15
0	21	39
1	38	39
2	58	39
3	105	39
4	327	39
5	2951	39
done	5000	39
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	28
1	37	28
2	57	28
3	104	28
4	308	28
5	2344	28
done	5000	28
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	13	19
1	22	18
2	34	18
3	72	18
4	229	18
5	833	15
6	2554	8
done	5000	8
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	21	40
1	40	40
2	63	40
3	133	40
4	579	40
done	5001	40
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	28
1	37	28
2	57	28
3	104	28
4	308	28
5	2345	28
done	5001	28
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	12	18
1	21	16
2	34	16
3	73	16
4	214	15
5	898	8
6	3436	8
done	5000	8
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	20	32
1	37	32
2	57	32
3	104	32
4	305	32
5	2350	32
done	5000	32
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	12	12
1	21	11
2	33	11
3	71	11
4	217	11
5	708	5
6	2005	5
done	5000	5
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	20	33
1	39	33
2	62	33
3	132	33
4	550	33
done	5000	33
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	11	11
1	20	9
2	33	9
3	62	5
4	154	5
5	574	5
6	2383	5
done	5001	5
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	16	27
1	33	26
2	53	26
3	95	26
4	235	26
5	879	26
6	3688	25
done	5000	25
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	15	16
1	32	15
2	52	15
3	94	15
4	228	15
5	772	15
6	3015	11
done	5000	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	5	7
1	12	1
done	12	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	16	28
1	35	27
2	58	27
3	123	27
4	449	26
5	3086	17
done	5000	17
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	15	16
1	32	15
2	52	15
3	94	15
4	228	15
5	773	14
6	3016	11
done	5001	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2109	20
done	5001	20
0	5	6
1	12	3
2	20	1
done	20	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	21	40
1	40	40
2	65	40
3	146	40
4	745	40
done	5001	40
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	29
1	39	29
2	64	29
3	145	29
4	714	29
done	5000	29
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	13	20
1	24	19
2	41	19
3	106	17
4	379	15
5	2291	8
done	5001	8
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	21	41
1	44	41
2	81	41
3	215	41
4	1473	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1908	21
done	5000	21
0	20	29
1	39	29
2	64	29
3	145	29
4	714	29
done	5000	27
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	12	19
1	23	17
2	44	17
3	124	17
4	467	9
5	3065	8
done	5000	8
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1913	20
done	5000	20
0	20	32
1	37	32
2	57	32
3	104	32
4	305	32
5	2351	32
done	5000	32
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	12	12
1	21	11
2	33	11
3	71	11
4	217	10
5	713	8
6	3516	5
done	5000	5
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1917	20
done	5001	20
0	20	33
1	39	33
2	62	33
3	132	33
4	550	33
done	5001	31
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1909	21
done	5000	21
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1910	19
done	5000	19
0	19	21
1	36	21
2	56	21
3	103	21
4	290	21
5	1910	19
done	5000	19
0	11	11
1	20	9
2	33	9
3	62	9
4	154	8
5	574	5
6	2382	5
done	5000	5
0	18	20
1	35	20
2	55	20
3	102	20
4	293	20
5	1917	20
done	5001	20
0	15	26
1	32	26
2	52	26
3	94	26
4	234	26
5	874	26
6	3611	25
done	5000	25
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	14	15
1	31	15
2	51	15
3	93	15
4	224	15
5	755	15
6	2974	11
done	5000	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	5	6
1	12	5
2	23	5
3	54	1
4	68	1
5	72	1
done	72	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	15	27
1	34	27
2	57	27
3	122	27
4	448	26
5	3127	17
done	5000	17
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2105	20
done	5001	20
0	14	15
1	31	15
2	51	15
3	93	15
4	224	15
5	756	14
6	2975	11
done	5000	11
0	18	20
1	35	20
2	55	20
3	102	20
4	301	20
5	2109	20
done	5001	20
0	4	5
1	11	1
done	11	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	3	3
1	10	1
done	10	1
0	17	19
1	34	19
2	54	19
3	101	19
4	306	19
5	2124	19
done	5000	19
0	8	8
1	15	8
2	24	8
3	53	8
4	151	8
5	417	8
6	1179	8
7	4294	8
done	5001	8
0	13	14
1	30	14
2	50	14
3	92	14
4	222	14
5	750	14
6	3081	14
done	5000	14
0	20	23
1	51	23
2	114	23
3	402	23
4	1317	23
done	5000	23
0	15	32
1	46	24
2	144	24
3	476	24
4	1804	24
done	5001	24
0	19	29
1	47	29
2	124	29
3	399	29
4	1300	29
done	5000	29
0	11	12
1	27	12
2	52	12
3	111	12
4	322	12
5	1384	12
done	5000	12
0	18	20
1	37	20
2	63	20
3	122	18
4	401	18
5	2717	18
done	5000	18
0	18	20
1	35	20
2	57	20
3	113	20
4	344	20
5	2397	20
done	5000	20
0	19	41
1	36	41
2	56	41
3	103	41
4	308	41
5	2131	19
done	5001	19
0	18	20
1	35	20
2	55	20
3	102	20
4	303	20
5	2105	20
done	5001	20
0	19	59
1	40	39
2	74	21
3	197	21
4	1167	17
done	5000	17
0	18	20
1	35	20
2	56	20
3	103	16
4	308	16
5	2130	16
done	5001	16
0	18	20
1	35	20
2	56	20
3	103	16
4	308	16
5	2130	16
done	5001	16
0	19	21
1	35	19
2	56	19
3	88	15
4	157	15
5	360	15
6	1026	15
7	4395	15
done	5001	15
0	19	21
1	35	19
2	56	19
3	88	15
4	157	15
5	360	15
6	1026	15
7	4395	15
done	5001	15
0	23	35
1	61	31
2	180	30
3	559	27
4	2228	26
done	5000	26
0	27	71
1	71	67
2	198	67
3	862	45
done	5000	35
0	27	71
1	69	71
2	195	71
3	559	45
4	2432	37
done	5000	37
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	23	35
1	61	31
2	190	28
3	634	26
4	2522	25
done	5001	25
0	27	71
1	66	67
2	200	67
3	786	45
done	5001	35
0	27	71
1	64	71
2	197	71
3	530	51
4	1987	35
done	5001	35
0	16	21
1	37	21
2	109	21
3	212	21
4	414	17
5	754	17
6	1273	15
7	2005	15
8	2513	15
9	4362	15
done	5000	15
0	28	71
1	74	67
2	223	63
3	1127	45
done	5001	45
0	28	71
1	72	71
2	219	71
3	764	51
done	5000	39

prune742.0ms

Filtered

116 candidates to 149 candidates (-28.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	149	0	149
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	149	4	153

Merged error: 0b

Counts

153 → 4

regimes115.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	22
1	29	22
2	32	22
3	33	22
done	33	22

end0.0ms

sample588.0ms

Algorithm

intervals

Results

433.0ms

8000×

body

valid

Details

sample21.0ms

simplify12.1s

prune2.0ms

localize13.0ms

rewrite36.0ms

series34.0ms

simplify3.3min

prune208.0ms

localize15.0ms

rewrite38.0ms

series22.0ms

simplify1.7min

prune237.0ms

localize22.0ms

rewrite32.0ms

series50.0ms

simplify1.8min

prune443.0ms

localize21.0ms

rewrite44.0ms

series58.0ms

simplify7.2min

prune742.0ms

regimes115.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample588.0ms

Profiling