Details

sample80.0ms

Algorithm

intervals

Results

25.0ms	280×	body	80	valid
12.0ms	32×	body	640	valid
9.0ms	19×	body	1280	valid
5.0ms	19×	body	320	valid
2.0ms	12×	body	160	valid

simplify3.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	16
1	26	16
2	66	16
3	223	16
4	929	16
5	4921	16
done	5000	16

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: 26.8b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
3.4b	(* (* x (pow s 2.0)) x)
9.5b	(* x (pow s 2.0))
16.5b	(* (pow c 2.0) (* (* x (pow s 2.0)) x))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

122×	`add-exp-log`
82×	`prod-exp`
34×	`add-cbrt-cube`
18×	`pow-to-exp` `pow-exp`
17×	`add-sqr-sqrt`
16×	`div-exp` `cbrt-unprod`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`associate-r` `associate-l`
7×	`unpow-prod-down`
6×	`pow1`
4×	`cbrt-undiv` `add-log-exp`
3×	`times-frac` `-commutative` `associate-/l` `unswap-sqr` `sqr-pow`
1×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 115

Calls

4 calls:

13.0ms	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
6.0ms	(* (* x (pow s 2.0)) x)
6.0ms	(* x (pow s 2.0))
11.0ms	(* (pow c 2.0) (* (* x (pow s 2.0)) x))

series263.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* x (pow s 2.0)) x)))
37.0ms	(* (* x (pow s 2.0)) x)
39.0ms	(* x (pow s 2.0))
93.0ms	(* (pow c 2.0) (* (* x (pow s 2.0)) x))

simplify6.8min

Counts

