Details

sample116.0ms

Algorithm

intervals

Results

28.0ms	255×	body	80	valid
24.0ms	33×	body	1280	valid
14.0ms	29×	body	640	valid
13.0ms	35×	body	320	valid
2.0ms	8×	body	160	valid

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	32
1	32	32
2	69	32
3	177	32
4	414	32
5	1014	32
6	3312	32
done	5001	32

prune6.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: 42.3b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
3.6b	(cos (/ (+ phi1 phi2) 2.0))
3.6b	(cos (/ (+ phi1 phi2) 2.0))
38.9b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

142×	`associate-*l/`
102×	`flip3--` `flip--`
68×	`frac-times`
66×	`sqrt-div`
64×	`frac-add`
44×	`pow1`
34×	`associate-*r/`
17×	`pow-prod-down`
16×	`add-exp-log` `add-cbrt-cube`
8×	`prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`pow-sqr` `pow-prod-up` `add-log-exp`
3×	`sqrt-prod`
2×	`pow-plus`
1×	`pow2` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `swap-sqr` `associate-r` `associate-l` `*-commutative` `flip-+`

Counts

4 → 135

Calls

4 calls:

16.0ms	(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
22.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

series217.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
170.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify7.2min

Counts

147 → 147

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	17	63
1	31	63
2	68	63
3	176	63
4	411	63
5	1002	63
6	3281	63
done	5001	63
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	17	92
1	32	60
2	80	32
3	231	32
4	648	32
5	1829	32
done	5000	32
0	17	62
1	32	31
2	69	31
3	177	31
4	412	31
5	1012	31
6	3271	31
done	5001	31
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	2	2
1	4	1
done	4	1
0	15	30
1	29	30
2	66	30
3	174	30
4	409	30
5	1001	30
6	3300	30
done	5001	30
0	34	94
1	106	86
2	415	86
3	2546	86
done	5000	86
0	18	48
1	51	40
2	229	20
3	1432	20
done	5000	20
0	35	86
1	109	80
2	405	80
3	2355	80
done	5001	80
0	19	40
1	51	34
2	207	34
3	1105	34
done	5001	34
0	35	86
1	109	80
2	405	80
3	2309	80
done	5001	80
0	19	40
1	51	34
2	207	34
3	1078	34
done	5000	34
0	29	78
1	89	74
2	338	74
3	1858	74
done	5001	74
0	14	32
1	41	28
2	161	14
3	812	14
4	4573	14
done	5000	14
0	34	78
1	103	72
2	368	72
3	1938	72
done	5001	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	29	70
1	85	66
2	309	66
3	1549	66
done	5001	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	34	78
1	103	72
2	368	72
3	1938	72
done	5001	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	29	70
1	85	66
2	309	66
3	1555	66
done	5001	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	37	86
1	109	80
2	402	80
3	2314	80
done	5001	80
0	19	40
1	51	34
2	213	34
3	1197	34
done	5000	34
0	38	78
1	116	74
2	428	74
3	2439	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1066	28
done	5001	28
0	38	78
1	116	74
2	428	74
3	2393	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1013	28
done	5000	28
0	32	70
1	92	68
2	329	68
3	1702	68
done	5000	68
0	15	24
1	41	22
2	151	22
3	607	22
4	3101	22
done	5000	22
0	37	70
1	110	66
2	386	66
3	2056	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	32	62
1	92	60
2	332	60
3	1650	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	37	70
1	110	66
2	386	66
3	2054	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	32	62
1	92	60
2	332	60
3	1663	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	37	86
1	109	80
2	402	80
3	2361	80
done	5001	80
0	19	40
1	51	34
2	213	34
3	1227	34
done	5000	34
0	38	78
1	116	74
2	428	74
3	2488	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1098	28
done	5000	28
0	38	78
1	116	74
2	428	74
3	2433	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1047	28
done	5000	28
0	32	70
1	92	68
2	329	68
3	1733	68
done	5001	68
0	15	24
1	41	22
2	151	22
3	641	22
4	3099	22
done	5001	22
0	37	70
1	110	66
2	386	66
3	2086	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	32	62
1	92	60
2	332	60
3	1690	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	37	70
1	110	66
2	386	66
3	2084	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	32	62
1	92	60
2	332	60
3	1702	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	30	78
1	90	74
2	358	74
3	2274	74
done	5000	74
0	14	32
1	41	28
2	179	14
3	924	14
done	5001	14
0	31	70
1	93	68
2	348	68
3	2115	68
done	5000	68
0	15	24
1	41	22
2	157	22
3	687	22
4	3223	22
done	5000	22
0	31	70
1	93	68
2	348	68
3	2065	68
done	5000	68
0	15	24
1	41	22
2	157	22
3	672	22
4	2920	22
done	5000	22
0	24	62
1	69	62
2	274	62
3	1565	62
done	5000	62
0	10	16
1	31	16
2	111	8
3	349	8
4	1225	8
done	5000	8
0	30	62
1	87	60
2	311	60
3	1734	60
done	5000	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	24	54
1	65	54
2	245	54
3	1317	54
done	5001	46
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	30	62
1	87	60
2	311	60
3	1733	60
done	5000	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	24	54
1	65	54
2	245	54
3	1326	54
done	5000	46
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	35	78
1	96	72
2	337	72
3	1959	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	36	70
1	103	66
2	360	66
3	2041	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	36	70
1	103	66
2	360	66
3	1994	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	30	62
1	79	60
2	264	60
3	1342	60
done	5000	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	35	62
1	97	58
2	319	58
3	1642	58
done	5001	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	30	54
1	79	52
2	264	52
3	1239	52
done	5001	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	35	62
1	97	58
2	319	58
3	1638	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	30	54
1	79	52
2	264	52
3	1244	52
done	5002	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	31	70
1	79	66
2	303	66
3	1868	66
done	5000	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	32	62
1	86	60
2	326	60
3	1905	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	32	62
1	86	60
2	326	60
3	1862	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	25	54
1	58	54
2	223	54
3	1205	54
done	5001	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	31	54
1	80	52
2	285	52
3	1526	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	25	46
1	58	46
2	223	46
3	1095	46
done	5000	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	31	54
1	80	52
2	285	52
3	1521	52
done	5001	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	25	46
1	58	46
2	223	46
3	1104	46
done	5002	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	35	78
1	96	72
2	337	72
3	1927	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	36	70
1	103	66
2	360	66
3	2011	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	36	70
1	103	66
2	360	66
3	1962	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	30	62
1	79	60
2	264	60
3	1310	60
done	5001	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	35	62
1	97	58
2	319	58
3	1618	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	30	54
1	79	52
2	264	52
3	1215	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	35	62
1	97	58
2	319	58
3	1614	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	30	54
1	79	52
2	264	52
3	1220	52
done	5001	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	31	70
1	79	66
2	303	66
3	1875	66
done	5001	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	32	62
1	86	60
2	326	60
3	1917	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	32	62
1	86	60
2	326	60
3	1859	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	25	54
1	58	54
2	223	54
3	1206	54
done	5001	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	31	54
1	80	52
2	285	52
3	1552	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	25	46
1	58	46
2	223	46
3	1118	46
done	5001	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	31	54
1	80	52
2	285	52
3	1546	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	25	46
1	58	46
2	223	46
3	1125	46
done	5000	38
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	18	34
1	49	34
2	165	19
3	736	19
4	3987	19
done	5000	19
0	19	90
1	54	82
2	243	60
3	1249	49
done	5000	49
0	17	60
1	43	60
2	153	34
3	616	19
4	2572	19
done	5000	19
0	15	30
1	33	30
2	83	30
3	256	30
4	891	30
5	3611	30
done	5000	30
0	3	3
1	6	1
done	6	1
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	16	31
1	30	31
2	67	31
3	175	31
4	410	31
5	1002	31
6	3277	31
done	5000	31
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	11	21
1	22	21
2	52	21
3	139	21
4	304	21
5	609	21
6	1149	21
7	1932	21
8	3266	21
9	4248	21
10	4258	21
done	4258	21
0	11	21
1	22	21
2	52	21
3	139	21
4	304	21
5	609	21
6	1149	21
7	1932	21
8	3266	21
9	4248	21
10	4258	21
done	4258	21
0	11	21
1	22	21
2	52	21
3	139	21
4	304	21
5	609	21
6	1149	21
7	1932	21
8	3266	21
9	4248	21
10	4258	21
done	4258	21
0	11	21
1	22	21
2	52	21
3	139	21
4	304	21
5	609	21
6	1149	21
7	1932	21
8	3266	21
9	4248	21
10	4258	21
done	4258	21
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	13	25
1	23	14
2	41	14
3	44	14
done	44	14
0	15	24
1	23	23
2	38	23
3	51	13
4	62	13
done	62	13
0	15	24
1	23	23
2	38	23
3	51	13
4	62	13
done	62	13
0	12	23
1	21	13
2	40	13
3	54	13
4	61	13
done	61	13
0	12	22
1	25	22
2	68	13
3	179	13
4	347	13
5	656	13
6	1199	13
7	1986	13
8	3336	13
9	4366	13
10	4419	13
done	4419	13
0	12	22
1	25	22
2	68	22
3	202	22
4	505	22
5	1270	22
6	3519	22
done	5000	22
0	15	65
1	32	65
2	135	29
3	657	14
4	3303	14
done	5000	14
0	18	65
1	42	65
2	173	25
3	964	12
4	4623	12
done	5001	12
0	18	65
1	42	65
2	173	25
3	933	12
4	4525	12
done	5000	12
0	13	65
1	33	65
2	145	25
3	763	12
4	4009	12
done	5000	12
0	13	45
1	24	45
2	54	45
3	141	45
4	308	45
5	617	45
6	1162	45
7	1941	45
8	3237	45
9	4218	45
10	4227	45
done	4227	45
0	12	22
1	23	22
2	53	22
3	140	22
4	305	22
5	610	22
6	1148	22
7	1934	22
8	3248	22
9	4229	22
10	4238	22
done	4238	22
0	13	65
1	32	65
2	132	23
3	703	12
4	3603	12
done	5000	12
0	12	22
1	24	11
2	54	11
3	141	11
4	307	11
5	617	11
6	1160	11
7	1949	11
8	3262	11
9	4266	11
10	4276	11
done	4276	11
0	12	22
1	24	11
2	54	11
3	141	11
4	307	11
5	617	11
6	1160	11
7	1949	11
8	3262	11
9	4266	11
10	4276	11
done	4276	11
0	14	29
1	38	29
2	89	29
3	349	29
4	2050	29
done	5000	29
0	8	23
1	21	19
2	74	19
3	306	19
4	909	19
5	2997	19
done	5001	19
0	18	29
1	44	29
2	110	29
3	401	29
4	2122	29
done	5000	29
0	9	15
1	23	13
2	73	13
3	156	13
4	341	13
5	599	13
6	785	13
7	841	13
8	920	13
9	1189	13
10	2321	13
done	5000	13
0	18	29
1	44	29
2	110	29
3	432	29
4	2549	29
done	5000	29
0	9	15
1	23	13
2	73	13
3	157	13
4	305	13
5	587	13
6	828	13
7	949	13
8	1032	13
9	1304	13
10	2424	13
done	5000	13
0	13	29
1	27	29
2	78	29
3	366	29
4	1785	29
done	5000	29
0	4	7
1	11	7
2	24	7
3	40	7
4	59	7
5	75	7
6	82	7
7	84	7
done	84	7
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	7	13
1	8	13
done	8	13
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	11	14
1	16	14
2	32	14
3	70	14
4	138	14
5	266	14
6	473	14
7	837	14
8	1332	14
9	2206	14
10	2402	14
11	2405	14
done	2405	14
0	11	17
1	16	17
2	26	17
3	45	17
4	58	17
5	69	17
6	71	17
done	71	17
0	16	25
1	41	25
2	97	25
3	331	25
4	1437	25
done	5000	25
0	15	25
1	29	25
2	79	25
3	323	25
4	1157	25
5	2964	25
done	5000	25
0	16	25
1	41	25
2	97	25
3	293	25
4	1250	25
done	5000	25
0	15	25
1	29	25
2	79	25
3	296	25
4	1096	25
5	3010	25
done	5001	25
0	3	3
1	5	3
2	6	3
done	6	3
0	21	39
1	62	39
2	181	39
3	568	30
4	1629	28
5	3316	28
6	4478	28
done	5000	27
0	20	38
1	58	38
2	159	38
3	405	29
4	926	27
5	1292	27
6	1485	27
7	1765	27
8	2555	27
done	5000	27
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	9	13
1	26	13
2	61	13
3	102	13
4	141	11
5	182	11
6	251	11
7	406	11
8	850	11
9	2683	11
done	5000	11
0	19	40
1	54	31
2	187	31
3	417	22
4	1330	20
5	4787	20
done	5000	20
0	19	40
1	54	31
2	187	31
3	417	22
4	1330	20
5	4787	20
done	5000	20

prune694.0ms

Filtered

119 candidates to 147 candidates (-23.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	139	8	147
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	139	9	148

Merged error: 24.8b

Counts

148 → 9

localize29.0ms

Local error

Found 4 expressions with local error:

0.5b	(pow (cos (/ (+ phi1 phi2) 2.0)) 3)
3.6b	(cos (/ (+ phi1 phi2) 2.0))
3.6b	(cos (/ (+ phi1 phi2) 2.0))
38.9b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

128×	`associate-*l/`
96×	`flip3--` `flip--`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
9×	`add-sqr-sqrt`
8×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1`
5×	`add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `cube-prod` `sqrt-prod`
1×	`cube-mult` `pow-to-exp` `rem-sqrt-square` `pow-pow` `sqrt-pow1` `flip3-+` `pow1/2` `unpow3` `pow-exp` `flip-+` `rem-cube-cbrt` `sqr-pow`

Counts

4 → 116

Calls

4 calls:

3.0ms	(pow (cos (/ (+ phi1 phi2) 2.0)) 3)
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
24.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

series195.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow (cos (/ (+ phi1 phi2) 2.0)) 3)
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
170.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify5.6min

Counts

128 → 128

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	21	69
1	42	63
2	77	63
3	182	63
4	408	63
5	1014	63
6	3304	63
done	5001	63
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	21	101
1	43	60
2	88	32
3	233	32
4	632	32
5	1747	32
done	5000	32
0	21	68
1	43	31
2	78	31
3	183	31
4	413	31
5	1022	31
6	3313	31
done	5000	31
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	2	2
1	4	1
done	4	1
0	19	33
1	40	30
2	75	30
3	180	30
4	409	30
5	1021	30
6	3351	30
done	5001	30
0	37	97
1	111	86
2	388	86
3	2304	86
done	5000	86
0	18	48
1	51	40
2	229	20
3	1432	20
done	5000	20
0	38	89
1	116	80
2	401	80
3	2233	80
done	5000	80
0	19	40
1	51	34
2	207	34
3	1105	34
done	5001	34
0	38	89
1	116	80
2	401	80
3	2198	80
done	5001	80
0	19	40
1	51	34
2	207	34
3	1078	34
done	5000	34
0	32	81
1	94	74
2	317	74
3	1710	74
done	5000	74
0	14	32
1	41	28
2	161	14
3	812	14
4	4573	14
done	5000	14
0	37	81
1	110	72
2	354	72
3	1808	72
done	5000	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	32	73
1	92	66
2	299	66
3	1455	66
done	5000	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	37	81
1	110	72
2	354	72
3	1808	72
done	5000	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	32	73
1	92	66
2	299	66
3	1462	66
done	5001	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	39	89
1	116	80
2	411	80
3	2322	80
done	5000	80
0	19	40
1	51	34
2	213	34
3	1197	34
done	5000	34
0	40	81
1	123	74
2	437	74
3	2446	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1066	28
done	5001	28
0	40	81
1	123	74
2	437	74
3	2400	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1013	28
done	5000	28
0	34	73
1	99	68
2	338	68
3	1721	68
done	5000	68
0	15	24
1	41	22
2	151	22
3	607	22
4	3101	22
done	5000	22
0	39	73
1	117	66
2	395	66
3	2066	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	34	65
1	99	60
2	340	60
3	1666	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	39	73
1	117	66
2	395	66
3	2064	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	34	65
1	99	60
2	340	60
3	1680	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	39	89
1	116	80
2	411	80
3	2374	80
done	5000	80
0	19	40
1	51	34
2	213	34
3	1227	34
done	5000	34
0	40	81
1	123	74
2	437	74
3	2491	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1098	28
done	5000	28
0	40	81
1	123	74
2	437	74
3	2438	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1047	28
done	5000	28
0	34	73
1	99	68
2	338	68
3	1760	68
done	5000	68
0	15	24
1	41	22
2	151	22
3	641	22
4	3099	22
done	5001	22
0	39	73
1	117	66
2	395	66
3	2111	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	34	65
1	99	60
2	340	60
3	1705	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	39	73
1	117	66
2	395	66
3	2109	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	34	65
1	99	60
2	340	60
3	1719	60
done	5001	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	33	81
1	95	74
2	325	74
3	1972	74
done	5000	74
0	14	32
1	41	28
2	179	14
3	924	14
done	5001	14
0	34	73
1	100	68
2	338	68
3	1965	68
done	5001	68
0	15	24
1	41	22
2	157	22
3	687	22
4	3223	22
done	5000	22
0	34	73
1	100	68
2	338	68
3	1918	68
done	5000	68
0	15	24
1	41	22
2	157	22
3	672	22
4	2920	22
done	5000	22
0	28	65
1	78	62
2	254	62
3	1357	62
done	5000	62
0	10	16
1	31	16
2	111	8
3	349	8
4	1225	8
done	5000	8
0	33	65
1	94	60
2	291	60
3	1547	60
done	5001	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	28	57
1	76	54
2	236	54
3	1173	54
done	5000	50
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	33	65
1	94	60
2	291	60
3	1547	60
done	5001	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	28	57
1	76	54
2	236	54
3	1183	54
done	5002	50
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	37	81
1	103	72
2	345	72
3	1976	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	38	73
1	110	66
2	368	66
3	2058	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	38	73
1	110	66
2	368	66
3	2010	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	32	65
1	86	60
2	273	60
3	1355	60
done	5000	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	37	65
1	104	58
2	327	58
3	1650	58
done	5001	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	32	57
1	86	52
2	273	52
3	1260	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	37	65
1	104	58
2	327	58
3	1646	58
done	5001	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	32	57
1	86	52
2	273	52
3	1265	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	33	73
1	86	66
2	312	66
3	1879	66
done	5000	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	34	65
1	93	60
2	335	60
3	1923	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	34	65
1	93	60
2	335	60
3	1878	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	28	57
1	69	54
2	239	54
3	1235	54
done	5000	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	33	57
1	87	52
2	294	52
3	1531	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	28	49
1	69	46
2	238	46
3	1131	46
done	5001	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	33	57
1	87	52
2	294	52
3	1526	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	28	49
1	69	46
2	238	46
3	1140	46
done	5002	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	37	81
1	103	72
2	345	72
3	1941	72
done	5001	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	38	73
1	110	66
2	368	66
3	2026	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	38	73
1	110	66
2	368	66
3	1978	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	32	65
1	86	60
2	273	60
3	1326	60
done	5000	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	37	65
1	104	58
2	327	58
3	1624	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	32	57
1	86	52
2	273	52
3	1235	52
done	5001	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	37	65
1	104	58
2	327	58
3	1620	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	32	57
1	86	52
2	273	52
3	1240	52
done	5001	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	33	73
1	86	66
2	312	66
3	1890	66
done	5000	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	34	65
1	93	60
2	335	60
3	1932	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	34	65
1	93	60
2	335	60
3	1880	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	28	57
1	69	54
2	239	54
3	1229	54
done	5000	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	33	57
1	87	52
2	294	52
3	1568	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	28	49
1	69	46
2	238	46
3	1156	46
done	5000	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	33	57
1	87	52
2	294	52
3	1562	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	28	49
1	69	46
2	238	46
3	1163	46
done	5000	38
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	21	37
1	56	34
2	150	19
3	669	19
4	3606	19
done	5000	19
0	23	99
1	66	82
2	217	60
3	1039	49
done	5000	49
0	21	66
1	57	60
2	155	34
3	570	19
4	2427	19
done	5000	19
0	19	33
1	41	30
2	80	30
3	201	30
4	489	30
5	1296	30
6	4542	30
done	5000	30
0	3	3
1	6	1
done	6	1
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	20	34
1	41	31
2	76	31
3	181	31
4	410	31
5	1025	31
6	3326	31
done	5000	31
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	9	9
1	11	9
done	11	9
0	9	9
1	11	9
done	11	9
0	3	3
1	6	1
done	6	1
0	10	12
1	15	12
2	22	12
3	46	12
4	104	12
5	266	12
6	889	12
7	3266	12
done	5000	12
0	9	9
1	14	9
2	19	9
3	37	9
4	76	9
5	184	9
6	563	9
7	2193	9
done	5001	9
0	8	8
1	16	6
2	23	6
3	34	6
4	56	6
5	122	6
6	335	6
7	1277	6
done	5000	6
0	10	17
1	21	17
2	42	9
3	75	9
4	152	9
5	380	9
6	1189	9
done	5000	9
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	9	9
1	18	9
2	24	9
3	35	9
4	56	9
5	119	9
6	335	9
7	1268	9
done	5000	9
0	9	9
1	18	9
2	24	9
3	35	9
4	56	9
5	119	9
6	335	9
7	1268	9
done	5000	9
0	3	3
1	13	1
done	13	1
0	8	8
1	17	8
2	23	8
3	33	8
4	54	8
5	112	8
6	318	8
7	1257	8
done	5000	8
0	7	13
1	8	13
done	8	13
0	9	9
1	20	9
2	32	9
3	47	9
4	87	9
5	202	9
6	581	9
7	2158	9
done	5000	9
0	9	9
1	18	9
2	30	9
3	52	9
4	102	9
5	263	9
6	818	9
7	3389	9
done	5000	9
0	10	19
1	18	13
2	24	13
3	34	13
4	55	13
5	119	13
6	332	13
7	1269	13
done	5000	13
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	119	6
6	329	6
7	1268	6
done	5001	6
0	10	26
1	23	17
2	62	10
3	184	10
4	537	10
5	2019	8
done	5000	8
0	10	17
1	21	17
2	42	9
3	75	9
4	152	9
5	380	9
6	1189	9
done	5000	9
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	9	9
1	18	9
2	24	9
3	35	9
4	56	9
5	119	9
6	335	9
7	1268	9
done	5000	9
0	9	9
1	18	9
2	24	9
3	35	9
4	56	9
5	119	9
6	335	9
7	1268	9
done	5000	9
0	3	3
1	13	1
done	13	1
0	8	8
1	17	8
2	23	8
3	33	8
4	54	8
5	112	8
6	318	8
7	1257	8
done	5000	8
0	7	13
1	8	13
done	8	13
0	9	9
1	18	9
2	25	9
3	35	9
4	56	9
5	116	9
6	332	9
7	1258	9
done	5000	9
0	9	9
1	18	9
2	25	9
3	35	9
4	56	9
5	116	9
6	332	9
7	1258	9
done	5000	9
0	10	10
1	16	8
2	22	8
3	32	8
4	55	8
5	122	8
6	340	8
7	1269	8
done	5000	8
0	10	10
1	16	8
2	22	8
3	32	8
4	55	8
5	122	8
6	340	8
7	1269	8
done	5000	8
0	3	3
1	5	3
2	6	3
done	6	3
0	21	39
1	62	39
2	181	39
3	568	30
4	1629	28
5	3316	28
6	4478	28
done	5000	27
0	20	38
1	58	38
2	159	38
3	405	29
4	926	27
5	1292	27
6	1485	27
7	1765	27
8	2555	27
done	5000	27
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	8	8
1	24	8
2	31	8
3	41	8
4	64	8
5	121	8
6	330	8
7	1255	8
done	5000	8
0	8	8
1	24	8
2	31	8
3	41	8
4	64	8
5	121	8
6	330	8
7	1255	8
done	5000	8

prune432.0ms

Filtered

108 candidates to 128 candidates (-18.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	7	7
Picked	1	0	1
Done	0	1	1
Total	128	9	137

Merged error: 24.8b

Counts

137 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b	(pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)
3.6b	(cos (/ (+ phi1 phi2) 2.0))
3.6b	(cos (/ (+ phi1 phi2) 2.0))
38.9b	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cbrt (pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

128×	`associate-*l/`
96×	`flip3--` `flip--`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
24×	`cbrt-prod`
21×	`unpow-prod-down` `cube-prod`
15×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1`
5×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`cube-mult` `pow-unpow` `unpow3` `sqrt-prod` `sqr-pow`
2×	`pow-pow`
1×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `pow-exp` `flip-+` `rem-cube-cbrt`

