Details

sample174.0ms

Algorithm

intervals

Results

100.0ms	193×	body	1280	valid
29.0ms	103×	body	640	valid
10.0ms	47×	body	320	valid
8.0ms	137×	body	80	valid
2.0ms	18×	body	160	valid

simplify6.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	21	12
2	43	12
3	86	12
4	154	12
5	249	12
6	466	12
7	612	12
8	892	12
9	1908	12
10	2515	12
11	2551	12
12	2673	12
13	2691	12
done	2691	12

prune4.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: 58.4b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
4.7b	(- (exp (- 0.0 im)) (exp im))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 40

Calls

2 calls:

14.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
13.0ms	(- (exp (- 0.0 im)) (exp im))

series26.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
7.0ms	(- (exp (- 0.0 im)) (exp im))

simplify1.8min

Counts

46 → 46

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	8
2	19	8
3	27	8
4	41	8
5	65	8
6	155	8
7	404	8
8	1022	8
9	3143	8
done	5000	8
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	140	8
14	157	8
15	158	8
done	158	8
0	7	8
1	16	8
2	22	8
3	29	8
4	45	8
5	73	8
6	202	8
7	440	8
8	1073	8
9	3187	8
done	5001	8
0	8	17
1	14	17
2	18	17
3	21	17
4	27	17
5	31	17
6	47	17
7	52	17
8	57	17
9	64	17
10	83	17
11	104	17
12	123	17
13	140	17
14	154	17
15	155	17
done	155	17
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	138	8
14	152	8
15	153	8
done	153	8
0	8	23
1	15	23
2	33	9
3	93	9
4	316	9
5	1188	9
6	4149	9
done	5000	9
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	138	8
14	152	8
15	153	8
done	153	8
0	7	8
1	13	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	51	8
8	56	8
9	63	8
10	81	8
11	102	8
12	121	8
13	138	8
14	152	8
15	153	8
done	153	8
0	9	11
1	28	11
2	67	11
3	169	11
4	501	11
5	1712	11
done	5001	11
0	10	23
1	27	19
2	61	17
3	139	16
4	259	14
5	693	14
6	2584	14
done	5000	14
0	3	3
done	3	3
0	8	15
1	21	13
2	45	11
3	114	11
4	249	11
5	535	11
6	1098	11
7	3548	11
done	5000	11
0	6	7
1	11	7
2	14	7
3	17	7
4	23	7
5	27	7
6	43	7
7	47	7
8	52	7
9	59	7
10	78	7
11	99	7
12	112	7
13	116	7
done	116	7
0	8	9
1	13	9
2	16	9
3	19	9
4	25	9
5	29	9
6	45	9
7	49	9
8	54	9
9	61	9
10	80	9
11	101	9
12	113	9
13	116	9
done	116	9
0	8	9
1	14	9
2	18	9
3	21	9
4	27	9
5	31	9
6	47	9
7	51	9
8	56	9
9	63	9
10	82	9
11	103	9
12	116	9
13	119	9
done	119	9
0	6	7
1	12	7
2	16	7
3	19	7
4	25	7
5	29	7
6	45	7
7	50	7
8	55	7
9	62	7
10	80	7
11	101	7
12	121	7
13	138	7
14	152	7
15	153	7
done	153	7
0	3	3
done	3	3
0	11	12
1	21	12
2	43	12
3	86	12
4	154	12
5	249	12
6	466	12
7	612	12
8	892	12
9	1908	12
10	2515	12
11	2551	12
12	2673	12
13	2691	12
done	2691	12
0	11	12
1	21	12
2	43	12
3	86	12
4	154	12
5	249	12
6	466	12
7	612	12
8	892	12
9	1908	12
10	2515	12
11	2551	12
12	2673	12
13	2691	12
done	2691	12
0	14	15
1	24	15
2	34	15
3	39	15
4	45	15
5	49	15
6	65	15
7	72	15
8	77	15
9	84	15
10	103	15
11	124	15
12	148	15
13	167	15
14	193	15
15	219	15
done	219	15
0	13	14
1	24	14
2	33	14
3	40	14
4	46	14
5	50	14
6	66	14
7	71	14
8	76	14
9	83	14
10	102	14
11	123	14
12	146	14
13	165	14
14	191	14
15	217	14
done	217	14
0	12	13
1	25	13
2	54	13
3	109	13
4	177	13
5	268	13
6	501	13
7	656	13
8	970	13
9	1987	13
10	2601	13
11	2702	13
12	2921	13
13	3039	13
done	3039	13
0	12	13
1	24	13
2	57	13
3	134	13
4	300	13
5	672	13
6	1987	13
done	5001	13
0	17	38
1	36	38
2	123	18
3	570	18
4	3355	16
done	5000	16
0	15	38
1	38	38
2	127	16
3	592	16
4	3502	14
done	5001	14
0	13	27
1	23	27
2	45	27
3	88	27
4	156	27
5	251	27
6	472	27
7	599	27
8	876	27
9	1871	27
10	2462	27
11	2498	27
12	2615	27
13	2634	27
done	2634	27
0	12	13
1	22	13
2	44	13
3	87	13
4	155	13
5	246	13
6	468	13
7	612	13
8	892	13
9	1893	13
10	2527	13
11	2563	13
12	2672	13
13	2690	13
done	2690	13
0	13	38
1	33	38
2	137	14
3	733	14
4	4173	14
done	5000	14
0	12	13
1	22	13
2	44	13
3	87	13
4	155	13
5	246	13
6	468	13
7	612	13
8	892	13
9	1893	13
10	2527	13
11	2563	13
12	2672	13
13	2690	13
done	2690	13
0	12	13
1	22	13
2	44	13
3	87	13
4	155	13
5	246	13
6	468	13
7	612	13
8	892	13
9	1893	13
10	2527	13
11	2563	13
12	2672	13
13	2690	13
done	2690	13
0	9	9
1	18	9
2	33	9
3	61	9
4	119	9
5	194	9
6	311	9
7	353	9
8	496	9
9	732	9
10	1022	9
11	1105	9
done	1105	9
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	9	9
1	18	9
2	33	9
3	61	9
4	119	9
5	194	9
6	311	9
7	353	9
8	496	9
9	732	9
10	1022	9
11	1105	9
done	1105	9
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	9	9
1	18	9
2	33	9
3	62	9
4	117	9
5	191	9
6	308	9
7	347	9
8	491	9
9	721	9
10	1020	9
11	1099	9
done	1099	9
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	9	9
1	18	9
2	33	9
3	62	9
4	117	9
5	191	9
6	308	9
7	347	9
8	491	9
9	721	9
10	1020	9
11	1099	9
done	1099	9
0	8	8
1	14	8
2	28	8
3	43	8
4	51	8
done	51	8
0	13	22
1	25	22
2	42	22
3	57	22
4	63	22
5	67	22
6	83	22
7	88	22
8	93	22
9	100	22
10	119	22
11	140	22
12	160	22
13	177	22
14	191	22
15	192	22
done	192	22
0	12	13
1	22	13
2	32	13
3	35	13
4	41	13
5	45	13
6	61	13
7	68	13
8	73	13
9	80	13
10	98	13
11	119	13
12	143	13
13	160	13
14	174	13
15	175	13
done	175	13
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	13	14
1	28	14
2	58	14
3	67	14
4	73	14
5	77	14
6	93	14
7	97	14
8	102	14
9	109	14
10	128	14
11	149	14
12	162	14
13	165	14
done	165	14
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	9	10
1	16	10
2	26	10
3	41	10
4	62	10
5	81	10
6	151	10
7	206	10
8	310	10
9	538	10
10	617	10
11	627	10
12	661	10
13	669	10
done	669	10
0	14	16
1	37	16
2	94	16
3	322	16
4	1268	16
done	5000	16
0	13	20
1	30	18
2	78	16
3	248	16
4	747	16
5	2047	16
done	5000	16
0	14	16
1	35	16
2	84	15
3	187	15
4	437	15
5	1144	15
6	3846	15
done	5000	15
0	5	6
1	9	6
2	12	6
done	12	6
0	6	7
1	12	6
2	20	6
3	31	6
4	55	6
5	104	6
6	225	6
7	660	6
8	2284	6
done	5001	6
0	15	17
1	38	17
2	91	17
3	179	15
4	368	15
5	782	15
6	2343	15
done	5000	15
0	10	11
1	18	11
2	39	11
3	75	11
4	110	11
5	261	11
6	388	11
7	558	11
8	1073	11
9	1571	11
10	1607	11
11	1718	11
12	1736	11
done	1736	11
0	11	12
1	21	11
2	47	11
3	100	11
4	202	11
5	564	11
6	1530	11
7	4672	11
done	5001	11