127 → 127

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	12	15
1	19	15
2	31	15
3	49	12
4	52	12
done	52	12
0	12	15
1	19	15
2	31	15
3	49	12
4	52	12
done	52	12
0	12	15
1	24	15
2	44	15
3	98	12
4	228	12
5	655	12
6	2270	12
done	5000	12
0	12	14
1	24	14
2	47	14
3	107	14
4	287	12
5	865	12
6	2948	12
done	5000	12
0	11	13
1	22	13
2	42	13
3	104	13
4	287	12
5	842	12
6	2898	12
done	5000	12
0	12	15
1	19	15
2	31	15
3	49	12
4	52	12
done	52	12
0	12	15
1	19	15
2	31	15
3	49	12
4	52	12
done	52	12
0	12	15
1	24	15
2	44	15
3	98	12
4	228	12
5	655	12
6	2270	12
done	5000	12
0	12	14
1	24	14
2	47	14
3	107	14
4	287	12
5	865	12
6	2948	12
done	5000	12
0	11	13
1	22	13
2	42	13
3	104	13
4	287	12
5	842	12
6	2898	12
done	5000	12
0	12	15
1	24	15
2	44	15
3	100	12
4	233	12
5	666	12
6	2293	12
done	5000	12
0	12	15
1	24	15
2	44	15
3	100	12
4	233	12
5	666	12
6	2293	12
done	5000	12
0	12	15
1	27	15
2	53	15
3	133	12
4	399	12
5	1500	12
done	5000	12
0	12	14
1	27	14
2	56	14
3	142	14
4	449	12
5	1689	12
done	5000	12
0	11	13
1	25	13
2	51	13
3	133	13
4	419	12
5	1472	12
done	5000	12
0	10	12
1	24	12
2	65	12
3	223	12
4	946	12
5	4674	12
done	5000	12
0	10	12
1	23	12
2	62	12
3	227	12
4	961	12
done	5000	12
0	15	35
1	40	31
2	163	19
3	937	15
done	5000	15
0	15	35
1	45	33
2	191	17
3	1151	17
done	5000	17
0	13	35
1	39	33
2	155	15
3	830	15
done	5000	15
0	11	25
1	22	25
2	52	25
3	170	25
4	670	25
5	3422	25
done	5001	25
0	10	12
1	21	12
2	51	12
3	167	12
4	690	12
5	3477	12
done	5001	12
0	11	35
1	32	35
2	139	13
3	895	13
done	5000	13
0	10	12
1	21	12
2	51	12
3	167	12
4	690	12
5	3478	12
done	5000	12
0	10	12
1	21	12
2	51	12
3	167	12
4	690	12
5	3478	12
done	5000	12
0	8	9
1	18	9
2	44	9
3	131	9
4	478	9
5	2284	9
done	5000	9
0	10	12
1	21	12
2	51	12
3	171	12
4	681	12
5	3491	12
done	5000	12
0	10	12
1	21	12
2	51	12
3	171	12
4	681	12
5	3491	12
done	5000	12
0	9	11
1	20	11
2	50	11
3	168	11
4	693	11
5	3531	11
done	5000	11
0	10	12
1	21	12
2	45	12
3	123	12
4	367	12
5	1143	12
6	3798	12
done	5001	12
0	10	12
1	21	12
2	46	12
3	124	12
4	352	12
5	1124	12
6	3795	12
done	5000	12
0	9	11
1	20	11
2	50	11
3	168	11
4	693	11
5	3531	11
done	5000	11
0	11	13
1	21	13
2	55	13
3	173	13
4	678	13
5	3537	13
done	5001	13
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	14	7
2	22	7
3	49	7
4	123	7
5	353	7
6	1258	7
done	5000	7
0	6	6
1	14	6
2	28	6
3	69	6
4	178	6
5	520	6
6	1795	6
done	5000	6
0	6	6
1	13	6
2	27	6
3	68	6
4	188	6
5	629	6
6	2631	6
done	5001	6
0	9	17
1	22	15
2	68	9
3	231	9
4	897	7
5	4218	7
done	5001	7
0	7	13
1	12	13
2	21	13
3	47	13
4	113	13
5	302	13
6	994	13
7	3758	13
done	5001	13
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	7	17
1	22	17
2	72	7
3	255	7
4	991	7
5	4212	7
done	5001	7
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	6	6
1	11	6
2	20	6
3	46	6
4	113	6
5	299	6
6	989	6
7	3768	6
done	5000	6
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3750	7
done	5000	7
0	7	7
1	12	7
2	21	7
3	47	7
4	111	7
5	298	7
6	983	7
7	3750	7
done	5000	7
0	7	7
1	12	7
2	18	7
3	36	7
4	76	7
5	186	7
6	569	7
7	1967	7
done	5000	7
0	7	7
1	12	7
2	18	7
3	36	7
4	76	7
5	186	7
6	569	7
7	1967	7
done	5000	7
0	8	8
1	12	8
2	24	8
3	55	8
4	129	8
5	344	8
6	1161	8
7	4333	8
done	5000	8
0	8	8
1	12	8
2	24	8
3	55	8
4	129	8
5	344	8
6	1161	8
7	4333	8
done	5000	8
0	7	9
1	12	9
2	21	9
3	47	9
4	111	9
5	298	9
6	983	9
7	3753	9
done	5000	9
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	997	6
7	3772	6
done	5000	6
0	5	5
1	12	3
2	15	1
3	21	1
4	28	1
5	38	1
6	51	1
7	67	1
8	86	1
9	108	1
10	133	1
11	161	1
12	192	1
13	226	1
14	263	1
15	303	1
16	346	1
17	392	1
18	441	1
19	493	1
20	548	1
21	606	1
22	667	1
23	731	1
24	798	1
25	868	1
26	941	1
27	1017	1
28	1096	1
29	1178	1
30	1263	1
31	1351	1
32	1442	1
33	1536	1
34	1633	1
35	1733	1
36	1836	1
37	1942	1
38	2051	1
39	2163	1
40	2278	1
41	2396	1
42	2517	1
43	2641	1
44	2768	1
45	2898	1
46	3031	1
47	3167	1
48	3306	1
49	3448	1
50	3593	1
51	3741	1
52	3892	1
53	4046	1
54	4203	1
55	4363	1
56	4526	1
57	4692	1
58	4861	1
done	5001	1
0	7	11
1	14	11
2	21	11
3	39	11
4	79	11
5	184	11
6	565	11
7	1979	11
done	5001	11
0	6	6
1	11	6
2	17	6
3	35	6
4	75	6
5	183	6
6	564	6
7	1966	6
done	5001	6
0	3	3
1	6	1
done	6	1
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	336	7
6	1159	7
7	4361	7
done	5000	7
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	1000	6
7	3792	6
done	5000	6
0	6	6
1	11	6
2	20	6
3	46	6
4	114	6
5	301	6
6	1000	6
7	3792	6
done	5000	6
0	5	5
1	10	5
2	19	5
3	45	5
4	109	5
5	302	5
6	999	5
7	3780	5
done	5001	5
0	6	7
1	12	7
2	24	7
3	59	7
4	154	7
5	448	7
6	1575	7
done	5000	7
0	8	10
1	11	10
2	14	10
3	16	9
4	17	9
done	17	9
0	8	10
1	11	10
2	14	10
3	16	9
4	17	9
done	17	9
0	8	10
1	16	10
2	27	10
3	59	9
4	149	9
5	428	9
6	1498	9
done	5000	9
0	8	9
1	16	9
2	32	9
3	77	9
4	202	9
5	610	9
6	2135	9
done	5001	9
0	7	8
1	16	8
2	32	8
3	83	8
4	220	8
5	660	8
6	2335	8
done	5001	8
0	7	8
1	15	8
2	35	8
3	91	8
4	262	8
5	880	8
6	3646	8
done	5000	8
0	10	23
1	26	21
2	93	13
3	388	9
4	1781	9
done	5000	9
0	10	23
1	30	23
2	115	11
3	493	11
4	2174	9
done	5000	9
0	8	17
1	14	17
2	26	17
3	61	17
4	155	17
5	467	17
6	1606	17
done	5000	17
0	7	8
1	13	8
2	25	8
3	60	8
4	156	8
5	460	8
6	1601	8
done	5000	8
0	8	23
1	24	23
2	82	9
3	299	9
4	1371	9
done	5000	9
0	7	8
1	13	8
2	25	8
3	60	8
4	157	8
5	461	8
6	1604	8
done	5000	8
0	7	8
1	13	8
2	25	8
3	60	8
4	157	8
5	461	8
6	1604	8
done	5000	8
0	8	11
1	18	11
2	44	11
3	120	11
4	344	11
5	1101	11
6	3834	11
done	5000	11
0	7	8
1	15	8
2	32	8
3	76	8
4	204	8
5	623	8
6	2174	8
done	5001	8
0	7	7
1	17	5
2	40	5
3	96	5
4	200	5
5	469	5
6	1314	5
7	4538	5
done	5000	5
0	5	5
1	10	5
2	19	5
3	45	5
4	111	5
5	305	5
6	1006	5
7	3782	5
done	5000	5
0	16	21
1	28	21
2	58	21
3	144	18
4	339	18
5	690	18
6	1481	18
7	1929	18
8	1954	18
done	1954	18
0	16	21
1	28	21
2	58	21
3	144	18
4	339	18
5	690	18
6	1481	18
7	1929	18
8	1954	18
done	1954	18
0	16	21
1	33	21
2	71	21
3	190	18
4	563	18
5	2009	18
done	5001	18
0	16	20
1	33	20
2	74	20
3	193	20
4	605	18
5	2166	18
done	5000	18
0	15	19
1	31	19
2	62	19
3	161	19
4	489	18
5	1727	18
done	5001	18
0	16	21
1	28	21
2	58	21
3	144	18
4	339	18
5	690	18
6	1481	18
7	1929	18
8	1954	18
done	1954	18
0	16	21
1	28	21
2	58	21
3	144	18
4	339	18
5	690	18
6	1481	18
7	1929	18
8	1954	18
done	1954	18
0	16	21
1	33	21
2	71	21
3	190	18
4	563	18
5	2009	18
done	5001	18
0	16	20
1	33	20
2	74	20
3	193	20
4	605	18
5	2166	18
done	5000	18
0	15	19
1	31	19
2	62	19
3	161	19
4	489	18
5	1727	18
done	5001	18
0	16	21
1	33	21
2	71	21
3	198	18
4	605	18
5	2267	18
done	5000	18
0	16	21
1	33	21
2	71	21
3	198	18
4	605	18
5	2267	18
done	5000	18
0	16	21
1	36	21
2	80	21
3	233	18
4	831	18
5	3959	18
done	5000	18
0	16	20
1	36	20
2	83	20
3	234	20
4	850	18
5	3994	18
done	5000	18
0	15	19
1	34	19
2	71	19
3	198	19
4	689	18
5	3108	18
done	5000	18
0	14	18
1	31	18
2	78	18
3	264	18
4	1119	18
done	5000	18
0	13	17
1	30	17
2	81	17
3	289	17
4	1242	17
done	5000	17
0	13	17
1	27	17
2	67	17
3	224	17
4	926	17
5	4974	17
done	5000	17
0	20	50
1	54	46
2	244	26
3	2035	22
done	5001	22
0	20	50
1	59	48
2	276	24
3	2424	24
done	5001	24
0	18	50
1	53	48
2	236	22
3	1828	22
done	5000	22
0	16	50
1	46	50
2	230	20
3	2199	18
done	5000	18
0	14	35
1	28	35
2	68	35
3	227	35
4	935	35
5	4950	35
done	5000	35
0	13	17
1	27	17
2	67	17
3	224	17
4	926	17
5	4974	17
done	5000	17
0	14	50
1	35	50
2	132	18
3	1115	18
done	5000	18
0	13	17
1	27	17
2	67	17
3	224	17
4	926	17
5	4974	17
done	5000	17
0	13	17
1	27	17
2	67	17
3	224	17
4	926	17
5	4974	17
done	5000	17
0	5	5
1	6	5
done	6	5
0	10	12
1	25	12
2	75	12
3	303	12
4	1439	12
done	5001	12
0	9	15
1	16	15
2	28	15
3	64	15
4	160	15
5	474	15
6	1724	15
done	5000	15
0	10	13
1	19	13
2	36	13
3	86	13
4	236	13
5	731	13
6	2510	13
done	5001	13
0	8	9
1	13	9
2	20	9
3	42	9
4	95	9
5	234	9
6	714	9
7	2565	9
done	5000	9
0	10	13
1	19	13
2	36	13
3	86	13
4	236	13
5	731	13
6	2510	13
done	5001	13
0	5	5
1	11	5
2	18	5
3	40	5
4	92	5
5	233	5
6	713	5
7	2551	5
done	5000	5
0	9	12
1	18	12
2	35	12
3	85	12
4	236	12
5	722	12
6	2489	12
done	5000	12
0	11	13
1	26	13
2	66	13
3	229	13
4	954	13
done	5000	13
0	12	16
1	26	16
2	67	16
3	251	16
4	1147	16
done	5000	16
0	7	8
1	12	8
2	19	8
3	41	8
4	94	8
5	235	8
6	713	8
7	2565	8
done	5000	8
0	13	17
1	27	17
2	68	17
3	252	17
4	1148	17
done	5000	17
0	13	17
1	27	17
2	68	17
3	252	17
4	1148	17
done	5000	17
0	12	16
1	26	16
2	67	16
3	251	16
4	1147	16
done	5000	16
0	22	27
1	54	25
2	117	21
3	301	17
4	853	17
5	3342	17
done	5000	17
0	25	33
1	65	29
2	149	25
3	378	23
4	1089	21
5	4192	21
done	5000	21
0	28	35
1	70	33
2	165	29
3	504	25
4	2212	25
done	5001	25
0	1	1
done	1	1
0	15	18
1	37	16
2	66	14
3	138	13
4	295	12
5	715	12
6	1974	12
done	5001	12
0	17	20
1	42	19
2	78	17
3	201	15
4	575	15
5	2541	15
done	5000	15
0	12	12
1	29	11
2	50	9
3	118	7
4	393	7
5	1424	7
done	5001	7
0	17	20
1	42	18
2	93	16
3	224	15
4	589	14
5	2003	14
done	5000	14
0	19	22
1	47	21
2	105	19
3	277	17
4	855	17
5	3755	17
done	5001	17
0	26	59
1	65	55
2	146	27
3	448	23
4	1635	23
done	5000	23
0	27	36
1	68	32
2	147	28
3	381	26
4	1225	24
done	5001	24
0	31	40
1	76	38
2	173	34
3	556	30
4	2666	30
done	5000	30