Counts

4 → 141

Calls

4 calls:

7.0ms	(pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)
10.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
30.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cbrt (pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

series194.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
165.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cbrt (pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify8.0min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	23	75
1	46	63
2	81	63
3	186	63
4	412	63
5	1021	63
6	3317	63
done	5001	63
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	23	110
1	47	60
2	92	32
3	237	32
4	639	32
5	1748	32
done	5000	32
0	23	74
1	47	31
2	82	31
3	187	31
4	415	31
5	1017	31
6	3318	31
done	5001	31
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	2	2
1	4	1
done	4	1
0	21	36
1	44	30
2	79	30
3	184	30
4	411	30
5	1019	30
6	3322	30
done	5000	30
0	39	100
1	115	86
2	392	86
3	2314	86
done	5001	86
0	18	48
1	51	40
2	229	20
3	1432	20
done	5000	20
0	40	92
1	120	80
2	405	80
3	2238	80
done	5001	80
0	19	40
1	51	34
2	207	34
3	1105	34
done	5001	34
0	40	92
1	120	80
2	405	80
3	2205	80
done	5000	80
0	19	40
1	51	34
2	207	34
3	1078	34
done	5000	34
0	34	84
1	98	74
2	321	74
3	1714	74
done	5001	74
0	14	32
1	41	28
2	161	14
3	812	14
4	4573	14
done	5000	14
0	39	84
1	114	72
2	358	72
3	1809	72
done	5000	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	34	76
1	96	66
2	303	66
3	1458	66
done	5000	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	39	84
1	114	72
2	358	72
3	1809	72
done	5000	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	34	76
1	96	66
2	303	66
3	1465	66
done	5000	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	41	92
1	120	80
2	416	80
3	2326	80
done	5000	80
0	19	40
1	51	34
2	213	34
3	1197	34
done	5000	34
0	42	84
1	127	74
2	440	74
3	2448	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1066	28
done	5001	28
0	42	84
1	127	74
2	440	74
3	2400	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1013	28
done	5000	28
0	36	76
1	103	68
2	343	68
3	1726	68
done	5000	68
0	15	24
1	41	22
2	151	22
3	607	22
4	3101	22
done	5000	22
0	41	76
1	121	66
2	400	66
3	2064	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	36	68
1	103	60
2	345	60
3	1672	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	41	76
1	121	66
2	400	66
3	2062	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	36	68
1	103	60
2	345	60
3	1683	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	41	92
1	120	80
2	416	80
3	2374	80
done	5000	80
0	19	40
1	51	34
2	213	34
3	1227	34
done	5000	34
0	42	84
1	127	74
2	440	74
3	2493	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1098	28
done	5000	28
0	42	84
1	127	74
2	440	74
3	2440	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1047	28
done	5000	28
0	36	76
1	103	68
2	343	68
3	1766	68
done	5000	68
0	15	24
1	41	22
2	151	22
3	641	22
4	3099	22
done	5001	22
0	41	76
1	121	66
2	400	66
3	2103	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	36	68
1	103	60
2	345	60
3	1713	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	41	76
1	121	66
2	400	66
3	2101	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	36	68
1	103	60
2	345	60
3	1724	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	35	84
1	99	74
2	329	74
3	1974	74
done	5001	74
0	14	32
1	41	28
2	179	14
3	924	14
done	5001	14
0	36	76
1	104	68
2	342	68
3	1969	68
done	5001	68
0	15	24
1	41	22
2	157	22
3	687	22
4	3223	22
done	5000	22
0	36	76
1	104	68
2	342	68
3	1926	68
done	5000	68
0	15	24
1	41	22
2	157	22
3	672	22
4	2920	22
done	5000	22
0	30	68
1	82	62
2	258	62
3	1363	62
done	5001	62
0	10	16
1	31	16
2	111	8
3	349	8
4	1225	8
done	5000	8
0	35	68
1	98	60
2	295	60
3	1558	60
done	5000	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	30	60
1	80	54
2	240	54
3	1181	54
done	5002	50
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	35	68
1	98	60
2	295	60
3	1558	60
done	5000	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	30	60
1	80	54
2	240	54
3	1189	54
done	5000	50
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	39	84
1	107	72
2	349	72
3	1974	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	40	76
1	114	66
2	372	66
3	2055	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	40	76
1	114	66
2	372	66
3	2007	66
done	5001	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	34	68
1	90	60
2	276	60
3	1357	60
done	5000	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	39	68
1	108	58
2	331	58
3	1657	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	60
1	90	52
2	276	52
3	1256	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	39	68
1	108	58
2	331	58
3	1653	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	60
1	90	52
2	276	52
3	1263	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	35	76
1	90	66
2	315	66
3	1879	66
done	5001	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	36	68
1	97	60
2	338	60
3	1917	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	36	68
1	97	60
2	338	60
3	1866	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	30	60
1	73	54
2	242	54
3	1237	54
done	5000	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	35	60
1	91	52
2	297	52
3	1540	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	52
1	73	46
2	242	46
3	1137	46
done	5000	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	35	60
1	91	52
2	297	52
3	1535	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	52
1	73	46
2	242	46
3	1147	46
done	5001	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	39	84
1	107	72
2	349	72
3	1940	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	40	76
1	114	66
2	372	66
3	2022	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	40	76
1	114	66
2	372	66
3	1974	66
done	5001	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	34	68
1	90	60
2	276	60
3	1328	60
done	5001	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	39	68
1	108	58
2	331	58
3	1634	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	60
1	90	52
2	276	52
3	1231	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	39	68
1	108	58
2	331	58
3	1630	58
done	5001	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	60
1	90	52
2	276	52
3	1238	52
done	5001	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	35	76
1	90	66
2	315	66
3	1883	66
done	5000	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	36	68
1	97	60
2	338	60
3	1924	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	36	68
1	97	60
2	338	60
3	1866	60
done	5000	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	30	60
1	73	54
2	242	54
3	1238	54
done	5001	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	35	60
1	91	52
2	297	52
3	1570	52
done	5001	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	52
1	73	46
2	242	46
3	1170	46
done	5001	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	35	60
1	91	52
2	297	52
3	1564	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	52
1	73	46
2	242	46
3	1175	46
done	5000	38
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	23	40
1	60	34
2	154	19
3	663	19
4	3627	19
done	5001	19
0	25	108
1	70	82
2	220	80
3	1035	49
done	5000	49
0	23	72
1	61	60
2	159	34
3	570	19
4	2444	19
done	5000	19
0	21	36
1	45	30
2	84	30
3	205	30
4	490	30
5	1304	30
6	4572	30
done	5000	30
0	3	3
1	6	1
done	6	1
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	22	37
1	45	31
2	80	31
3	185	31
4	411	31
5	1014	31
6	3329	31
done	5000	31
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	11	12
1	21	9
2	27	9
3	37	9
4	58	9
5	120	9
6	335	9
7	1265	9
done	5001	9
0	11	12
1	21	9
2	27	9
3	37	9
4	58	9
5	120	9
6	335	9
7	1265	9
done	5001	9
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	12	15
1	24	12
2	37	12
3	71	12
4	148	12
5	359	12
6	1179	12
7	4508	12
done	5000	12
0	11	12
1	23	9
2	34	9
3	62	9
4	122	9
5	286	9
6	864	9
7	3395	9
done	5000	9
0	11	11
1	26	6
2	55	6
3	110	6
4	314	6
5	1405	6
done	5001	6
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	12	22
1	25	13
2	46	13
3	77	13
4	144	13
5	346	13
6	1087	13
7	4283	13
done	5000	13
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	4	4
1	14	1
2	18	1
done	18	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	23
1	28	17
2	52	9
3	122	9
4	358	9
5	1432	9
done	5001	9
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	3	3
1	13	1
done	13	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	19
1	18	13
2	24	13
3	34	13
4	55	13
5	119	13
6	332	13
7	1269	13
done	5000	13
0	11	12
1	24	9
2	36	9
3	51	9
4	93	9
5	210	9
6	569	9
7	2143	9
done	5001	9
0	11	12
1	22	9
2	34	9
3	56	9
4	108	9
5	271	9
6	814	9
7	3414	9
done	5000	9
0	12	25
1	22	13
2	28	13
3	38	13
4	59	13
5	124	13
6	343	13
7	1274	13
done	5000	13
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	124	6
6	346	6
7	1278	6
done	5000	6
0	12	35
1	27	17
2	66	10
3	171	10
4	527	10
5	1985	8
done	5001	8
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	12	22
1	25	13
2	46	13
3	77	13
4	144	13
5	346	13
6	1087	13
7	4283	13
done	5000	13
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	4	4
1	14	1
2	18	1
done	18	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	23
1	28	17
2	52	9
3	122	9
4	358	9
5	1432	9
done	5001	9
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	3	3
1	13	1
done	13	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	19
1	18	13
2	24	13
3	34	13
4	55	13
5	119	13
6	332	13
7	1269	13
done	5000	13
0	11	12
1	22	9
2	29	9
3	39	9
4	62	9
5	122	9
6	344	9
7	1264	9
done	5000	9
0	11	12
1	22	9
2	29	9
3	39	9
4	62	9
5	122	9
6	344	9
7	1264	9
done	5000	9
0	12	13
1	23	8
2	35	8
3	56	8
4	117	8
5	334	8
6	1252	8
done	5000	8
0	12	13
1	23	8
2	35	8
3	56	8
4	117	8
5	334	8
6	1252	8
done	5000	8
0	3	3
1	5	3
2	6	3
done	6	3
0	21	39
1	62	39
2	181	39
3	568	30
4	1629	28
5	3316	28
6	4478	28
done	5000	27
0	20	38
1	58	38
2	159	38
3	405	29
4	926	27
5	1292	27
6	1485	27
7	1765	27
8	2555	27
done	5000	27
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	8	8
1	24	8
2	31	8
3	41	8
4	64	8
5	121	8
6	330	8
7	1255	8
done	5000	8
0	8	8
1	24	8
2	31	8
3	41	8
4	64	8
5	121	8
6	330	8
7	1255	8
done	5000	8

prune478.0ms

Filtered

115 candidates to 153 candidates (-33.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	152	10	162

Merged error: 24.8b

Counts

162 → 10

localize26.0ms

Local error

Found 4 expressions with local error:

0.5b	(pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)
3.6b	(cos (/ (+ phi1 phi2) 2.0))
3.6b	(cos (/ (+ phi1 phi2) 2.0))
38.9b	(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- lambda1 lambda2) (cbrt (pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

128×	`associate-*l/`
96×	`flip3--` `flip--`
66×	`sqrt-div`
64×	`frac-times` `frac-add`
32×	`associate-*r/`
24×	`cbrt-prod`
21×	`unpow-prod-down` `cube-prod`
15×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1`
5×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`cube-mult` `pow-unpow` `unpow3` `sqrt-prod` `sqr-pow`
2×	`pow-pow`
1×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `pow-exp` `flip-+` `rem-cube-cbrt`

Counts

4 → 141

Calls

4 calls:

7.0ms	(pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
6.0ms	(cos (/ (+ phi1 phi2) 2.0))
32.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- lambda1 lambda2) (cbrt (pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

series186.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
5.0ms	(cos (/ (+ phi1 phi2) 2.0))
162.0ms	(sqrt (+ (* (* (- lambda1 lambda2) (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3))) (* (- lambda1 lambda2) (cbrt (pow (cbrt (pow (cos (/ (+ phi1 phi2) 2.0)) 3)) 3)))) (* (- phi1 phi2) (- phi1 phi2))))

simplify8.0min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	23	81
1	46	63
2	81	63
3	186	63
4	416	63
5	1028	63
6	3363	63
done	5000	63
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	23	119
1	47	60
2	92	32
3	237	32
4	655	32
5	1776	32
done	5001	32
0	23	80
1	47	31
2	82	31
3	187	31
4	415	31
5	1031	31
6	3324	31
done	5000	31
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	2	2
1	4	1
done	4	1
0	21	39
1	44	30
2	79	30
3	184	30
4	413	30
5	1034	30
6	3368	30
done	5000	30
0	39	103
1	115	86
2	392	86
3	2314	86
done	5000	86
0	18	48
1	51	40
2	229	20
3	1432	20
done	5000	20
0	40	95
1	120	80
2	405	80
3	2240	80
done	5000	80
0	19	40
1	51	34
2	207	34
3	1105	34
done	5001	34
0	40	95
1	120	80
2	405	80
3	2207	80
done	5000	80
0	19	40
1	51	34
2	207	34
3	1078	34
done	5000	34
0	34	87
1	98	74
2	321	74
3	1714	74
done	5000	74
0	14	32
1	41	28
2	161	14
3	812	14
4	4573	14
done	5000	14
0	39	87
1	114	72
2	358	72
3	1809	72
done	5001	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	34	79
1	96	66
2	303	66
3	1458	66
done	5000	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	39	87
1	114	72
2	358	72
3	1809	72
done	5000	72
0	17	36
1	46	30
2	170	30
3	982	30
done	5000	30
0	34	79
1	96	66
2	303	66
3	1465	66
done	5000	66
0	13	28
1	36	24
2	122	24
3	679	24
4	2985	24
done	5001	24
0	41	95
1	120	80
2	416	80
3	2327	80
done	5000	80
0	19	40
1	51	34
2	213	34
3	1197	34
done	5000	34
0	42	87
1	127	74
2	440	74
3	2449	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1066	28
done	5001	28
0	42	87
1	127	74
2	440	74
3	2400	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1013	28
done	5000	28
0	36	79
1	103	68
2	343	68
3	1724	68
done	5000	68
0	15	24
1	41	22
2	151	22
3	607	22
4	3101	22
done	5000	22
0	41	79
1	121	66
2	400	66
3	2065	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	36	71
1	103	60
2	345	60
3	1676	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	41	79
1	121	66
2	400	66
3	2063	66
done	5001	66
0	18	28
1	48	24
2	177	24
3	874	24
4	3988	24
done	5000	24
0	36	71
1	103	60
2	345	60
3	1687	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	543	18
4	1612	18
done	5001	18
0	41	95
1	120	80
2	416	80
3	2377	80
done	5000	80
0	19	40
1	51	34
2	213	34
3	1227	34
done	5000	34
0	42	87
1	127	74
2	440	74
3	2494	74
done	5001	74
0	20	32
1	53	28
2	212	28
3	1098	28
done	5000	28
0	42	87
1	127	74
2	440	74
3	2441	74
done	5000	74
0	20	32
1	53	28
2	212	28
3	1047	28
done	5000	28
0	36	79
1	103	68
2	343	68
3	1763	68
done	5001	68
0	15	24
1	41	22
2	151	22
3	641	22
4	3099	22
done	5001	22
0	41	79
1	121	66
2	400	66
3	2103	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	36	71
1	103	60
2	345	60
3	1709	60
done	5000	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	41	79
1	121	66
2	400	66
3	2101	66
done	5000	66
0	18	28
1	48	24
2	177	24
3	900	24
4	3941	24
done	5000	24
0	36	71
1	103	60
2	345	60
3	1723	60
done	5001	60
0	14	20
1	38	18
2	133	18
3	535	18
4	1564	18
done	5000	18
0	35	87
1	99	74
2	329	74
3	1974	74
done	5000	74
0	14	32
1	41	28
2	179	14
3	924	14
done	5001	14
0	36	79
1	104	68
2	342	68
3	1969	68
done	5001	68
0	15	24
1	41	22
2	157	22
3	687	22
4	3223	22
done	5000	22
0	36	79
1	104	68
2	342	68
3	1926	68
done	5001	68
0	15	24
1	41	22
2	157	22
3	672	22
4	2920	22
done	5000	22
0	30	71
1	82	62
2	258	62
3	1364	62
done	5000	62
0	10	16
1	31	16
2	111	8
3	349	8
4	1225	8
done	5000	8
0	35	71
1	98	60
2	295	60
3	1558	60
done	5000	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	30	63
1	80	54
2	240	54
3	1181	54
done	5002	50
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	35	71
1	98	60
2	295	60
3	1558	60
done	5001	60
0	13	20
1	36	18
2	120	18
3	426	18
4	1391	18
done	5000	18
0	30	63
1	80	54
2	240	54
3	1189	54
done	5001	50
0	9	12
1	26	12
2	72	12
3	193	12
4	473	12
5	1596	12
6	4612	12
done	5001	12
0	39	87
1	107	72
2	349	72
3	1974	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	40	79
1	114	66
2	372	66
3	2056	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	40	79
1	114	66
2	372	66
3	2008	66
done	5001	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	34	71
1	90	60
2	276	60
3	1360	60
done	5001	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	39	71
1	108	58
2	331	58
3	1657	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	63
1	90	52
2	276	52
3	1257	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	39	71
1	108	58
2	331	58
3	1653	58
done	5001	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	63
1	90	52
2	276	52
3	1264	52
done	5002	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	35	79
1	90	66
2	315	66
3	1879	66
done	5000	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	36	71
1	97	60
2	338	60
3	1917	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	36	71
1	97	60
2	338	60
3	1866	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	30	63
1	73	54
2	242	54
3	1237	54
done	5000	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	35	63
1	91	52
2	297	52
3	1540	52
done	5001	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	55
1	73	46
2	242	46
3	1137	46
done	5000	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	35	63
1	91	52
2	297	52
3	1535	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	55
1	73	46
2	242	46
3	1147	46
done	5001	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	39	87
1	107	72
2	349	72
3	1941	72
done	5000	72
0	17	36
1	40	30
2	151	30
3	816	30
4	4781	30
done	5000	30
0	40	79
1	114	66
2	372	66
3	2021	66
done	5000	66
0	18	28
1	42	24
2	148	24
3	691	24
4	3280	24
done	5000	24
0	40	79
1	114	66
2	372	66
3	1975	66
done	5001	66
0	18	28
1	42	24
2	148	24
3	649	24
4	2902	24
done	5001	24
0	34	71
1	90	60
2	276	60
3	1325	60
done	5000	60
0	13	20
1	30	18
2	89	18
3	322	18
4	1163	18
5	4335	18
done	5001	18
0	39	71
1	108	58
2	331	58
3	1631	58
done	5001	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	63
1	90	52
2	276	52
3	1231	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	39	71
1	108	58
2	331	58
3	1627	58
done	5000	58
0	16	24
1	37	20
2	116	20
3	488	20
4	1617	20
done	5001	20
0	34	63
1	90	52
2	276	52
3	1238	52
done	5000	48
0	12	16
1	27	14
2	78	14
3	210	14
4	493	14
5	1035	14
6	1170	14
7	1172	14
done	1172	14
0	35	79
1	90	66
2	315	66
3	1883	66
done	5000	66
0	13	28
1	30	24
2	127	24
3	618	24
4	2661	24
done	5001	24
0	36	71
1	97	60
2	338	60
3	1923	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	463	18
4	1397	18
5	4588	18
done	5000	18
0	36	71
1	97	60
2	338	60
3	1865	60
done	5001	60
0	14	20
1	32	18
2	124	18
3	449	18
4	1306	18
5	4208	18
done	5001	18
0	30	63
1	73	54
2	242	54
3	1240	54
done	5000	46
0	9	12
1	20	12
2	65	12
3	168	12
4	401	12
5	1040	12
6	3577	12
done	5000	12
0	35	63
1	91	52
2	297	52
3	1573	52
done	5000	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	55
1	73	46
2	242	46
3	1167	46
done	5000	42
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	35	63
1	91	52
2	297	52
3	1567	52
done	5001	52
0	12	16
1	27	14
2	80	14
3	212	14
4	451	14
5	999	14
6	1349	14
7	1363	14
done	1363	14
0	30	55
1	73	46
2	242	46
3	1172	46
done	5000	38
0	8	8
1	17	8
2	42	8
3	62	8
4	86	8
5	96	8
done	96	8
0	23	43
1	60	34
2	154	19
3	663	19
4	3615	19
done	5000	19
0	25	117
1	70	82
2	221	60
3	1043	49
done	5000	49
0	23	78
1	61	60
2	159	34
3	569	19
4	2414	19
done	5001	19
0	21	39
1	45	30
2	84	30
3	205	30
4	490	30
5	1306	30
6	4569	30
done	5000	30
0	3	3
1	6	1
done	6	1
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	22	40
1	45	31
2	80	31
3	185	31
4	413	31
5	1016	31
6	3345	31
done	5001	31
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	11	12
1	21	9
2	27	9
3	37	9
4	58	9
5	120	9
6	335	9
7	1265	9
done	5001	9
0	11	12
1	21	9
2	27	9
3	37	9
4	58	9
5	120	9
6	335	9
7	1265	9
done	5001	9
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	12	15
1	24	12
2	37	12
3	71	12
4	148	12
5	359	12
6	1179	12
7	4508	12
done	5000	12
0	11	12
1	23	9
2	34	9
3	62	9
4	122	9
5	286	9
6	864	9
7	3395	9
done	5000	9
0	11	11
1	26	6
2	55	6
3	110	6
4	314	6
5	1405	6
done	5001	6
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	12	22
1	25	13
2	46	13
3	77	13
4	144	13
5	346	13
6	1087	13
7	4283	13
done	5000	13
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	4	4
1	14	1
2	18	1
done	18	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	23
1	28	17
2	52	9
3	122	9
4	358	9
5	1432	9
done	5001	9
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	3	3
1	13	1
done	13	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	19
1	18	13
2	24	13
3	34	13
4	55	13
5	119	13
6	332	13
7	1269	13
done	5000	13
0	11	12
1	24	9
2	36	9
3	51	9
4	93	9
5	210	9
6	569	9
7	2143	9
done	5001	9
0	11	12
1	22	9
2	34	9
3	56	9
4	108	9
5	271	9
6	814	9
7	3414	9
done	5000	9
0	12	25
1	22	13
2	28	13
3	38	13
4	59	13
5	124	13
6	343	13
7	1274	13
done	5000	13
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	124	6
6	346	6
7	1278	6
done	5000	6
0	12	35
1	27	17
2	66	10
3	171	10
4	527	10
5	1985	8
done	5001	8
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	12	22
1	25	13
2	46	13
3	77	13
4	144	13
5	346	13
6	1087	13
7	4283	13
done	5000	13
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	12	20
1	25	17
2	46	9
3	75	9
4	148	9
5	364	9
6	1157	9
done	5000	9
0	11	12
1	22	6
2	28	6
3	38	6
4	59	6
5	117	6
6	323	6
7	1240	6
done	5001	6
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	11	12
1	22	9
2	28	9
3	39	9
4	60	9
5	118	9
6	324	9
7	1239	9
done	5000	9
0	5	6
1	17	1
done	17	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	9	9
1	18	6
2	24	6
3	34	6
4	55	6
5	118	6
6	332	6
7	1268	6
done	5000	6
0	10	16
1	19	13
2	25	13
3	35	13
4	58	13
5	123	13
6	341	13
7	1264	13
done	5000	13
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	11	12
1	25	9
2	35	9
3	52	9
4	91	9
5	206	9
6	603	9
7	2435	9
done	5000	9
0	4	4
1	14	1
2	18	1
done	18	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	13
1	23	8
2	33	8
3	49	8
4	89	8
5	204	8
6	607	8
7	2441	8
done	5001	8
0	12	23
1	28	17
2	52	9
3	122	9
4	358	9
5	1432	9
done	5001	9
0	11	12
1	25	6
2	71	6
3	203	6
4	706	6
5	3056	6
done	5000	6
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	11	12
1	25	9
2	34	9
3	59	9
4	138	9
5	487	9
6	1963	9
done	5000	9
0	3	3
1	13	1
done	13	1
0	10	11
1	21	8
2	27	8
3	37	8
4	60	8
5	120	8
6	332	8
7	1250	8
done	5000	8
0	10	19
1	18	13
2	24	13
3	34	13
4	55	13
5	119	13
6	332	13
7	1269	13
done	5000	13
0	11	12
1	22	9
2	29	9
3	39	9
4	62	9
5	122	9
6	344	9
7	1264	9
done	5000	9
0	11	12
1	22	9
2	29	9
3	39	9
4	62	9
5	122	9
6	344	9
7	1264	9
done	5000	9
0	12	13
1	23	8
2	35	8
3	56	8
4	117	8
5	334	8
6	1252	8
done	5000	8
0	12	13
1	23	8
2	35	8
3	56	8
4	117	8
5	334	8
6	1252	8
done	5000	8
0	3	3
1	5	3
2	6	3
done	6	3
0	21	39
1	62	39
2	181	39
3	568	30
4	1629	28
5	3316	28
6	4478	28
done	5000	27
0	20	38
1	58	38
2	159	38
3	405	29
4	926	27
5	1292	27
6	1485	27
7	1765	27
8	2555	27
done	5000	27
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	12	13
1	28	13
2	57	13
3	127	11
4	286	11
5	682	11
6	2399	11
done	5000	11
0	8	8
1	24	8
2	31	8
3	41	8
4	64	8
5	121	8
6	330	8
7	1255	8
done	5000	8
0	8	8
1	24	8
2	31	8
3	41	8
4	64	8
5	121	8
6	330	8
7	1255	8
done	5000	8

prune461.0ms

Filtered

116 candidates to 153 candidates (-31.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	7	7
Picked	1	0	1
Done	0	2	2
Total	153	10	163

Merged error: 24.8b

Counts

163 → 10

regimes1.7s

Accuracy

69.8% (4.3b remaining)

Error of 28.8b against oracle of 24.5b and baseline of 38.7b

bsearch2.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	69
1	27	69
done	27	69

end0.0ms

sample3.4s

Algorithm

intervals

Results

955.0ms	8404×	body	80	valid
683.0ms	1315×	body	640	valid
569.0ms	769×	body	1280	valid
277.0ms	754×	body	320	valid
102.0ms	389×	body	160	valid

Details

sample116.0ms

simplify2.6s

prune6.0ms

localize26.0ms

rewrite63.0ms

series217.0ms

simplify7.2min

prune694.0ms

localize29.0ms

rewrite51.0ms

series195.0ms

simplify5.6min

prune432.0ms

localize25.0ms

rewrite67.0ms

series194.0ms

simplify8.0min

prune478.0ms

localize26.0ms

rewrite69.0ms

series186.0ms

simplify8.0min

prune461.0ms

regimes1.7s

bsearch2.0ms

simplify3.0ms

end0.0ms

sample3.4s

Profiling