Details

sample22.0ms

Algorithm

intervals

Results

13.0ms

349×

body

valid

simplify1.0s

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	10	13
1	25	13
2	53	11
3	112	11
4	163	11
5	191	11
6	220	11
7	285	11
8	413	11
9	679	11
10	763	11
11	802	11
done	802	11

prune5.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (- (* x 3.0) 4.0))
0.1b	(* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
4×	`associate-*r/`
3×	`distribute-rgt-in` `distribute-lft-in`
2×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`
1×	`flip3--` `flip3-+` `flip--` `flip-+`

Counts

2 → 46

Calls

2 calls:

7.0ms	(* x (- (* x 3.0) 4.0))
6.0ms	(* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))

series10.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* x (- (* x 3.0) 4.0))
4.0ms	(* 3.0 (+ 1.0 (* x (- (* x 3.0) 4.0))))

simplify1.0min

Counts

52 → 52

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	21	11
2	35	11
3	68	11
4	115	11
5	147	11
6	165	11
7	193	11
8	279	11
9	426	11
10	671	11
11	737	11
12	844	11
13	951	11
done	951	11
0	11	13
1	17	13
2	24	13
3	36	13
4	45	13
5	48	13
6	54	13
7	65	13
8	94	13
9	141	13
10	201	13
11	215	13
12	236	13
13	259	13
14	260	13
done	260	13
0	10	12
1	25	12
2	40	12
3	73	12
4	120	12
5	152	12
6	170	12
7	198	12
8	284	12
9	431	12
10	677	12
11	744	12
12	856	12
13	963	12
done	963	12
0	10	12
1	24	12
2	47	12
3	105	12
4	224	12
5	548	12
6	1454	12
done	5001	12
0	13	35
1	37	35
2	141	15
3	624	15
4	3409	13
done	5001	13
0	11	25
1	23	25
2	37	25
3	70	25
4	117	25
5	149	25
6	167	25
7	195	25
8	281	25
9	428	25
10	673	25
11	739	25
12	847	25
13	954	25
done	954	25
0	10	12
1	22	12
2	36	12
3	69	12
4	116	12
5	150	12
6	168	12
7	196	12
8	282	12
9	429	12
10	672	12
11	738	12
12	848	12
13	957	12
done	957	12
0	11	35
1	33	35
2	118	13
3	493	13
4	2211	13
done	5000	13
0	10	12
1	22	12
2	36	12
3	69	12
4	116	12
5	150	12
6	168	12
7	196	12
8	282	12
9	429	12
10	672	12
11	738	12
12	848	12
13	957	12
done	957	12
0	10	12
1	22	12
2	36	12
3	69	12
4	116	12
5	150	12
6	168	12
7	196	12
8	282	12
9	429	12
10	672	12
11	738	12
12	848	12
13	957	12
done	957	12
0	11	13
1	17	13
2	24	13
3	36	13
4	45	13
5	48	13
6	54	13
7	65	13
8	94	13
9	141	13
10	201	13
11	215	13
12	236	13
13	259	13
14	260	13
done	260	13
0	11	13
1	17	13
2	24	13
3	36	13
4	45	13
5	48	13
6	54	13
7	65	13
8	94	13
9	141	13
10	201	13
11	215	13
12	236	13
13	259	13
14	260	13
done	260	13
0	3	3
1	4	3
done	4	3
0	7	9
1	13	9
2	31	9
3	63	9
4	83	9
5	97	9
done	97	9
0	3	3
1	4	3
done	4	3
0	7	9
1	14	9
2	25	9
3	54	9
4	80	9
5	99	9
6	107	9
done	107	9
0	11	23
1	19	23
2	28	23
3	40	23
4	49	23
5	52	23
6	58	23
7	69	23
8	98	23
9	145	23
10	205	23
11	219	23
12	240	23
13	263	23
14	264	23
done	264	23
0	10	12
1	16	12
2	23	12
3	35	12
4	44	12
5	47	12
6	53	12
7	64	12
8	93	12
9	140	12
10	200	12
11	214	12
12	235	12
13	258	12
14	259	12
done	259	12
0	3	3
1	6	1
done	6	1
0	10	12
1	22	12
2	38	12
3	72	12
4	130	12
5	170	12
6	188	12
7	216	12
8	311	12
9	511	12
10	845	12
11	929	12
12	1042	12
13	1126	12
done	1126	12
0	10	12
1	22	12
2	38	12
3	72	12
4	130	12
5	170	12
6	188	12
7	216	12
8	311	12
9	511	12
10	845	12
11	929	12
12	1042	12
13	1126	12
done	1126	12
0	9	11
1	21	11
2	35	11
3	68	11
4	115	11
5	147	11
6	165	11
7	193	11
8	279	11
9	426	11
10	671	11
11	737	11
12	844	11
13	951	11
done	951	11
0	12	15
1	40	15
2	114	15
3	404	15
4	1447	15
done	5001	15
0	11	21
1	28	21
2	87	21
3	328	21
4	1233	21
5	3948	21
done	5001	21
0	6	7
1	10	7
2	17	7
3	25	7
4	29	7
done	29	7
0	8	9
1	12	9
2	13	9
done	13	9
0	7	8
1	14	8
2	22	8
3	30	8
4	34	8
done	34	8
0	7	8
1	13	8
2	26	8
3	54	8
4	105	8
5	224	8
6	573	8
7	2010	8
done	5000	8
0	10	23
1	20	23
2	64	11
3	265	11
4	1038	9
5	3739	9
done	5000	9
0	8	17
1	12	17
2	19	17
3	27	17
4	31	17
done	31	17
0	7	8
1	11	8
2	18	8
3	26	8
4	30	8
done	30	8
0	8	23
1	22	23
2	76	9
3	289	9
4	921	9
5	3010	9
done	5000	9
0	7	8
1	11	8
2	18	8
3	26	8
4	30	8
done	30	8
0	7	8
1	11	8
2	18	8
3	26	8
4	30	8
done	30	8
0	8	9
1	12	9
2	13	9
done	13	9
0	8	9
1	12	9
2	13	9
done	13	9
0	4	5
1	8	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	5
1	8	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	5
1	6	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	5
1	6	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	8	15
1	14	15
2	17	15
done	17	15
0	7	8
1	11	8
2	12	8
done	12	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	18	8
3	31	8
4	35	8
done	35	8
0	7	8
1	11	8
2	18	8
3	31	8
4	35	8
done	35	8
0	6	7
1	10	7
2	17	7
3	25	7
4	29	7
done	29	7
0	9	11
1	29	11
2	86	11
3	235	11
4	561	11
5	1813	11
done	5001	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	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	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	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	8	9
1	17	9
2	40	9
3	45	9
4	57	7
5	70	7
6	94	7
7	160	7
8	367	7
9	1294	7
done	5000	7
0	8	9
1	17	9
2	40	9
3	45	9
4	57	7
5	70	7
6	94	7
7	160	7
8	367	7
9	1294	7
done	5000	7
0	8	9
1	17	9
2	40	9
3	45	9
4	57	7
5	70	7
6	94	7
7	160	7
8	367	7
9	1294	7
done	5000	7

prune93.0ms

Filtered

37 candidates to 52 candidates (-40.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	49	3	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	4	53

Merged error: 0b

Counts

53 → 4

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- 3.0 (* x (- 12.0 (* x 9.0))))
0.0b	(- 12.0 (* x 9.0))
0.1b	(* x (- 12.0 (* x 9.0)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt` `add-log-exp`
6×	`sub-neg`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
4×	`distribute-rgt-in` `distribute-lft-in` `associate--r+`
3×	`flip3--` `associate-r` `associate-l` `flip--`
2×	`diff-log` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 52

Calls

3 calls:

3.0ms	(- 3.0 (* x (- 12.0 (* x 9.0))))
4.0ms	(- 12.0 (* x 9.0))
6.0ms	(* x (- 12.0 (* x 9.0)))

series14.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(- 3.0 (* x (- 12.0 (* x 9.0))))
4.0ms	(- 12.0 (* x 9.0))
7.0ms	(* x (- 12.0 (* x 9.0)))

simplify1.2min

Counts

61 → 61

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	8	9
1	12	9
2	19	9
done	19	9
0	7	8
1	14	8
2	28	8
3	42	8
4	48	8
done	48	8
0	7	8
1	13	8
2	32	8
3	66	8
4	130	8
5	274	8
6	722	8
7	2452	8
done	5000	8
0	10	23
1	20	23
2	70	11
3	295	11
4	1320	9
done	5002	9
0	8	17
1	12	17
2	25	17
3	39	17
4	43	17
done	43	17
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	23
1	22	23
2	82	9
3	325	9
4	1203	9
5	4320	9
done	5000	9
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	7	8
1	11	8
2	24	8
3	38	8
4	44	8
done	44	8
0	8	9
1	12	9
2	19	9
done	19	9
0	8	9
1	12	9
2	19	9
done	19	9
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	22	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	3	3
1	4	3
done	4	3
0	5	6
1	13	6
2	23	6
3	28	6
done	28	6
0	8	15
1	14	15
2	23	15
done	23	15
0	7	8
1	11	8
2	18	8
done	18	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	7	8
1	11	8
2	24	8
3	45	8
4	63	8
5	71	8
done	71	8
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	11
1	29	11
2	90	11
3	325	11
4	1017	11
5	3078	11
done	5001	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	7	7
1	12	6
2	20	6
3	39	6
4	77	6
5	177	6
6	500	6
7	1796	6
done	5000	6
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	12	6
2	25	6
3	41	6
4	77	6
5	181	6
6	555	6
7	2144	6
done	5001	6
0	7	13
1	10	13
2	17	13
done	17	13
0	6	6
1	9	6
2	16	6
done	16	6
0	7	17
1	11	17
2	32	7
3	107	7
4	402	7
5	1367	7
6	4003	7
done	5001	7
0	6	6
1	9	6
2	16	6
done	16	6
0	6	6
1	9	6
2	16	6
done	16	6
0	8	9
1	27	9
2	82	9
3	272	9
4	740	9
5	1888	9
done	5000	9
0	9	17
1	26	13
2	59	13
3	72	13
4	73	13
done	73	13
0	4	4
1	9	4
2	11	4
done	11	4
0	7	11
1	20	11
2	50	11
3	109	11
4	159	11
5	260	11
6	370	11
7	612	11
8	2075	11
done	5000	11
0	5	5
1	7	5
done	7	5
0	4	4
1	9	4
2	11	4
done	11	4
0	10	11
1	18	10
2	39	10
3	88	10
4	204	10
5	479	10
6	1300	10
done	5001	10
0	9	10
1	15	10
2	34	10
3	65	10
4	117	10
5	170	10
6	178	10
7	196	10
8	239	10
9	267	10
done	267	10
0	9	10
1	18	10
2	43	10
3	99	10
4	228	10
5	518	10
6	1429	10
done	5000	10
0	10	21
1	16	21
2	35	21
3	66	21
4	118	21
5	172	21
6	180	21
7	198	21
8	241	21
9	269	21
done	269	21
0	9	10
1	15	10
2	34	10
3	65	10
4	117	10
5	170	10
6	178	10
7	196	10
8	239	10
9	267	10
done	267	10
0	10	29
1	17	29
2	50	11
3	156	11
4	663	11
5	3476	11
done	5000	11
0	9	10
1	15	10
2	34	10
3	65	10
4	117	10
5	170	10
6	178	10
7	196	10
8	239	10
9	267	10
done	267	10
0	9	10
1	15	10
2	34	10
3	65	10
4	117	10
5	170	10
6	178	10
7	196	10
8	239	10
9	267	10
done	267	10
0	11	13
1	33	13
2	101	13
3	391	13
4	1667	13
done	5002	13
0	12	29
1	32	21
2	96	21
3	296	21
4	876	21
5	2205	21
done	5001	21
0	7	8
1	15	8
2	38	8
3	79	8
4	122	7
done	122	7
0	10	19
1	26	19
2	80	19
3	289	19
4	1010	19
5	2957	19
done	5000	19
0	8	9
1	13	9
2	26	9
3	44	9
4	53	9
5	56	9
6	62	9
7	73	9
8	96	9
9	123	9
10	152	9
11	166	9
12	195	9
13	235	9
14	236	9
done	236	9
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	7	8
1	15	8
2	38	8
3	79	8
4	122	7
done	122	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	57	9
4	79	7
5	92	7
6	114	7
7	178	7
8	394	7
9	1344	7
done	5001	7
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	5
0	5	5
1	8	5
2	15	5
done	15	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	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	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

prune81.0ms

Filtered

41 candidates to 61 candidates (-48.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	61	4	65

Merged error: 0b

Counts

65 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.1b	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
0.1b	(* x (- (* x 3.0) 4.0))
0.1b	(* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1` `add-exp-log`
14×	`add-sqr-sqrt`
12×	`add-cbrt-cube`
10×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-cube-cbrt` `-un-lft-identity` `associate-r/`
7×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
4×	`cbrt-prod`
3×	`*-commutative` `add-log-exp` `unswap-sqr`
2×	`sub-neg` `flip3-+` `flip-+`
1×	`flip3--` `flip--`

Counts

3 → 78

Calls

3 calls:

13.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
7.0ms	(* x (- (* x 3.0) 4.0))
7.0ms	(* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))

series19.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0)))))
6.0ms	(* x (- (* x 3.0) 4.0))
5.0ms	(* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))