prune325.0ms

Filtered

97 candidates to 127 candidates (-30.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	114	13	127
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	115	13	128

Merged error: 11.0b

Counts

128 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(cos (* 2.0 x))
0.4b	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
3.4b	(* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)
16.5b	(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

390×	`add-exp-log`
322×	`prod-exp`
77×	`pow-to-exp` `pow-exp`
47×	`add-cbrt-cube`
43×	`div-exp`
26×	`cbrt-unprod`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`associate-l`
6×	`pow1`
5×	`cbrt-undiv`
4×	`associate-r` `add-log-exp`
3×	`unpow-prod-down` `times-frac` `associate-/l*`
2×	`*-commutative`
1×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r*` `div-inv` `sqr-pow`

Counts

4 → 163

Calls

4 calls:

2.0ms	(cos (* 2.0 x))
16.0ms	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
10.0ms	(* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)
14.0ms	(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))

series214.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(cos (* 2.0 x))
86.0ms	(/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))
35.0ms	(* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)
91.0ms	(* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))

simplify8.1min

Counts

175 → 175

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	17	24
1	34	24
2	74	20
3	176	16
4	463	16
5	1567	16
done	5000	14
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	17	24
1	34	24
2	74	20
3	176	16
4	463	16
5	1567	16
done	5000	14
0	17	24
1	34	24
2	74	20
3	176	16
4	464	16
5	1557	16
done	5000	14
0	17	24
1	34	24
2	74	20
3	176	16
4	464	16
5	1557	16
done	5000	14
0	15	24
1	30	24
2	72	16
3	180	16
4	455	16
5	1520	16
done	5000	16
0	17	23
1	34	23
2	76	22
3	186	15
4	559	15
5	1934	15
done	5000	15
0	17	23
1	34	23
2	76	22
3	186	15
4	559	15
5	1934	15
done	5000	15
0	16	23
1	31	23
2	67	22
3	177	15
4	544	15
5	1912	15
done	5000	15
0	15	22
1	30	22
2	73	18
3	202	18
4	674	15
5	2485	15
done	5000	15
0	14	21
1	28	21
2	72	17
3	212	15
4	743	15
5	2628	15
done	5000	15
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	17	24
1	34	24
2	74	20
3	176	16
4	463	16
5	1567	16
done	5000	14
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	15	24
1	28	24
2	60	16
3	127	16
4	175	16
5	209	14
6	223	12
7	498	12
8	1409	12
9	4569	12
done	5001	12
0	17	24
1	34	24
2	74	20
3	176	16
4	463	16
5	1567	16
done	5000	14
0	17	24
1	34	24
2	74	20
3	176	16
4	464	16
5	1557	16
done	5000	14
0	17	24
1	34	24
2	74	20
3	176	16
4	464	16
5	1557	16
done	5000	14
0	15	24
1	30	24
2	72	16
3	180	16
4	455	16
5	1520	16
done	5000	16
0	17	23
1	34	23
2	76	22
3	186	15
4	559	15
5	1934	15
done	5000	15
0	17	23
1	34	23
2	76	22
3	186	15
4	559	15
5	1934	15
done	5000	15
0	16	23
1	31	23
2	67	22
3	177	15
4	544	15
5	1912	15
done	5000	15
0	15	22
1	30	22
2	73	18
3	202	18
4	674	15
5	2485	15
done	5000	15
0	14	21
1	28	21
2	72	17
3	212	15
4	743	15
5	2628	15
done	5000	15
0	15	24
1	31	24
2	71	16
3	179	16
4	408	14
5	1105	14
6	3683	12
done	5000	12
0	15	24
1	31	24
2	71	16
3	179	16
4	408	14
5	1105	14
6	3683	12
done	5000	12
0	17	24
1	37	24
2	84	20
3	219	16
4	700	14
5	3110	14
done	5000	14
0	15	24
1	31	24
2	71	16
3	179	16
4	408	14
5	1105	14
6	3683	12
done	5000	12
0	15	24
1	31	24
2	71	16
3	179	16
4	408	14
5	1105	14
6	3683	12
done	5000	12
0	17	24
1	37	24
2	84	20
3	219	16
4	700	14
5	3110	14
done	5000	14
0	17	24
1	37	24
2	84	20
3	219	16
4	702	14
5	3073	14
done	5001	14
0	17	24
1	37	24
2	84	20
3	219	16
4	702	14
5	3073	14
done	5001	14
0	15	24
1	33	24
2	82	16
3	225	16
4	697	14
5	3036	14
done	5001	14
0	17	23
1	37	23
2	86	22
3	227	15
4	781	14
5	3428	14
done	5000	14
0	17	23
1	37	23
2	86	22
3	227	15
4	781	14
5	3428	14
done	5000	14
0	16	23
1	34	23
2	77	22
3	217	15
4	768	14
5	3407	14
done	5000	14
0	15	22
1	33	22
2	82	18
3	236	18
4	863	15
5	3786	14
done	5000	14
0	14	21
1	31	21
2	81	17
3	244	15
4	894	15
5	3639	14
done	5000	14
0	13	20
1	30	20
2	102	16
3	415	15
4	2005	15
done	5001	14
0	13	20
1	29	20
2	97	16
3	416	16
4	2069	16
done	5000	14
0	18	59
1	49	49
2	232	29
3	1643	17
done	5001	17
0	20	59
1	56	49
2	258	27
3	1868	25
done	5000	25
0	18	59
1	50	57
2	234	21
3	1585	19
done	5000	19
0	16	59
1	45	57
2	205	19
3	1371	17
done	5001	17
0	14	41
1	28	41
2	87	33
3	337	33
4	1557	33
done	5000	29
0	13	20
1	27	20
2	86	16
3	334	16
4	1562	16
done	5000	14
0	14	59
1	38	59
2	184	17
3	1413	17
done	5000	17
0	13	20
1	27	20
2	86	16
3	335	14
4	1563	14
done	5000	14
0	13	20
1	27	20
2	86	16
3	335	14
4	1563	14
done	5000	14
0	11	17
1	23	17
2	69	13
3	237	13
4	986	13
done	5001	11
0	13	20
1	27	20
2	86	16
3	333	16
4	1540	16
done	5001	14
0	13	20
1	27	20
2	86	16
3	333	16
4	1540	16
done	5001	14
0	12	19
1	26	19
2	85	15
3	333	15
4	1567	15
done	5001	13
0	13	20
1	27	20
2	76	16
3	254	16
4	841	16
5	3122	14
done	5000	14
0	13	20
1	27	20
2	77	16
3	255	16
4	837	16
5	3086	14
done	5000	14
0	12	19
1	26	19
2	85	15
3	333	15
4	1567	15
done	5001	13
0	12	21
1	26	21
2	85	17
3	336	17
4	1588	17
done	5000	15
0	9	15
1	18	15
2	50	11
3	144	11
4	439	11
5	1481	9
done	5000	9
0	11	19
1	20	19
2	38	11
3	62	11
4	90	11
5	114	11
6	124	9
7	396	9
8	1319	9
9	4455	9
done	5000	9
0	11	19
1	20	19
2	38	11
3	62	11
4	90	11
5	114	11
6	124	9
7	396	9
8	1319	9
9	4455	9
done	5000	9
0	13	19
1	26	19
2	52	15
3	110	11
4	293	11
5	948	11
6	3780	9
done	5000	9
0	11	19
1	20	19
2	38	11
3	62	11
4	90	11
5	114	11
6	124	9
7	396	9
8	1319	9
9	4455	9
done	5000	9
0	11	19
1	20	19
2	38	11
3	62	11
4	90	11
5	114	11
6	124	9
7	396	9
8	1319	9
9	4455	9
done	5000	9
0	13	19
1	26	19
2	52	15
3	110	11
4	293	11
5	948	11
6	3780	9
done	5000	9
0	13	19
1	26	19
2	52	15
3	110	11
4	291	11
5	940	11
6	3762	9
done	5000	9
0	13	19
1	26	19
2	52	15
3	110	11
4	291	11
5	940	11
6	3762	9
done	5000	9
0	11	19
1	22	19
2	50	11
3	115	11
4	294	11
5	934	11
6	3705	9
done	5001	9
0	13	18
1	26	18
2	55	17
3	122	10
4	362	10
5	1213	10
6	4579	9
done	5000	9
0	13	18
1	26	18
2	55	17
3	122	10
4	362	10
5	1213	10
6	4579	9
done	5000	9
0	12	18
1	23	18
2	46	17
3	113	10
4	358	10
5	1206	10
6	4639	9
done	5000	9
0	11	17
1	22	17
2	57	13
3	153	13
4	505	10
5	1792	10
done	5000	10
0	10	16
1	22	16
2	62	12
3	190	10
4	637	10
5	2201	10
done	5000	10
0	10	16
1	21	16
2	64	12
3	193	12
4	657	12
5	2561	10
done	5000	10
0	13	47
1	34	39
2	156	23
3	830	11
4	4859	11
done	5000	11
0	15	47
1	41	39
2	183	21
3	1003	19
done	5000	19
0	13	47
1	35	47
2	157	15
3	879	15
done	5001	15
0	11	33
1	20	33
2	52	25
3	143	25
4	443	25
5	1494	21
done	5001	21
0	10	16
1	19	16
2	51	12
3	140	12
4	442	12
5	1485	10
done	5000	10
0	11	47
1	30	47
2	130	13
3	683	13
4	4004	9
done	5000	9
0	10	16
1	19	16
2	52	8
3	141	8
4	435	8
5	1461	8
done	5000	8
0	10	16
1	19	16
2	52	8
3	141	8
4	435	8
5	1461	8
done	5000	8
0	11	19
1	23	19
2	73	15
3	245	15
4	845	15
5	3303	13
done	5001	13
0	10	16
1	20	16
2	59	12
3	173	12
4	580	12
5	1953	10
done	5000	10
0	10	15
1	22	13
2	67	9
3	187	9
4	459	9
5	1232	7
6	4285	5
done	5001	5
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	337	7
6	1153	7
7	4348	7
done	5000	7
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	21	30
1	43	30
2	103	26
3	300	22
4	1084	22
5	4659	22
done	5000	22
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	21	30
1	43	30
2	103	26
3	300	22
4	1084	22
5	4659	22
done	5000	22
0	21	30
1	43	30
2	103	26
3	300	22
4	1080	22
5	4661	22
done	5000	22
0	21	30
1	43	30
2	103	26
3	300	22
4	1080	22
5	4661	22
done	5000	22
0	19	30
1	39	30
2	101	22
3	314	22
4	1088	22
5	4655	22
done	5000	22
0	21	29
1	43	29
2	105	28
3	296	21
4	1119	21
5	4909	21
done	5000	21
0	21	29
1	43	29
2	105	28
3	296	21
4	1119	21
5	4909	21
done	5000	21
0	20	29
1	40	29
2	96	28
3	289	21
4	1107	21
5	4865	21
done	5000	21
0	19	28
1	39	28
2	100	24
3	301	24
4	1168	21
done	5000	21
0	18	27
1	37	27
2	92	23
3	282	21
4	1094	21
5	4603	21
done	5000	21
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	21	30
1	43	30
2	103	26
3	300	22
4	1084	22
5	4659	22
done	5000	22
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	19	30
1	37	30
2	89	22
3	258	22
4	687	22
5	1636	20
6	4148	18
done	5000	18
0	21	30
1	43	30
2	103	26
3	300	22
4	1084	22
5	4659	22
done	5000	22
0	21	30
1	43	30
2	103	26
3	300	22
4	1080	22
5	4661	22
done	5000	22
0	21	30
1	43	30
2	103	26
3	300	22
4	1080	22
5	4661	22
done	5000	22
0	19	30
1	39	30
2	101	22
3	314	22
4	1088	22
5	4655	22
done	5000	22
0	21	29
1	43	29
2	105	28
3	296	21
4	1119	21
5	4909	21
done	5000	21
0	21	29
1	43	29
2	105	28
3	296	21
4	1119	21
5	4909	21
done	5000	21
0	20	29
1	40	29
2	96	28
3	289	21
4	1107	21
5	4865	21
done	5000	21
0	19	28
1	39	28
2	100	24
3	301	24
4	1168	21
done	5000	21
0	18	27
1	37	27
2	92	23
3	282	21
4	1094	21
5	4603	21
done	5000	21
0	19	30
1	40	30
2	100	22
3	311	22
4	1031	20
5	4031	20
done	5000	20
0	19	30
1	40	30
2	100	22
3	311	22
4	1031	20
5	4031	20
done	5000	20
0	21	30
1	46	30
2	113	26
3	352	22
4	1436	20
done	5000	20
0	19	30
1	40	30
2	100	22
3	311	22
4	1031	20
5	4031	20
done	5000	20
0	19	30
1	40	30
2	100	22
3	311	22
4	1031	20
5	4031	20
done	5000	20
0	21	30
1	46	30
2	113	26
3	352	22
4	1436	20
done	5000	20
0	21	30
1	46	30
2	113	26
3	352	22
4	1437	20
done	5000	20
0	21	30
1	46	30
2	113	26
3	352	22
4	1437	20
done	5000	20
0	19	30
1	42	30
2	111	22
3	364	22
4	1438	20
done	5000	20
0	21	29
1	46	29
2	115	28
3	350	21
4	1459	20
done	5000	20
0	21	29
1	46	29
2	115	28
3	350	21
4	1459	20
done	5000	20
0	20	29
1	43	29
2	106	28
3	335	21
4	1438	20
done	5000	20
0	19	28
1	42	28
2	109	24
3	341	24
4	1451	21
done	5000	20
0	18	27
1	40	27
2	101	23
3	316	21
4	1318	21
done	5000	21
0	17	26
1	37	26
2	115	22
3	461	21
4	2279	21
done	5001	20
0	16	25
1	36	25
2	118	21
3	503	21
4	2604	20
done	5001	19
0	16	25
1	33	25
2	104	21
3	431	21
4	2127	21
done	5001	19
0	23	74
1	63	64
2	317	36
3	3114	24
done	5000	24
0	25	74
1	70	64
2	343	34
3	3262	32
done	5000	32
0	23	74
1	64	72
2	318	28
3	2970	26
done	5000	26
0	21	74
1	59	72
2	286	26
3	2566	24
done	5000	24
0	19	74
1	52	74
2	275	24
3	2998	22
done	5000	22
0	17	51
1	34	51
2	105	43
3	426	43
4	2100	43
done	5000	39
0	16	25
1	33	25
2	104	21
3	431	21
4	2127	21
done	5001	19
0	17	74
1	41	74
2	169	22
3	1546	22
done	5000	22
0	16	25
1	33	25
2	104	21
3	431	21
4	2127	21
done	5001	19
0	16	25
1	33	25
2	104	21
3	431	21
4	2127	21
done	5001	19
0	5	5
1	6	5
done	6	5
0	13	20
1	31	20
2	115	16
3	556	16
4	3271	16
done	5000	14
0	9	15
1	16	15
2	28	15
3	64	15
4	160	15
5	474	15
6	1724	15
done	5000	15
0	13	21
1	25	21
2	65	17
3	202	17
4	643	17
5	2347	15
done	5001	15
0	8	9
1	13	9
2	20	9
3	42	9
4	95	9
5	234	9
6	714	9
7	2565	9
done	5000	9
0	13	21
1	25	21
2	65	17
3	202	17
4	643	17
5	2347	15
done	5001	15
0	5	5
1	11	5
2	18	5
3	40	5
4	92	5
5	233	5
6	713	5
7	2551	5
done	5000	5
0	12	20
1	24	20
2	64	16
3	202	16
4	645	16
5	2355	14
done	5001	14
0	14	21
1	32	21
2	103	17
3	424	17
4	2136	17
done	5001	15
0	15	24
1	32	24
2	104	20
3	463	20
4	2495	20
done	5000	18
0	7	8
1	12	8
2	19	8
3	41	8
4	94	8
5	235	8
6	713	8
7	2565	8
done	5000	8
0	16	25
1	33	25
2	105	21
3	460	21
4	2486	21
done	5001	19
0	16	25
1	33	25
2	105	21
3	460	21
4	2486	21
done	5001	19
0	15	24
1	32	24
2	104	20
3	463	20
4	2495	20
done	5000	18
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	22	27
1	54	25
2	117	21
3	301	17
4	853	17
5	3342	17
done	5000	17
0	25	33
1	65	29
2	149	25
3	378	23
4	1089	21
5	4192	21
done	5000	21
0	28	35
1	70	33
2	165	29
3	504	25
4	2212	25
done	5001	25
0	12	12
1	29	11
2	50	9
3	118	7
4	393	7
5	1424	7
done	5001	7
0	17	20
1	42	18
2	93	16
3	224	15
4	589	14
5	2003	14
done	5000	14
0	19	22
1	47	21
2	105	19
3	277	17
4	855	17
5	3755	17
done	5001	17
0	26	59
1	65	55
2	146	27
3	448	23
4	1635	23
done	5000	23
0	27	36
1	68	32
2	147	28
3	381	26
4	1225	24
done	5001	24
0	31	40
1	76	38
2	173	34
3	556	30
4	2666	30
done	5000	30
0	12	13
1	28	13
2	73	13
3	186	13
4	554	13
5	1272	13
6	4386	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune310.0ms

Filtered

94 candidates to 175 candidates (-86.2%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	166	9	175
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	174	14	188

Merged error: 2.2b

Counts

188 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(cos (* 2.0 x))
0.4b	(/ (cos (* 2.0 x)) (* (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))) (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))))))
6.5b	(* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))
6.5b	(* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

61×	`add-exp-log`
43×	`prod-exp`
19×	`add-cbrt-cube`
14×	`pow-to-exp` `associate-l` `pow-exp`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-unprod`
6×	`unpow-prod-down`
4×	`pow1` `add-log-exp`
3×	`times-frac` `associate-/l*`
2×	`cbrt-undiv` `div-exp` `associate-r` `*-commutative` `sqr-pow`
1×	`frac-2neg` `clear-num` `associate-/r*` `div-inv`

Counts

4 → 88

Calls

4 calls:

2.0ms	(cos (* 2.0 x))
5.0ms	(/ (cos (* 2.0 x)) (* (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))) (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))))))
7.0ms	(* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))
10.0ms	(* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))