prune100.0ms

Filtered

35 candidates to 46 candidates (-31.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	42	4	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	4	47

Merged error: 0.1b

Counts

47 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
0.0b	(* 1/60 (pow im 5))
0.1b	(* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
0.1b	(* 1/3 (pow im 3))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
22×	`associate-r`
19×	`add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow1` `prod-exp`
8×	`unpow-prod-down`
7×	`associate-l` `unswap-sqr`
6×	`add-log-exp`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`pow-prod-down` `*-commutative`
2×	`distribute-rgt-in` `pow-to-exp` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-exp`
1×	`+-commutative` `cube-mult` `flip3--` `flip3-+` `unpow3` `sum-log` `flip--` `flip-+`

Counts

4 → 91

Calls

4 calls:

5.0ms	(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
6.0ms	(* 1/60 (pow im 5))
12.0ms	(* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
8.0ms	(* 1/3 (pow im 3))

series69.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))
5.0ms	(* 1/60 (pow im 5))
41.0ms	(* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))
5.0ms	(* 1/3 (pow im 3))

simplify6.3min

Counts

103 → 103

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	18	7
2	30	7
3	57	7
4	111	7
5	257	7
6	736	7
7	2804	7
done	5000	7
0	6	6
1	18	6
2	44	6
3	92	6
4	181	6
5	434	6
6	1321	6
done	5001	6
0	6	6
1	17	6
2	40	6
3	94	5
4	232	5
5	701	5
6	2755	5
done	5000	5
0	9	17
1	29	9
2	87	7
3	358	7
4	1597	7
done	5000	7
0	7	13
1	16	13
2	34	13
3	58	13
4	102	13
5	244	13
6	769	13
7	3060	13
done	5001	13
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	17
1	27	15
2	107	7
3	511	7
4	2469	7
done	5000	7
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	11
1	17	5
2	25	5
3	35	5
4	56	5
5	116	5
6	325	5
7	1246	5
done	5000	5
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	3	3
1	4	3
done	4	3
0	6	6
1	15	6
2	22	6
3	32	6
4	53	6
5	114	6
6	324	6
7	1259	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	227	5
6	762	5
7	3059	5
done	5001	5
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	18	20
1	42	20
2	97	20
3	257	20
4	854	20
5	3471	20
done	5000	20
0	18	20
1	42	20
2	97	20
3	257	20
4	854	20
5	3471	20
done	5000	20
0	21	23
1	45	23
2	88	23
3	181	23
4	421	23
5	1179	23
6	4622	23
done	5000	23
0	20	22
1	45	22
2	87	22
3	179	22
4	417	22
5	1180	22
6	4605	22
done	5001	22
0	19	21
1	46	21
2	108	21
3	284	21
4	887	21
5	3352	21
done	5000	21
0	19	21
1	45	21
2	110	21
3	322	21
4	1149	21
5	4626	21
done	5000	21
0	24	62
1	57	62
2	176	26
3	796	26
done	5000	26
0	22	62
1	59	62
2	180	24
3	816	24
done	5000	24
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	19	21
1	43	21
2	98	21
3	258	21
4	856	21
5	3345	21
done	5000	21
0	20	62
1	54	62
2	190	22
3	976	22
done	5000	22
0	19	21
1	43	21
2	98	21
3	258	21
4	856	21
5	3345	21
done	5000	21
0	19	21
1	43	21
2	98	21
3	258	21
4	856	21
5	3345	21
done	5000	21
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	16	17
1	40	17
2	118	16
3	390	16
4	1565	16
done	5001	16
0	8	8
1	15	8
2	34	8
3	55	8
4	58	8
done	58	8
0	16	17
1	40	17
2	118	16
3	390	16
4	1565	16
done	5001	16
0	8	8
1	15	8
2	34	8
3	55	8
4	60	8
done	60	8
0	16	17
1	40	17
2	104	16
3	279	16
4	1068	16
5	4271	16
done	5000	16
0	8	8
1	15	8
2	34	8
3	55	8
4	60	8
done	60	8
0	16	17
1	40	17
2	104	16
3	279	16
4	1068	16
5	4271	16
done	5000	16
0	20	38
1	46	38
2	96	38
3	194	38
4	436	38
5	1202	38
6	4673	38
done	5000	38
0	19	21
1	43	21
2	86	21
3	174	21
4	417	21
5	1170	21
6	4597	21
done	5000	21
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	16	18
1	37	18
2	80	18
3	201	18
4	575	18
5	1963	18
done	5001	18
0	20	24
1	55	24
2	163	24
3	633	24
4	3314	24
done	5000	24
0	20	36
1	58	34
2	168	34
3	698	34
4	3704	34
done	5000	34
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	24	7
3	42	7
4	91	7
5	241	7
6	737	7
7	2752	7
done	5000	7
0	6	6
1	15	6
2	30	6
3	60	6
4	144	6
5	405	6
6	1301	6
7	4933	6
done	5000	6
0	6	6
1	14	6
2	29	6
3	63	6
4	165	6
5	543	6
6	2400	6
done	5001	6
0	9	17
1	26	9
2	62	7
3	173	7
4	656	7
5	2869	7
done	5000	7
0	7	13
1	13	13
2	23	13
3	41	13
4	89	13
5	228	13
6	758	13
7	3065	13
done	5001	13
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	17
1	24	15
2	74	7
3	249	7
4	962	7
5	4036	7
done	5001	7
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	7	9
1	13	9
2	23	9
3	41	9
4	88	9
5	233	9
6	764	9
7	3068	9
done	5001	9
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	769	6
7	3058	6
done	5001	6
0	5	5
1	13	1
done	13	1
0	7	11
1	15	11
2	23	11
3	33	11
4	55	11
5	117	11
6	326	11
7	1255	11
done	5001	11
0	6	6
1	12	6
2	19	6
3	29	6
4	51	6
5	115	6
6	328	6
7	1249	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	88	5
5	230	5
6	762	5
7	3072	5
done	5000	5
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	12	13
1	33	12
2	72	12
3	173	12
4	487	12
5	1949	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	29	12
2	66	12
3	141	12
4	372	12
5	1394	12
done	5001	12
0	12	25
1	27	25
2	55	25
3	95	25
4	188	25
5	476	25
6	1518	25
done	5000	25
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	35
1	40	35
2	131	13
3	670	13
4	4453	13
done	5000	13
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	11	12
1	26	12
2	54	12
3	95	12
4	185	12
5	476	12
6	1514	12
done	5000	12
0	12	15
1	45	15
2	138	15
3	561	15
4	2594	15
done	5001	15
0	14	35
1	56	27
2	201	21
3	871	21
4	4032	21
done	5000	21
0	12	23
1	47	19
2	155	11
3	536	11
4	1899	11
done	5000	11
0	10	11
1	26	11
2	62	11
3	113	11
4	260	11
5	747	11
6	2667	11
done	5000	11
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	15	17
1	38	17
2	91	17
3	179	15
4	368	15
5	782	15
6	2343	15
done	5000	15
0	19	25
1	50	25
2	126	25
3	335	22
4	973	19
5	2902	19
done	5000	19
0	19	25
1	50	25
2	126	25
3	335	22
4	973	19
5	2902	19
done	5000	19
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11
0	10	11
1	25	11
2	53	11
3	95	11
4	188	11
5	479	11
6	1512	11
done	5001	11

prune252.0ms

Filtered

75 candidates to 103 candidates (-37.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	97	10	107

Merged error: 0.0b

Counts

107 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
0.6b	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
0.6b	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
0.6b	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

10.0ms	(* (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
10.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
11.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
15.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

series502.0ms

Counts

4 → 12

Calls

4 calls:

213.0ms	(* (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
97.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
96.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
95.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))

simplify3.4min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	19	41
1	50	41
2	156	41
3	612	41
4	3529	41
done	5000	41
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	2	3
1	6	1
done	6	1
0	21	45
1	46	24
2	102	24
3	267	24
4	869	24
5	3253	24
done	5001	24
0	21	44
1	47	44
2	103	24
3	268	24
4	875	24
5	3312	24
done	5001	24
0	21	44
1	47	44
2	105	44
3	274	44
4	894	44
5	3447	44
done	5000	44
0	19	41
1	50	41
2	156	41
3	612	41
4	3529	41
done	5000	41
0	22	89
1	46	89
2	101	89
3	265	89
4	863	89
5	3310	89
done	5001	89
0	21	44
1	45	44
2	100	44
3	264	44
4	865	44
5	3354	44
done	5000	44
0	22	131
1	54	131
2	115	45
3	288	23
4	1048	23
done	5000	23
0	21	44
1	46	22
2	101	22
3	265	22
4	866	22
5	3367	22
done	5000	22
0	21	44
1	46	22
2	101	22
3	265	22
4	866	22
5	3367	22
done	5000	22
0	22	51
1	57	51
2	165	51
3	629	51
4	3299	51
done	5001	51
0	19	97
1	63	69
2	196	69
3	716	69
4	2921	69
done	5000	69
0	27	63
1	82	61
2	265	61
3	1170	61
done	5000	61
0	21	65
1	68	51
2	206	51
3	740	51
4	2934	51
done	5000	51
0	27	63
1	82	61
2	265	61
3	1182	61
done	5001	61
0	21	65
1	68	51
2	206	51
3	731	51
4	2958	51
done	5001	51
0	22	75
1	60	71
2	170	71
3	701	71
4	3696	71
done	5000	71
0	15	33
1	34	33
2	68	33
3	116	33
4	210	33
5	502	33
6	1548	33
done	5000	33
0	6	11
1	7	11
done	7	11
0	15	33
1	35	33
2	72	33
3	161	33
4	403	33
5	1128	33
6	4505	33
done	5000	33
0	22	91
1	50	91
2	106	47
3	274	24
4	893	24
5	3528	24
done	5000	24
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	2	3
1	4	1
done	4	1
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	21	45
1	45	21
2	101	21
3	265	21
4	867	21
5	3422	21
done	5000	21
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	21	27
1	46	27
2	101	27
3	265	27
4	863	27
5	3310	27
done	5001	27
0	22	67
1	49	67
2	106	67
3	266	67
4	872	67
5	3282	67
done	5001	67
0	21	44
1	46	44
2	101	44
3	265	44
4	863	44
5	3310	44
done	5001	44
0	21	23
1	48	21
2	106	21
3	266	21
4	873	21
5	3311	21
done	5000	21
0	21	38
1	46	38
2	101	38
3	263	38
4	862	38
5	3357	38
done	5000	38
0	21	44
1	46	44
2	101	44
3	265	44
4	863	44
5	3310	44
done	5001	44
0	21	44
1	46	44
2	101	44
3	265	44
4	863	44
5	3310	44
done	5001	44
0	20	43
1	44	43
2	99	43
3	262	43
4	862	43
5	3475	43
done	5000	43
0	25	47
1	68	47
2	202	47
3	776	47
4	3945	47
done	5001	47
0	25	59
1	70	57
2	206	57
3	909	57
4	4989	57
done	5000	57
0	25	47
1	68	47
2	202	47
3	777	47
4	3916	47
done	5000	47
0	25	59
1	70	57
2	206	57
3	913	57
done	5000	57
0	30	51
1	76	51
2	213	51
3	706	40
4	2828	30
done	5000	30
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	812	22
5	2938	22
done	5000	22
0	30	51
1	76	51
2	213	51
3	706	40
4	2828	30
done	5000	30
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	812	22
5	2938	22
done	5000	22
0	30	51
1	76	51
2	213	51
3	706	40
4	2828	30
done	5000	30
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	812	22
5	2938	22
done	5000	22
0	33	63
1	82	63
2	285	63
3	1090	47
done	5001	47
0	26	51
1	59	49
2	169	49
3	672	45
4	3956	24
done	5001	24
0	26	51
1	57	51
2	156	51
3	429	49
4	1704	26
done	5000	26

prune564.0ms

Filtered

69 candidates to 84 candidates (-21.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	83	11	94

Merged error: 0.0b

Counts

94 → 11

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (cbrt (* 0.5 (cos re))) (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
0.6b	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
0.6b	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
0.7b	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div` `associate-*r/`
12×	`pow1/3`
9×	`pow1` `add-exp-log` `flip3--` `flip--`
7×	`cbrt-prod` `pow-prod-down`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`add-cbrt-cube`
4×	`frac-times` `associate-l` `add-log-exp`
3×	`prod-exp` `cbrt-unprod`
2×	`associate-*l/`
1×	`swap-sqr` `associate-r` `pow-sqr` `*-commutative` `pow-prod-up`

Counts

4 → 66

Calls

4 calls:

16.0ms	(* (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (cbrt (* 0.5 (cos re))) (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
11.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
11.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
7.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

series459.0ms

Counts

4 → 12

Calls

4 calls:

237.0ms	(* (cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))) (* (cbrt (* 0.5 (cos re))) (cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))))
98.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
96.0ms	(cbrt (* (* 0.5 (cos re)) (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5))))))
28.0ms	(cbrt (- (* im -2) (+ (* 1/3 (pow im 3)) (* 1/60 (pow im 5)))))