simplify3.5min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	22	12
2	38	12
3	72	12
4	130	12
5	170	12
6	188	12
7	216	12
8	311	12
9	511	12
10	845	12
11	929	12
12	1042	12
13	1126	12
done	1126	12
0	12	14
1	18	14
2	25	14
3	37	14
4	46	14
5	49	14
6	55	14
7	66	14
8	95	14
9	142	14
10	202	14
11	216	14
12	237	14
13	260	14
14	261	14
done	261	14
0	11	13
1	26	13
2	43	13
3	79	13
4	139	13
5	177	13
6	195	13
7	223	13
8	318	13
9	518	13
10	853	13
11	938	13
12	1050	13
13	1134	13
done	1134	13
0	11	13
1	25	13
2	50	13
3	111	13
4	242	13
5	578	13
6	1521	13
done	5000	13
0	11	31
1	32	31
2	114	13
3	457	13
4	2189	13
done	5000	13
0	12	27
1	24	27
2	40	27
3	74	27
4	133	27
5	171	27
6	187	27
7	215	27
8	310	27
9	510	27
10	845	27
11	929	27
12	1046	27
13	1130	27
done	1130	27
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	840	13
11	924	13
12	1040	13
13	1124	13
done	1124	13
0	12	38
1	34	38
2	121	14
3	496	14
4	2235	13
done	5000	13
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	840	13
11	924	13
12	1040	13
13	1124	13
done	1124	13
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	840	13
11	924	13
12	1040	13
13	1124	13
done	1124	13
0	12	14
1	18	14
2	25	14
3	37	14
4	46	14
5	49	14
6	55	14
7	66	14
8	95	14
9	142	14
10	202	14
11	216	14
12	237	14
13	260	14
14	261	14
done	261	14
0	12	14
1	18	14
2	25	14
3	37	14
4	46	14
5	49	14
6	55	14
7	66	14
8	95	14
9	142	14
10	202	14
11	216	14
12	237	14
13	260	14
14	261	14
done	261	14
0	12	14
1	18	14
2	25	14
3	37	14
4	46	14
5	49	14
6	55	14
7	66	14
8	95	14
9	142	14
10	202	14
11	216	14
12	237	14
13	260	14
14	261	14
done	261	14
0	12	14
1	18	14
2	25	14
3	37	14
4	46	14
5	49	14
6	55	14
7	66	14
8	95	14
9	142	14
10	202	14
11	216	14
12	237	14
13	260	14
14	261	14
done	261	14
0	4	4
1	5	4
done	5	4
0	8	10
1	15	10
2	34	10
3	71	10
4	100	10
5	116	10
done	116	10
0	4	4
1	5	4
done	5	4
0	8	10
1	15	10
2	28	10
3	58	10
4	95	10
5	120	10
6	128	10
done	128	10
0	12	24
1	20	24
2	29	24
3	41	24
4	50	24
5	53	24
6	59	24
7	70	24
8	99	24
9	146	24
10	206	24
11	220	24
12	241	24
13	264	24
14	265	24
done	265	24
0	11	13
1	17	13
2	24	13
3	36	13
4	45	13
5	48	13
6	54	13
7	65	13
8	94	13
9	141	13
10	201	13
11	215	13
12	236	13
13	259	13
14	260	13
done	260	13
0	4	4
1	7	2
2	10	2
done	10	2
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	841	13
11	925	13
12	1039	13
13	1123	13
done	1123	13
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	841	13
11	925	13
12	1039	13
13	1123	13
done	1123	13
0	10	12
1	22	12
2	38	12
3	72	12
4	130	12
5	170	12
6	188	12
7	216	12
8	311	12
9	511	12
10	845	12
11	929	12
12	1042	12
13	1126	12
done	1126	12
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	841	13
11	925	13
12	1039	13
13	1123	13
done	1123	13
0	11	13
1	23	13
2	39	13
3	73	13
4	131	13
5	167	13
6	185	13
7	213	13
8	308	13
9	508	13
10	841	13
11	925	13
12	1039	13
13	1123	13
done	1123	13
0	10	12
1	22	12
2	38	12
3	72	12
4	130	12
5	170	12
6	188	12
7	216	12
8	311	12
9	511	12
10	845	12
11	929	12
12	1042	12
13	1126	12
done	1126	12
0	13	16
1	41	16
2	115	16
3	407	16
4	1570	16
done	5000	16
0	12	22
1	29	22
2	88	22
3	335	22
4	1269	22
5	4218	22
done	5000	22
0	6	7
1	10	7
2	17	7
3	25	7
4	29	7
done	29	7
0	8	9
1	12	9
2	13	9
done	13	9
0	7	8
1	14	8
2	22	8
3	30	8
4	34	8
done	34	8
0	7	8
1	13	8
2	26	8
3	54	8
4	105	8
5	224	8
6	573	8
7	2010	8
done	5000	8
0	10	23
1	20	23
2	64	11
3	265	11
4	1038	9
5	3739	9
done	5000	9
0	8	17
1	12	17
2	19	17
3	27	17
4	31	17
done	31	17
0	7	8
1	11	8
2	18	8
3	26	8
4	30	8
done	30	8
0	8	23
1	22	23
2	76	9
3	289	9
4	921	9
5	3010	9
done	5000	9
0	7	8
1	11	8
2	18	8
3	26	8
4	30	8
done	30	8
0	7	8
1	11	8
2	18	8
3	26	8
4	30	8
done	30	8
0	8	9
1	12	9
2	13	9
done	13	9
0	8	9
1	12	9
2	13	9
done	13	9
0	4	5
1	8	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	5
1	8	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	5
1	6	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	5
1	6	5
2	9	5
done	9	5
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	8	15
1	14	15
2	17	15
done	17	15
0	7	8
1	11	8
2	12	8
done	12	8
0	3	3
1	6	1
done	6	1
0	7	8
1	11	8
2	18	8
3	31	8
4	35	8
done	35	8
0	7	8
1	11	8
2	18	8
3	31	8
4	35	8
done	35	8
0	6	7
1	10	7
2	17	7
3	25	7
4	29	7
done	29	7
0	9	11
1	29	11
2	86	11
3	235	11
4	561	11
5	1813	11
done	5001	11
0	8	13
1	22	13
2	50	13
3	104	13
4	222	13
5	366	13
6	596	13
7	1129	13
8	4111	13
done	5001	13
0	12	18
1	29	18
2	73	18
3	166	14
4	373	11
5	600	11
6	768	11
7	890	11
8	1129	11
9	1798	11
10	3733	11
done	5000	11
0	12	18
1	29	18
2	73	18
3	166	14
4	373	11
5	600	11
6	768	11
7	890	11
8	1129	11
9	1798	11
10	3733	11
done	5000	11
0	12	18
1	29	18
2	73	18
3	166	14
4	373	11
5	600	11
6	768	11
7	890	11
8	1129	11
9	1798	11
10	3733	11
done	5000	11
0	12	18
1	29	18
2	73	18
3	166	14
4	373	11
5	600	11
6	768	11
7	890	11
8	1129	11
9	1798	11
10	3733	11
done	5000	11
0	14	22
1	27	20
2	47	16
3	63	16
4	72	16
5	75	16
6	81	16
7	92	16
8	121	16
9	168	16
10	228	16
11	242	16
12	263	16
13	286	16
14	287	16
done	287	16
0	14	21
1	33	19
2	58	19
3	98	16
4	160	16
5	194	16
6	210	16
7	238	16
8	333	16
9	533	16
10	874	16
11	967	16
12	1086	16
13	1173	16
done	1173	16
0	15	21
1	25	21
2	44	20
3	61	16
4	73	16
5	76	16
6	82	16
7	93	16
8	122	16
9	169	16
10	229	16
11	243	16
12	264	16
13	287	16
14	288	16
done	288	16
0	14	20
1	31	20
2	58	19
3	105	16
4	166	16
5	200	16
6	216	16
7	244	16
8	339	16
9	539	16
10	881	16
11	979	16
12	1106	16
13	1204	16
14	1214	16
15	1215	16
done	1215	16
0	13	19
1	33	19
2	86	19
3	192	15
4	405	12
5	641	12
6	845	12
7	951	12
8	1190	12
9	1857	12
10	3786	12
done	5000	12
0	13	19
1	32	19
2	86	19
3	215	15
4	540	12
5	1251	12
6	3465	12
done	5001	12
0	13	35
1	39	35
2	145	17
3	626	15
4	3267	15
done	5000	15
0	14	42
1	41	42
2	165	18
3	890	18
done	5002	18
0	16	49
1	50	49
2	194	21
3	950	17
done	5000	17
0	16	56
1	50	56
2	205	22
3	1161	17
done	5001	17
0	14	39
1	31	39
2	74	39
3	162	31
4	380	25
5	599	25
6	764	25
7	873	25
8	1114	25
9	1783	25
10	3706	25
done	5000	25
0	13	19
1	30	19
2	73	19
3	163	15
4	371	12
5	593	12
6	797	12
7	922	12
8	1161	12
9	1830	12
10	3756	12
done	5000	12
0	14	56
1	41	56
2	183	20
3	909	16
4	4831	13
done	5000	13
0	13	19
1	30	19
2	73	19
3	163	15
4	371	12
5	593	12
6	797	12
7	922	12
8	1161	12
9	1830	12
10	3756	12
done	5000	12
0	13	19
1	30	19
2	73	19
3	163	15
4	371	12
5	593	12
6	797	12
7	922	12
8	1161	12
9	1830	12
10	3756	12
done	5000	12
0	6	10
1	12	10
2	19	10
3	22	6
4	27	3
5	31	3
6	37	3
7	47	3
8	70	3
9	131	3
10	345	3
11	1271	3
done	5000	3
0	10	16
1	22	16
2	59	16
3	181	12
4	365	9
5	542	9
6	683	9
7	702	9
8	725	9
9	802	9
10	1045	9
11	2066	9
done	5000	9
0	6	10
1	12	10
2	20	10
3	24	6
4	29	3
5	33	3
6	39	3
7	49	3
8	70	3
9	128	3
10	342	3
11	1248	3
done	5000	3
0	10	16
1	22	16
2	51	16
3	149	12
4	319	9
5	485	9
6	628	9
7	658	9
8	681	9
9	755	9
10	1002	9
11	2017	9
done	5000	9
0	6	10
1	12	10
2	20	10
3	24	6
4	29	3
5	33	3
6	39	3
7	49	3
8	70	3
9	128	3
10	342	3
11	1248	3
done	5000	3
0	10	16
1	22	16
2	57	16
3	170	12
4	353	9
5	555	9
6	675	9
7	689	9
8	712	9
9	784	9
10	1025	9
11	2025	9
done	5000	9
0	6	10
1	12	10
2	21	6
3	26	3
4	30	3
5	36	3
6	46	3
7	67	3
8	127	3
9	333	3
10	1247	3
done	5000	3
0	10	16
1	22	16
2	55	12
3	135	9
4	292	9
5	467	9
6	620	9
7	676	9
8	738	9
9	964	9
10	1935	9
done	5000	9
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	11	15
1	26	15
2	57	15
3	120	15
4	243	15
5	349	15
6	411	15
7	451	15
8	598	15
9	921	15
10	1673	15
11	1938	15
12	2130	15
13	2269	15
done	2269	15
0	15	22
1	48	22
2	149	22
3	594	18
4	2702	15
done	5000	15
0	14	28
1	36	28
2	111	28
3	456	24
4	2012	21
done	5001	21
0	14	20
1	33	20
2	86	17
3	150	14
4	210	12
5	293	12
6	493	12
7	845	12
8	1180	12
9	2234	12
done	5001	12
0	14	20
1	33	20
2	86	17
3	150	14
4	210	12
5	293	12
6	493	12
7	845	12
8	1180	12
9	2234	12
done	5001	12
0	14	20
1	33	20
2	86	17
3	150	14
4	210	12
5	293	12
6	493	12
7	845	12
8	1180	12
9	2234	12
done	5001	12
0	8	9
1	17	9
2	40	9
3	45	9
4	57	7
5	70	7
6	94	7
7	160	7
8	367	7
9	1294	7
done	5000	7
0	8	9
1	17	9
2	40	9
3	45	9
4	57	7
5	70	7
6	94	7
7	160	7
8	367	7
9	1294	7
done	5000	7
0	8	9
1	17	9
2	40	9
3	45	9
4	57	7
5	70	7
6	94	7
7	160	7
8	367	7
9	1294	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	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	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