series185.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(cos (* 2.0 x))
46.0ms	(/ (cos (* 2.0 x)) (* (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))) (fabs (* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2)))))))
70.0ms	(* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))
67.0ms	(* (pow c (/ 2.0 2)) (* x (pow s (/ 2.0 2))))

simplify2.9min

Counts

100 → 100

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	25	16
2	47	16
3	96	12
4	215	12
5	577	12
6	2093	12
done	5000	12
0	12	15
1	23	15
2	47	15
3	107	12
4	264	12
5	739	12
6	2704	12
done	5000	12
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	25	16
2	47	16
3	96	12
4	215	12
5	577	12
6	2093	12
done	5000	12
0	12	15
1	23	15
2	47	15
3	107	12
4	264	12
5	739	12
6	2704	12
done	5000	12
0	13	16
1	25	16
2	47	16
3	96	12
4	213	12
5	574	12
6	2094	12
done	5000	12
0	13	16
1	25	16
2	47	16
3	96	12
4	213	12
5	574	12
6	2094	12
done	5000	12
0	13	16
1	26	16
2	53	16
3	127	12
4	351	12
5	1232	12
done	5000	12
0	12	15
1	24	15
2	53	15
3	132	12
4	388	12
5	1343	12
done	5000	12
0	11	14
1	23	14
2	63	14
3	194	14
4	703	12
5	3268	12
done	5001	12
0	11	14
1	22	14
2	60	14
3	198	14
4	750	14
5	3567	14
done	5001	14
0	16	41
1	37	33
2	146	19
3	733	19
done	5001	19
0	14	41
1	38	37
2	150	17
3	803	17
done	5000	17
0	12	29
1	21	29
2	50	29
3	144	29
4	513	29
5	2360	29
done	5000	29
0	11	14
1	20	14
2	49	14
3	143	14
4	497	14
5	2305	14
done	5000	14
0	12	41
1	31	41
2	138	15
3	834	15
done	5000	15
0	11	14
1	20	14
2	49	14
3	143	14
4	497	14
5	2305	14
done	5000	14
0	11	14
1	20	14
2	49	14
3	143	14
4	497	14
5	2305	14
done	5000	14
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	337	7
6	1153	7
7	4348	7
done	5000	7
0	11	14
1	20	14
2	49	14
3	139	14
4	490	14
5	2287	14
done	5000	14
0	11	14
1	20	14
2	49	14
3	139	14
4	490	14
5	2287	14
done	5000	14
0	10	13
1	19	13
2	48	13
3	142	13
4	503	13
5	2312	13
done	5000	13
0	11	14
1	20	14
2	43	14
3	97	14
4	250	14
5	711	14
6	2491	14
done	5000	14
0	11	14
1	20	14
2	44	14
3	98	14
4	249	14
5	719	14
6	2487	14
done	5000	14
0	10	13
1	19	13
2	48	13
3	142	13
4	503	13
5	2312	13
done	5000	13
0	11	15
1	23	13
2	54	13
3	151	13
4	518	13
5	2368	13
done	5000	13
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	25	16
2	47	16
3	96	12
4	215	12
5	577	12
6	2093	12
done	5000	12
0	12	15
1	23	15
2	47	15
3	107	12
4	264	12
5	739	12
6	2704	12
done	5000	12
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	23	16
2	34	16
3	46	12
4	56	12
5	63	12
6	64	12
7	66	12
8	67	12
done	67	12
0	13	16
1	25	16
2	47	16
3	96	12
4	215	12
5	577	12
6	2093	12
done	5000	12
0	12	15
1	23	15
2	47	15
3	107	12
4	264	12
5	739	12
6	2704	12
done	5000	12
0	13	16
1	25	16
2	47	16
3	96	12
4	213	12
5	574	12
6	2094	12
done	5000	12
0	13	16
1	25	16
2	47	16
3	96	12
4	213	12
5	574	12
6	2094	12
done	5000	12
0	13	16
1	26	16
2	53	16
3	127	12
4	351	12
5	1232	12
done	5000	12
0	12	15
1	24	15
2	53	15
3	132	12
4	388	12
5	1343	12
done	5000	12
0	11	14
1	23	14
2	63	14
3	194	14
4	703	12
5	3268	12
done	5001	12
0	11	14
1	22	14
2	60	14
3	198	14
4	750	14
5	3567	14
done	5001	14
0	16	41
1	37	33
2	146	19
3	733	19
done	5001	19
0	14	41
1	38	37
2	150	17
3	803	17
done	5000	17
0	12	29
1	21	29
2	50	29
3	144	29
4	513	29
5	2360	29
done	5000	29
0	11	14
1	20	14
2	49	14
3	143	14
4	497	14
5	2305	14
done	5000	14
0	12	41
1	31	41
2	138	15
3	834	15
done	5000	15
0	11	14
1	20	14
2	49	14
3	143	14
4	497	14
5	2305	14
done	5000	14
0	11	14
1	20	14
2	49	14
3	143	14
4	497	14
5	2305	14
done	5000	14
0	7	7
1	11	7
2	23	7
3	52	7
4	125	7
5	337	7
6	1153	7
7	4348	7
done	5000	7
0	11	14
1	20	14
2	49	14
3	139	14
4	490	14
5	2287	14
done	5000	14
0	11	14
1	20	14
2	49	14
3	139	14
4	490	14
5	2287	14
done	5000	14
0	10	13
1	19	13
2	48	13
3	142	13
4	503	13
5	2312	13
done	5000	13
0	11	14
1	20	14
2	43	14
3	97	14
4	250	14
5	711	14
6	2491	14
done	5000	14
0	11	14
1	20	14
2	44	14
3	98	14
4	249	14
5	719	14
6	2487	14
done	5000	14
0	10	13
1	19	13
2	48	13
3	142	13
4	503	13
5	2312	13
done	5000	13
0	11	15
1	23	13
2	54	13
3	151	13
4	518	13
5	2368	13
done	5000	13
0	17	37
1	32	23
2	71	23
3	168	23
4	533	23
5	2387	23
done	5000	23
0	17	36
1	31	36
2	66	23
3	166	23
4	521	23
5	2340	23
done	5001	23
0	16	35
1	31	35
2	66	35
3	163	23
4	520	23
5	2393	23
done	5000	23
0	16	35
1	28	35
2	57	35
3	147	35
4	497	35
5	2286	35
done	5001	35
0	19	104
1	44	104
2	142	40
3	464	23
4	1238	23
5	4100	23
done	5000	23
0	19	104
1	45	104
2	142	38
3	481	23
4	1296	23
5	4257	23
done	5000	23
0	17	71
1	29	71
2	58	71
3	148	71
4	500	71
5	2316	71
done	5001	71
0	16	35
1	28	35
2	57	35
3	147	35
4	497	35
5	2286	35
done	5001	35
0	17	104
1	36	104
2	102	36
3	328	36
4	1006	36
5	3122	23
done	5000	23
0	16	35
1	28	35
2	57	35
3	147	35
4	497	35
5	2286	35
done	5001	35
0	16	35
1	28	35
2	57	35
3	147	35
4	497	35
5	2286	35
done	5001	35
0	5	5
1	6	5
done	6	5
0	13	30
1	25	30
2	54	30
3	148	30
4	513	30
5	2299	30
done	5000	30
0	16	26
1	28	26
2	59	26
3	152	26
4	497	26
5	2299	26
done	5000	26
0	15	20
1	25	20
2	54	20
3	144	20
4	489	20
5	2331	20
done	5000	20
0	15	20
1	25	20
2	54	20
3	144	20
4	489	20
5	2331	20
done	5000	20
0	15	20
1	25	20
2	54	20
3	144	20
4	489	20
5	2331	20
done	5000	20
0	13	16
1	24	16
2	53	16
3	145	16
4	491	16
5	2272	16
done	5000	16
0	14	19
1	24	19
2	53	19
3	143	19
4	492	19
5	2310	19
done	5000	19
0	14	31
1	27	31
2	56	31
3	148	31
4	506	31
5	2344	31
done	5000	31
0	15	34
1	27	34
2	58	34
3	153	34
4	520	34
5	2369	34
done	5000	34
0	14	19
1	24	19
2	53	19
3	143	19
4	492	19
5	2310	19
done	5000	19
0	16	35
1	28	35
2	59	35
3	156	35
4	511	35
5	2357	35
done	5000	35
0	16	35
1	28	35
2	59	35
3	156	35
4	511	35
5	2357	35
done	5000	35
0	15	34
1	27	34
2	58	34
3	153	34
4	520	34
5	2369	34
done	5000	34
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	1	1
done	1	1
0	22	31
1	59	27
2	121	23
3	283	21
4	790	19
5	2934	19
done	5000	19
0	25	33
1	64	31
2	137	27
3	428	23
4	1937	23
done	5000	23
0	1	1
done	1	1
0	22	31
1	59	27
2	121	23
3	283	21
4	790	19
5	2934	19
done	5000	19
0	25	33
1	64	31
2	137	27
3	428	23
4	1937	23
done	5000	23
0	19	37
1	42	37
2	122	37
3	451	37
4	1895	37
done	5001	37
0	16	19
1	31	19
2	70	19
3	170	19
4	493	19
5	1938	19
done	5000	19
0	16	19
1	31	19
2	70	19
3	170	19
4	493	19
5	1938	19
done	5000	19
0	12	13
1	28	13
2	73	13
3	186	13
4	554	13
5	1272	13
6	4386	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune350.0ms