simplify3.8min

Counts

78 → 78

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	16	34
1	36	34
2	73	34
3	162	34
4	409	34
5	1133	34
6	4498	34
done	5001	34
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	16	20
1	47	20
2	137	20
3	432	20
4	2043	20
done	5000	20
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	16	32
1	50	30
2	136	30
3	492	30
4	2436	30
done	5000	30
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	16	35
1	36	35
2	73	35
3	162	35
4	409	35
5	1133	35
6	4498	35
done	5001	35
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	16	50
1	37	50
2	75	18
3	171	15
4	420	15
5	1172	15
6	4571	15
done	5000	15
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	15	17
1	35	17
2	72	17
3	161	17
4	403	17
5	1128	17
6	4505	17
done	5000	17
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	5	5
1	6	5
done	6	5
0	14	16
1	34	16
2	71	16
3	160	16
4	403	16
5	1133	16
6	4508	16
done	5000	16
0	21	25
1	56	25
2	164	25
3	629	25
4	3290	25
done	5000	25
0	18	48
1	62	34
2	195	34
3	714	34
4	2896	34
done	5000	34
0	21	37
1	59	35
2	169	35
3	704	35
4	3737	35
done	5001	35
0	14	16
1	33	16
2	67	16
3	112	16
4	207	16
5	499	16
6	1532	16
done	5000	16
0	21	45
1	45	45
2	100	45
3	264	45
4	865	45
5	3354	45
done	5000	45
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	21	65
1	46	65
2	102	23
3	268	20
4	868	20
5	3274	20
done	5001	20
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	20	22
1	44	22
2	99	22
3	262	22
4	862	22
5	3475	22
done	5000	22
0	2	3
1	5	1
done	5	1
0	19	41
1	50	41
2	156	41
3	612	41
4	3529	41
done	5000	41
0	23	44
1	51	44
2	112	44
3	276	44
4	884	44
5	3455	44
done	5000	44
0	23	44
1	51	44
2	112	44
3	276	44
4	884	44
5	3455	44
done	5000	44
0	26	47
1	54	47
2	115	47
3	279	47
4	880	47
5	3411	47
done	5001	47
0	25	46
1	54	46
2	114	46
3	280	46
4	882	46
5	3441	46
done	5000	46
0	24	45
1	55	45
2	123	45
3	297	45
4	896	45
5	3494	45
done	5000	45
0	24	45
1	54	45
2	122	45
3	309	45
4	964	45
5	3557	45
done	5000	45
0	19	41
1	50	41
2	156	41
3	612	41
4	3529	41
done	5000	41
0	24	89
1	64	89
2	193	45
3	833	45
4	4624	41
done	5000	41
0	25	91
1	53	91
2	114	91
3	276	91
4	880	91
5	3325	91
done	5000	91
0	24	45
1	52	45
2	113	45
3	277	45
4	885	45
5	3374	45
done	5001	45
0	25	134
1	63	134
2	188	46
3	664	46
4	2110	41
done	5000	41
0	24	45
1	52	45
2	113	45
3	277	45
4	885	45
5	3374	45
done	5001	45
0	24	45
1	52	45
2	113	45
3	277	45
4	885	45
5	3374	45
done	5001	45
0	25	52
1	64	52
2	178	52
3	643	52
4	3340	52
done	5000	52
0	19	97
1	63	69
2	196	69
3	716	69
4	2921	69
done	5000	69
0	28	64
1	83	62
2	248	62
3	1023	62
done	5000	62
0	21	65
1	68	51
2	206	51
3	740	51
4	2934	51
done	5000	51
0	28	64
1	83	62
2	254	62
3	1004	62
done	5001	62
0	21	65
1	68	51
2	206	51
3	731	51
4	2958	51
done	5001	51
0	25	76
1	67	72
2	183	72
3	717	72
4	3749	72
done	5000	72
0	15	33
1	34	33
2	68	33
3	116	33
4	210	33
5	502	33
6	1548	33
done	5000	33
0	6	11
1	7	11
done	7	11
0	15	33
1	35	33
2	72	33
3	161	33
4	403	33
5	1128	33
6	4505	33
done	5000	33
0	3	3
1	5	1
done	5	1
0	21	27
1	46	27
2	101	27
3	265	27
4	863	27
5	3310	27
done	5001	27
0	21	39
1	44	39
2	84	39
3	180	39
4	427	39
5	1167	39
6	4531	39
done	5000	39
0	24	45
1	52	45
2	113	45
3	275	45
4	883	45
5	3256	45
done	5000	45
0	24	45
1	52	45
2	113	45
3	275	45
4	883	45
5	3256	45
done	5000	45
0	23	44
1	51	44
2	112	44
3	276	44
4	884	44
5	3455	44
done	5000	44
0	26	48
1	69	48
2	191	48
3	599	48
4	2723	48
done	5000	48
0	26	60
1	71	58
2	190	58
3	707	58
4	3459	58
done	5001	58
0	26	48
1	69	48
2	191	48
3	713	48
4	3480	48
done	5000	48
0	26	60
1	71	58
2	196	58
3	852	58
4	4676	58
done	5000	58
0	24	47
1	60	47
2	164	47
3	538	33
4	2630	22
done	5000	22
0	27	59
1	62	56
2	181	56
3	772	37
done	5000	37
0	24	50
1	52	50
2	134	50
3	322	35
4	1075	29
5	4852	22
done	5000	22
0	30	51
1	76	51
2	213	51
3	706	40
4	2828	30
done	5000	30
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	812	22
5	2938	22
done	5000	22
0	30	51
1	76	51
2	213	51
3	706	40
4	2828	30
done	5000	30
0	24	43
1	51	41
2	122	41
3	378	37
4	1507	20
done	5000	20
0	24	43
1	49	43
2	119	43
3	290	41
4	812	22
5	2938	22
done	5000	22
0	40	75
1	96	75
2	302	75
3	1399	55
done	5000	55
0	31	59
1	67	57
2	203	57
3	935	53
done	5000	31
0	26	51
1	57	51
2	156	51
3	429	49
4	1704	26
done	5000	26

prune515.0ms

Filtered

70 candidates to 78 candidates (-11.4%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	77	1	78
Fresh	1	7	8
Picked	0	1	1
Done	0	2	2
Total	78	11	89

Merged error: 0.0b

Counts

89 → 11

regimes626.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	20
1	24	20
done	24	20

end0.0ms

sample5.0s

Algorithm

intervals

Results

2.7s	5775×	body	1280	valid
1.0s	3504×	body	640	valid
300.0ms	1496×	body	320	valid
269.0ms	4368×	body	80	valid
84.0ms	653×	body	160	valid

Details

sample174.0ms

simplify6.4s

prune4.0ms

localize11.0ms

rewrite28.0ms

series26.0ms

simplify1.8min

prune100.0ms

localize20.0ms

rewrite34.0ms

series69.0ms

simplify6.3min

prune252.0ms

localize21.0ms

rewrite48.0ms

series502.0ms

simplify3.4min

prune564.0ms

localize26.0ms

rewrite47.0ms

series459.0ms

simplify3.8min

prune515.0ms

regimes626.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample5.0s

Profiling