prune165.0ms

Filtered

63 candidates to 87 candidates (-38.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Merged error: 0b

Counts

91 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.2b	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
0.2b	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
0.2b	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
0.2b	(* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

3.0ms	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
3.0ms	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
3.0ms	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
11.0ms	(* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))

series49.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
10.0ms	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
16.0ms	(cbrt (+ 1.0 (* x (- (* x 3.0) 4.0))))
11.0ms	(* (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))) (cbrt (+ 1.0 (* x (- (* x 3.0) 4.0)))))

simplify1.9min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	9	19
1	20	19
2	48	19
3	137	19
4	473	19
5	1756	19
done	5000	19
0	10	21
1	15	21
2	22	21
3	34	21
4	43	21
5	46	21
6	52	21
7	63	21
8	92	21
9	139	21
10	199	21
11	213	21
12	234	21
13	257	21
14	258	21
done	258	21
0	2	3
1	6	1
done	6	1
0	11	23
1	18	13
2	26	13
3	38	13
4	47	13
5	50	13
6	56	13
7	67	13
8	96	13
9	143	13
10	203	13
11	217	13
12	238	13
13	261	13
14	262	13
done	262	13
0	11	22
1	18	22
2	27	13
3	40	13
4	49	13
5	52	13
6	58	13
7	69	13
8	98	13
9	145	13
10	205	13
11	219	13
12	240	13
13	263	13
14	264	13
done	264	13
0	11	22
1	18	22
2	29	22
3	46	22
4	73	22
5	116	22
6	224	22
7	615	22
8	2324	22
done	5000	22
0	9	19
1	20	19
2	48	19
3	137	19
4	473	19
5	1756	19
done	5000	19
0	12	45
1	17	45
2	24	45
3	36	45
4	45	45
5	48	45
6	54	45
7	65	45
8	94	45
9	141	45
10	201	45
11	215	45
12	236	45
13	259	45
14	260	45
done	260	45
0	11	22
1	16	22
2	23	22
3	35	22
4	44	22
5	47	22
6	53	22
7	64	22
8	93	22
9	140	22
10	200	22
11	214	22
12	235	22
13	258	22
14	259	22
done	259	22
0	12	65
1	25	65
2	39	23
3	65	12
4	168	12
5	577	12
6	2031	12
done	5001	12
0	11	22
1	17	11
2	24	11
3	36	11
4	45	11
5	48	11
6	54	11
7	65	11
8	94	11
9	141	11
10	201	11
11	215	11
12	236	11
13	259	11
14	260	11
done	260	11
0	11	22
1	17	11
2	24	11
3	36	11
4	45	11
5	48	11
6	54	11
7	65	11
8	94	11
9	141	11
10	201	11
11	215	11
12	236	11
13	259	11
14	260	11
done	260	11
0	13	29
1	34	29
2	79	29
3	246	29
4	818	29
5	2619	29
done	5001	29
0	14	61
1	35	45
2	102	45
3	331	45
4	953	45
5	2312	45
done	5000	45
0	17	35
1	49	35
2	133	35
3	469	35
4	1585	35
done	5000	35
0	16	41
1	40	33
2	112	33
3	351	33
4	974	33
5	2305	33
done	5000	33
0	17	35
1	49	35
2	133	35
3	464	35
4	1582	35
done	5001	35
0	16	41
1	40	33
2	112	33
3	347	33
4	975	33
5	2315	33
done	5000	33
0	12	41
1	28	41
2	77	41
3	268	41
4	888	41
5	2330	41
done	5000	41
0	10	21
1	16	21
2	30	21
3	55	21
4	102	21
5	111	21
6	124	21
7	139	21
8	181	21
9	232	21
10	233	21
done	233	21
0	12	45
1	17	45
2	24	45
3	36	45
4	45	45
5	48	45
6	54	45
7	65	45
8	94	45
9	141	45
10	201	45
11	215	45
12	236	45
13	259	45
14	260	45
done	260	45
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	3	5
1	5	3
done	5	1
0	10	21
1	15	21
2	22	21
3	34	21
4	43	21
5	46	21
6	52	21
7	63	21
8	92	21
9	139	21
10	199	21
11	213	21
12	234	21
13	257	21
14	258	21
done	258	21
0	12	47
1	21	47
2	30	25
3	51	13
4	75	13
5	104	13
6	184	13
7	402	13
8	1323	13
done	5000	13
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	11	23
1	16	10
2	24	10
3	36	10
4	45	10
5	48	10
6	54	10
7	65	10
8	94	10
9	141	10
10	201	10
11	215	10
12	236	10
13	259	10
14	260	10
done	260	10
0	11	23
1	16	10
2	24	10
3	36	10
4	45	10
5	48	10
6	54	10
7	65	10
8	94	10
9	141	10
10	201	10
11	215	10
12	236	10
13	259	10
14	260	10
done	260	10
0	2	3
1	4	1
done	4	1
0	10	21
1	15	21
2	22	21
3	34	21
4	43	21
5	46	21
6	52	21
7	63	21
8	92	21
9	139	21
10	199	21
11	213	21
12	234	21
13	257	21
14	258	21
done	258	21
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	13	23
1	19	23
2	26	23
3	38	23
4	47	23
5	50	23
6	56	23
7	67	23
8	96	23
9	143	23
10	203	23
11	217	23
12	238	23
13	261	23
14	262	23
done	262	23
0	13	23
1	19	23
2	26	23
3	38	23
4	47	23
5	50	23
6	56	23
7	67	23
8	96	23
9	143	23
10	203	23
11	217	23
12	238	23
13	261	23
14	262	23
done	262	23
0	13	23
1	19	23
2	26	23
3	38	23
4	47	23
5	50	23
6	56	23
7	67	23
8	96	23
9	143	23
10	203	23
11	217	23
12	238	23
13	261	23
14	262	23
done	262	23
0	13	23
1	19	23
2	26	23
3	38	23
4	47	23
5	50	23
6	56	23
7	67	23
8	96	23
9	143	23
10	203	23
11	217	23
12	238	23
13	261	23
14	262	23
done	262	23
0	11	23
1	16	10
2	24	10
3	36	10
4	45	10
5	48	10
6	54	10
7	65	10
8	94	10
9	141	10
10	201	10
11	215	10
12	236	10
13	259	10
14	260	10
done	260	10
0	11	23
1	16	10
2	24	10
3	36	10
4	45	10
5	48	10
6	54	10
7	65	10
8	94	10
9	141	10
10	201	10
11	215	10
12	236	10
13	259	10
14	260	10
done	260	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	12	33
1	18	33
2	25	33
3	37	33
4	46	33
5	49	33
6	55	33
7	66	33
8	95	33
9	142	33
10	202	33
11	216	33
12	237	33
13	260	33
14	261	33
done	261	33
0	12	22
1	18	22
2	25	22
3	37	22
4	46	22
5	49	22
6	55	22
7	66	22
8	95	22
9	142	22
10	202	22
11	216	22
12	237	22
13	260	22
14	261	22
done	261	22
0	12	13
1	20	12
2	27	12
3	39	10
4	51	10
5	54	10
6	60	10
7	71	10
8	100	10
9	147	10
10	207	10
11	221	10
12	242	10
13	265	10
14	266	10
done	266	10
0	12	34
1	20	34
2	29	34
3	41	34
4	50	34
5	53	34
6	59	34
7	70	34
8	99	34
9	146	34
10	206	34
11	220	34
12	241	34
13	264	34
14	265	34
done	265	34
0	11	22
1	17	22
2	24	22
3	36	22
4	45	22
5	48	22
6	54	22
7	65	22
8	94	22
9	141	22
10	201	22
11	215	22
12	236	22
13	259	22
14	260	22
done	260	22
0	11	12
1	19	10
2	29	10
3	41	10
4	50	10
5	53	10
6	59	10
7	70	10
8	99	10
9	146	10
10	206	10
11	220	10
12	241	10
13	264	10
14	265	10
done	265	10
0	11	22
1	17	22
2	24	22
3	36	22
4	45	22
5	48	22
6	54	22
7	65	22
8	94	22
9	141	22
10	201	22
11	215	22
12	236	22
13	259	22
14	260	22
done	260	22
0	12	22
1	18	22
2	25	22
3	37	22
4	46	22
5	49	22
6	55	22
7	66	22
8	95	22
9	142	22
10	202	22
11	216	22
12	237	22
13	260	22
14	261	22
done	261	22
0	10	21
1	15	21
2	22	21
3	34	21
4	43	21
5	46	21
6	52	21
7	63	21
8	92	21
9	139	21
10	199	21
11	213	21
12	234	21
13	257	21
14	258	21
done	258	21
0	11	22
1	17	22
2	24	22
3	36	22
4	45	22
5	48	22
6	54	22
7	65	22
8	94	22
9	141	22
10	201	22
11	215	22
12	236	22
13	259	22
14	260	22
done	260	22
0	11	22
1	17	22
2	24	22
3	36	22
4	45	22
5	48	22
6	54	22
7	65	22
8	94	22
9	141	22
10	201	22
11	215	22
12	236	22
13	259	22
14	260	22
done	260	22
0	10	21
1	15	21
2	22	21
3	34	21
4	43	21
5	46	21
6	52	21
7	63	21
8	92	21
9	139	21
10	199	21
11	213	21
12	234	21
13	257	21
14	258	21
done	258	21
0	15	25
1	38	25
2	83	25
3	244	25
4	790	25
5	2600	25
done	5001	25
0	14	31
1	31	31
2	79	31
3	269	31
4	887	31
5	2352	31
done	5000	31
0	15	25
1	38	25
2	83	25
3	260	25
4	809	25
5	2610	25
done	5000	25
0	14	31
1	31	31
2	79	31
3	269	31
4	895	31
5	2341	31
done	5000	31
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	11	22
1	16	22
2	23	22
3	35	22
4	44	22
5	47	22
6	53	22
7	64	22
8	93	22
9	140	22
10	200	22
11	214	22
12	235	22
13	258	22
14	259	22
done	259	22
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	2	2
1	4	1
done	4	1
0	9	10
1	14	10
2	21	10
3	33	10
4	42	10
5	45	10
6	51	10
7	62	10
8	91	10
9	138	10
10	198	10
11	212	10
12	233	10
13	256	10
14	257	10
done	257	10
0	12	14
1	33	14
2	78	14
3	245	14
4	816	14
5	2626	14
done	5001	14
0	13	30
1	34	22
2	101	22
3	331	22
4	952	22
5	2309	22
done	5000	22
0	11	20
1	27	20
2	76	20
3	268	20
4	879	20
5	2324	20
done	5001	20
0	9	10
1	15	10
2	29	10
3	54	10
4	101	10
5	114	10
6	127	10
7	142	10
8	184	10
9	233	10
10	234	10
done	234	10
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	11	32
1	17	32
2	26	12
3	43	9
4	58	9
5	71	9
6	98	9
7	169	9
8	413	9
9	1370	9
done	5000	9
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	11	22
1	16	22
2	23	22
3	35	22
4	44	22
5	47	22
6	53	22
7	64	22
8	93	22
9	140	22
10	200	22
11	214	22
12	235	22
13	258	22
14	259	22
done	259	22
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	2	2
1	4	1
done	4	1
0	9	10
1	14	10
2	21	10
3	33	10
4	42	10
5	45	10
6	51	10
7	62	10
8	91	10
9	138	10
10	198	10
11	212	10
12	233	10
13	256	10
14	257	10
done	257	10
0	12	14
1	33	14
2	78	14
3	245	14
4	816	14
5	2626	14
done	5001	14
0	13	30
1	34	22
2	101	22
3	331	22
4	952	22
5	2309	22
done	5000	22
0	11	20
1	27	20
2	76	20
3	268	20
4	879	20
5	2324	20
done	5001	20
0	9	10
1	15	10
2	29	10
3	54	10
4	101	10
5	114	10
6	127	10
7	142	10
8	184	10
9	233	10
10	234	10
done	234	10
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	11	32
1	17	32
2	26	12
3	43	9
4	58	9
5	71	9
6	98	9
7	169	9
8	413	9
9	1370	9
done	5000	9
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	11	22
1	16	22
2	23	22
3	35	22
4	44	22
5	47	22
6	53	22
7	64	22
8	93	22
9	140	22
10	200	22
11	214	22
12	235	22
13	258	22
14	259	22
done	259	22
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	2	2
1	4	1
done	4	1
0	9	10
1	14	10
2	21	10
3	33	10
4	42	10
5	45	10
6	51	10
7	62	10
8	91	10
9	138	10
10	198	10
11	212	10
12	233	10
13	256	10
14	257	10
done	257	10
0	12	14
1	33	14
2	78	14
3	245	14
4	816	14
5	2626	14
done	5001	14
0	13	30
1	34	22
2	101	22
3	331	22
4	952	22
5	2309	22
done	5000	22
0	11	20
1	27	20
2	76	20
3	268	20
4	879	20
5	2324	20
done	5001	20
0	9	10
1	15	10
2	29	10
3	54	10
4	101	10
5	114	10
6	127	10
7	142	10
8	184	10
9	233	10
10	234	10
done	234	10
0	11	23
1	16	23
2	23	23
3	35	23
4	44	23
5	47	23
6	53	23
7	64	23
8	93	23
9	140	23
10	200	23
11	214	23
12	235	23
13	258	23
14	259	23
done	259	23
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	11	32
1	17	32
2	26	12
3	43	9
4	58	9
5	71	9
6	98	9
7	169	9
8	413	9
9	1370	9
done	5000	9
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	10	11
1	15	11
2	22	11
3	34	11
4	43	11
5	46	11
6	52	11
7	63	11
8	92	11
9	139	11
10	199	11
11	213	11
12	234	11
13	257	11
14	258	11
done	258	11
0	23	35
1	61	31
2	180	30
3	563	27
4	2240	25
done	5000	25
0	28	71
1	67	67
2	195	67
3	741	47
4	4664	29
done	5000	29
0	28	71
1	64	71
2	188	71
3	494	67
4	1854	37
done	5000	37
0	23	35
1	61	31
2	180	30
3	563	27
4	2240	25
done	5000	25
0	27	71
1	65	67
2	190	67
3	720	45
4	4524	29
done	5001	29
0	27	71
1	63	71
2	187	71
3	491	51
4	1850	37
done	5000	37
0	23	35
1	61	31
2	180	30
3	563	27
4	2240	25
done	5000	25
0	27	71
1	65	67
2	190	67
3	720	45
4	4524	29
done	5001	29
0	27	71
1	63	71
2	187	71
3	491	51
4	1850	37
done	5000	37
0	23	35
1	61	31
2	180	30
3	563	27
4	2240	25
done	5000	25
0	27	71
1	65	67
2	190	67
3	720	45
4	4524	29
done	5001	29
0	27	71
1	63	71
2	187	71
3	491	51
4	1850	37
done	5000	37

prune319.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	99	4	103

Merged error: 0b

Counts

103 → 4

regimes33.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	10	9
done	10	9

end0.0ms

sample608.0ms

Algorithm

intervals

Results

407.0ms

10689×

body

valid

Details

sample22.0ms

simplify1.0s

prune5.0ms

localize7.0ms

rewrite14.0ms

series10.0ms

simplify1.0min

prune93.0ms

localize6.0ms

rewrite15.0ms

series14.0ms

simplify1.2min

prune81.0ms

localize11.0ms

rewrite30.0ms

series19.0ms

simplify3.5min

prune165.0ms

localize11.0ms

rewrite23.0ms

series49.0ms

simplify1.9min

prune319.0ms

regimes33.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample608.0ms

Profiling