Filtered

70 candidates to 100 candidates (-42.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	92	8	100
Fresh	9	4	13
Picked	1	0	1
Done	0	0	0
Total	102	12	114

Merged error: 0.1b

Counts

114 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2)
0.2b	(cos (* 2.0 x))
0.4b	(/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2))
5.2b	(* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-exp-log`
28×	`add-sqr-sqrt`
25×	`add-cube-cbrt` `*-un-lft-identity`
24×	`times-frac`
21×	`prod-exp`
18×	`pow-exp`
16×	`unpow-prod-down`
9×	`pow-to-exp`
8×	`associate-/r*` `add-cbrt-cube`
7×	`sqr-pow`
5×	`pow1` `associate-l` `unpow2`
4×	`add-log-exp`
3×	`pow-unpow` `div-exp` `associate-r` `associate-/l*`
2×	`unswap-sqr`
1×	`cbrt-undiv` `pow-pow` `frac-2neg` `clear-num` `*-commutative` `cbrt-unprod` `div-inv`

Counts

4 → 105

Calls

4 calls:

2.0ms	(pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2)
2.0ms	(cos (* 2.0 x))
5.0ms	(/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2))
7.0ms	(* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)

series166.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2)
2.0ms	(cos (* 2.0 x))
46.0ms	(/ (cos (* 2.0 x)) (pow (fabs (* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)) 2))
101.0ms	(* (pow (* (pow s 1.0) (pow c 1.0)) 1.0) x)

simplify3.9min

Counts

117 → 117

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	19	12
2	31	12
3	44	12
done	44	12
0	12	14
1	19	12
2	31	12
3	44	12
done	44	12
0	12	14
1	22	14
2	42	12
3	89	12
4	196	12
5	620	12
6	2422	12
done	5000	12
0	12	14
1	19	12
2	31	12
3	44	12
done	44	12
0	12	14
1	19	12
2	31	12
3	44	12
done	44	12
0	12	14
1	22	14
2	42	12
3	89	12
4	196	12
5	620	12
6	2422	12
done	5000	12
0	12	14
1	22	14
2	42	12
3	89	12
4	198	12
5	620	12
6	2397	12
done	5001	12
0	12	14
1	22	14
2	42	12
3	89	12
4	198	12
5	620	12
6	2397	12
done	5001	12
0	12	14
1	25	14
2	51	12
3	120	12
4	321	12
5	1229	12
done	5000	12
0	11	13
1	23	13
2	58	13
3	170	12
4	592	12
5	2758	12
done	5001	12
0	11	13
1	23	13
2	58	13
3	170	12
4	592	12
5	2758	12
done	5001	12
0	11	13
1	23	13
2	53	13
3	162	13
4	625	12
5	3090	12
done	5001	12
0	10	12
1	23	12
2	55	12
3	165	12
4	641	12
5	3130	12
done	5000	12
0	10	12
1	22	12
2	56	12
3	152	12
4	494	12
5	2042	12
done	5000	12
0	13	35
1	31	27
2	95	15
3	317	15
4	1240	13
done	5000	13
0	11	25
1	21	25
2	48	25
3	136	25
4	419	25
5	1746	25
done	5000	25
0	10	12
1	20	12
2	47	12
3	132	12
4	421	12
5	1781	12
done	5000	12
0	11	35
1	31	35
2	100	13
3	353	13
4	1317	13
done	5001	13
0	10	12
1	20	12
2	47	12
3	132	12
4	421	12
5	1781	12
done	5000	12
0	10	12
1	20	12
2	47	12
3	132	12
4	421	12
5	1781	12
done	5000	12
0	11	13
1	21	13
2	45	13
3	125	13
4	393	13
5	1697	13
done	5000	13
0	11	13
1	21	13
2	45	13
3	125	13
4	393	13
5	1697	13
done	5000	13
0	12	14
1	21	14
2	52	14
3	140	14
4	427	14
5	1824	14
done	5001	14
0	12	14
1	21	14
2	52	14
3	140	14
4	427	14
5	1824	14
done	5001	14
0	11	15
1	23	15
2	57	15
3	154	15
4	480	15
5	1977	15
done	5001	15
0	10	12
1	20	12
2	47	12
3	133	12
4	422	12
5	1750	12
done	5001	12
0	9	11
1	21	9
2	51	9
3	144	9
4	425	9
5	1728	9
done	5000	9
0	6	7
1	13	7
2	25	7
3	60	7
4	146	7
5	395	7
6	1272	7
7	4953	7
done	5000	7
0	10	12
1	20	12
2	43	12
3	120	12
4	385	12
5	1687	12
done	5000	12
0	10	12
1	20	12
2	44	12
3	121	12
4	391	12
5	1688	12
done	5000	12
0	9	11
1	19	11
2	46	11
3	134	11
4	419	11
5	1776	11
done	5001	11
0	11	13
1	20	13
2	51	13
3	135	13
4	420	13
5	1769	13
done	5000	13
0	18	21
1	31	21
2	66	21
3	147	21
4	424	21
5	1799	21
done	5000	21
0	18	21
1	31	21
2	66	21
3	147	21
4	424	21
5	1799	21
done	5000	21
0	18	21
1	37	21
2	80	21
3	179	21
4	525	21
5	2137	21
done	5000	21
0	17	20
1	35	20
2	79	20
3	191	20
4	562	20
5	2196	20
done	5000	20
0	17	20
1	32	20
2	71	20
3	174	20
4	495	20
5	1925	20
done	5000	20
0	20	59
1	47	44
2	149	23
3	452	21
4	1807	21
done	5000	21
0	18	41
1	33	41
2	72	41
3	172	41
4	497	41
5	1934	41
done	5000	41
0	17	20
1	32	20
2	71	20
3	174	20
4	495	20
5	1925	20
done	5000	20
0	18	59
1	40	59
2	113	21
3	360	21
4	1482	21
done	5001	21
0	17	20
1	32	20
2	71	20
3	174	20
4	495	20
5	1925	20
done	5000	20
0	17	20
1	32	20
2	71	20
3	174	20
4	495	20
5	1925	20
done	5000	20
0	5	5
1	6	5
done	6	5
0	13	15
1	27	15
2	68	15
3	173	15
4	501	15
5	1971	15
done	5000	15
0	20	41
1	37	41
2	88	41
3	225	41
4	659	27
5	2512	27
done	5000	27
0	18	21
1	33	21
2	72	21
3	167	21
4	484	21
5	1928	21
done	5001	21
0	19	27
1	36	27
2	83	24
3	197	24
4	550	24
5	2143	24
done	5000	24
0	18	21
1	33	21
2	72	18
3	168	18
4	485	18
5	1956	18
done	5001	18
0	10	15
1	19	13
2	25	11
3	29	11
4	34	11
done	34	11
0	17	20
1	32	20
2	71	20
3	167	20
4	485	20
5	1938	20
done	5001	20
0	16	24
1	29	24
2	58	24
3	143	24
4	421	24
5	1793	24
done	5001	24
0	15	18
1	26	18
2	53	18
3	133	18
4	411	18
5	1774	18
done	5000	18
0	20	43
1	41	43
2	85	43
3	182	43
4	485	43
5	1902	43
done	5000	43
0	18	21
1	33	21
2	68	21
3	159	21
4	465	21
5	1887	21
done	5000	21
0	19	27
1	36	27
2	75	25
3	171	25
4	476	25
5	1898	25
done	5001	25
0	18	21
1	33	21
2	70	19
3	161	19
4	465	19
5	1862	19
done	5000	19
0	8	13
1	13	11
2	19	11
3	24	11
done	24	11
0	17	20
1	32	20
2	71	20
3	167	20
4	485	20
5	1938	20
done	5001	20
0	19	28
1	36	26
2	79	24
3	188	24
4	534	24
5	2134	24
done	5000	24
0	18	22
1	33	20
2	71	18
3	166	18
4	476	18
5	1990	18
done	5000	18
0	19	35
1	34	35
2	77	35
3	189	35
4	532	21
5	2068	21
done	5001	21
0	18	21
1	33	21
2	72	21
3	167	21
4	484	21
5	1928	21
done	5001	21
0	18	21
1	33	21
2	72	18
3	168	18
4	485	18
5	1956	18
done	5001	18
0	18	21
1	33	21
2	72	18
3	168	18
4	485	18
5	1956	18
done	5001	18
0	9	9
1	16	7
2	20	5
done	20	5
0	17	20
1	32	20
2	71	20
3	167	20
4	485	20
5	1938	20
done	5001	20
0	15	18
1	26	18
2	53	18
3	133	18
4	411	18
5	1774	18
done	5000	18
0	15	18
1	26	18
2	53	18
3	133	18
4	411	18
5	1774	18
done	5000	18
0	19	37
1	36	37
2	71	37
3	163	37
4	466	37
5	1897	37
done	5000	37
0	18	21
1	33	21
2	68	21
3	159	21
4	465	21
5	1887	21
done	5000	21
0	18	21
1	33	21
2	70	19
3	161	19
4	465	19
5	1862	19
done	5000	19
0	18	21
1	33	21
2	70	19
3	161	19
4	465	19
5	1862	19
done	5000	19
0	7	7
1	10	5
2	12	5
done	12	5
0	17	20
1	32	20
2	71	20
3	167	20
4	485	20
5	1938	20
done	5001	20
0	18	22
1	33	20
2	71	18
3	166	18
4	476	18
5	1990	18
done	5000	18
0	18	22
1	33	20
2	71	18
3	166	18
4	476	18
5	1990	18
done	5000	18
0	16	31
1	31	31
2	72	31
3	181	31
4	504	17
5	1974	17
done	5000	17
0	17	20
1	32	20
2	71	20
3	174	20
4	495	20
5	1929	20
done	5000	20
0	15	17
1	30	17
2	67	14
3	168	14
4	486	14
5	1935	14
done	5000	14
0	17	20
1	32	20
2	71	17
3	175	17
4	496	17
5	1941	17
done	5000	17
0	4	5
1	10	1
2	14	1
done	14	1
0	16	19
1	31	19
2	70	19
3	170	19
4	493	19
5	1938	19
done	5000	19
0	12	14
1	24	14
2	51	14
3	133	14
4	424	14
5	1789	14
done	5000	14
0	14	17
1	25	17
2	52	17
3	140	17
4	426	17
5	1811	17
done	5001	17
0	16	33
1	33	33
2	66	33
3	160	33
4	466	33
5	1859	33
done	5000	33
0	17	20
1	32	20
2	67	20
3	163	20
4	467	20
5	1860	20
done	5000	20
0	15	17
1	30	17
2	65	15
3	160	15
4	471	15
5	1896	15
done	5000	15
0	17	20
1	32	20
2	69	18
3	165	18
4	477	18
5	1913	18
done	5000	18
0	2	3
1	4	1
done	4	1
0	16	19
1	31	19
2	70	19
3	170	19
4	493	19
5	1938	19
done	5000	19
0	15	18
1	30	16
2	66	14
3	165	14
4	481	14
5	1929	14
done	5000	14
0	17	21
1	32	19
2	70	17
3	173	17
4	490	17
5	1919	17
done	5000	17
0	14	16
1	29	16
2	66	16
3	164	16
4	484	16
5	1940	16
done	5000	16
0	16	19
1	31	19
2	70	19
3	170	19
4	499	19
5	1955	19
done	5000	19
0	18	34
1	33	34
2	76	34
3	194	34
4	541	20
5	2073	20
done	5000	20
0	17	20
1	32	20
2	71	17
3	175	17
4	496	17
5	1941	17
done	5000	17
0	8	8
1	15	6
2	19	4
3	24	4
done	24	4
0	14	17
1	25	17
2	52	17
3	140	17
4	426	17
5	1811	17
done	5001	17
0	18	36
1	35	36
2	70	36
3	166	36
4	477	36
5	1892	36
done	5000	36
0	17	20
1	32	20
2	69	18
3	165	18
4	477	18
5	1913	18
done	5000	18
0	6	6
1	9	4
2	11	4
done	11	4
0	17	21
1	32	19
2	70	17
3	173	17
4	490	17
5	1919	17
done	5000	17
0	17	20
1	32	20
2	71	20
3	171	20
4	504	20
5	1999	20
done	5000	20
0	17	20
1	32	20
2	71	20
3	171	20
4	504	20
5	1999	20
done	5000	20
0	16	19
1	31	19
2	70	19
3	170	19
4	499	19
5	1955	19
done	5000	19
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	8	14
2	10	6
3	15	6
4	21	6
5	31	6
6	54	6
7	110	6
8	319	6
9	1259	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	13	15
1	23	15
2	50	15
3	140	15
4	422	15
5	1746	15
done	5001	15
0	13	15
1	23	15
2	50	15
3	140	15
4	422	15
5	1746	15
done	5001	15
0	3	3
1	6	1
done	6	1
0	14	18
1	26	18
2	60	18
3	162	18
4	502	18
5	2021	18
done	5001	18
0	13	15
1	25	15
2	57	15
3	155	15
4	483	15
5	1968	15
done	5001	15
0	12	14
1	28	12
2	62	12
3	153	12
4	465	12
5	1893	12
done	5000	12
0	14	29
1	28	29
2	67	29
3	168	29
4	496	15
5	1922	15
done	5000	15
0	13	15
1	27	15
2	62	15
3	160	15
4	466	15
5	1843	15
done	5001	15
0	13	15
1	27	15
2	62	12
3	161	12
4	467	12
5	1843	12
done	5000	12
0	13	15
1	27	15
2	62	12
3	161	12
4	467	12
5	1843	12
done	5000	12
0	3	3
1	9	1
2	13	1
done	13	1
0	12	14
1	26	14
2	61	14
3	155	14
4	462	14
5	1905	14
done	5000	14
0	13	15
1	29	15
2	66	15
3	163	15
4	494	15
5	2005	15
done	5001	15
0	13	15
1	27	15
2	66	15
3	169	15
4	493	15
5	1937	15
done	5000	15
0	14	31
1	28	31
2	63	31
3	154	31
4	462	31
5	1867	31
done	5001	31
0	13	15
1	27	15
2	62	15
3	160	15
4	468	15
5	1850	15
done	5000	15
0	14	44
1	32	29
2	96	16
3	221	16
4	627	14
5	2475	14
done	5000	14
0	13	15
1	27	15
2	64	13
3	162	13
4	465	13
5	1870	13
done	5000	13
0	13	15
1	27	15
2	64	13
3	162	13
4	465	13
5	1870	13
done	5000	13
0	13	16
1	27	14
2	63	12
3	161	12
4	465	12
5	1865	12
done	5000	12
0	13	16
1	27	14
2	63	12
3	161	12
4	465	12
5	1865	12
done	5000	12
0	16	19
1	39	17
2	60	13
3	141	9
4	452	9
5	1711	9
done	5000	9
0	22	31
1	59	27
2	121	23
3	283	21
4	790	19
5	2934	19
done	5000	19
0	25	33
1	64	31
2	137	27
3	428	23
4	1937	23
done	5000	23
0	19	37
1	42	37
2	122	37
3	451	37
4	1895	37
done	5001	37
0	16	19
1	31	19
2	70	19
3	170	19
4	493	19
5	1938	19
done	5000	19
0	16	19
1	31	19
2	70	19
3	170	19
4	493	19
5	1938	19
done	5000	19
0	12	13
1	28	13
2	73	13
3	186	13
4	554	13
5	1272	13
6	4386	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	12	14
1	26	14
2	61	14
3	155	14
4	462	14
5	1905	14
done	5000	14
0	12	14
1	26	14
2	61	14
3	155	14
4	462	14
5	1905	14
done	5000	14
0	12	14
1	26	14
2	61	14
3	155	14
4	462	14
5	1905	14
done	5000	14

prune302.0ms

Filtered

77 candidates to 117 candidates (-51.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	113	4	117
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	114	15	129

Merged error: 0.0b

Counts

129 → 15

regimes644.0ms

Accuracy

-7.2% (2.8b remaining)

Error of 2.9b against oracle of 0.1b and baseline of 2.7b

bsearch2.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	72
1	37	72
done	37	72

end0.0ms

sample2.0s

Algorithm

intervals

Results

690.0ms	8933×	body	80	valid
349.0ms	793×	body	1280	valid
287.0ms	926×	body	640	valid
137.0ms	612×	body	320	valid
46.0ms	299×	body	160	valid

Details

sample80.0ms

simplify3.2s

prune4.0ms

localize14.0ms

rewrite49.0ms

series263.0ms

simplify6.8min

prune325.0ms

localize19.0ms

rewrite54.0ms

series214.0ms

simplify8.1min

prune310.0ms

localize14.0ms

rewrite27.0ms

series185.0ms

simplify2.9min

prune350.0ms

localize14.0ms

rewrite19.0ms

series166.0ms

simplify3.9min

prune302.0ms

regimes644.0ms

bsearch2.0ms

simplify3.0ms

end0.0ms

sample2.0s

Profiling