Details

sample66.0ms

Algorithm

intervals

Results

27.0ms	254×	body	80	valid
3.0ms	5×	body	1280	valid
2.0ms	4×	body	640	valid
2.0ms	6×	body	320	valid
1.0ms	1×	body	2560	valid
0.0ms	1×	body	160	valid

simplify3.3s

Counts

1 → 1

Iterations

Useful iterations: 4 (70.0ms)

Iter	Nodes	Cost
0	21	29
1	50	29
2	92	29
3	195	29
4	428	28
5	1228	28
6	4581	28
done	5001	28

prune14.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 16.4b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
0.0b	(* K (+ m n))
0.0b	(pow (- (/ (+ m n) 2.0) M) 2.0)
33.5b	(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
15×	`add-sqr-sqrt`
9×	`add-log-exp`
8×	`add-cube-cbrt`
7×	`pow1` `add-exp-log`
6×	`unpow-prod-down` `add-cbrt-cube`
4×	`associate-r`
3×	`pow-unpow` `associate-l` `distribute-lft-out`
2×	`sub-neg` `cos-sum` `associate-+r+` `flip3-+` `associate-*r/` `sum-log` `flip-+` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `distribute-rgt-in` `cos-diff` `pow-to-exp` `associate-+r-` `pow-pow` `distribute-lft-in` `times-frac` `diff-log` `pow-prod-down` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr` `sqr-pow`

Counts

4 → 70

Calls

4 calls:

19.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
7.0ms	(* K (+ m n))
19.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)
10.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))

series130.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
7.0ms	(* K (+ m n))
51.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)
24.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))

simplify5.1min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	23
1	24	23
2	30	23
3	41	23
4	56	23
5	66	23
6	74	23
7	88	23
8	130	23
9	207	23
10	369	23
11	413	23
12	449	23
13	480	23
14	481	23
done	481	23
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	32
1	25	32
2	33	12
3	49	12
4	70	12
5	90	12
6	119	12
7	194	12
8	431	12
9	1434	12
done	5000	12
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	9	10
1	13	10
2	14	10
done	14	10
0	9	10
1	13	10
2	14	10
done	14	10
0	3	3
1	6	1
done	6	1
0	10	13
1	17	13
2	25	13
3	49	13
4	108	13
5	268	13
6	878	13
7	3353	13
done	5000	13
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	2197	10
done	5000	10
0	9	9
1	19	7
2	27	7
3	38	7
4	60	7
5	124	7
6	332	7
7	1258	7
done	5000	7
0	10	19
1	17	19
2	23	19
3	41	19
4	81	19
5	192	19
6	568	19
7	1977	19
done	5000	19
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	1990	10
done	5000	10
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	1990	10
done	5000	10
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	1990	10
done	5000	10
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	8	9
1	15	9
2	21	9
3	39	9
4	79	9
5	185	9
6	562	9
7	1979	9
done	5000	9
0	10	11
1	16	11
2	21	11
3	39	11
4	79	11
5	190	11
6	571	11
7	1988	11
done	5001	11
0	10	11
1	17	11
2	23	11
3	41	11
4	81	11
5	192	11
6	568	11
7	1977	11
done	5000	11
0	11	12
1	17	12
2	22	12
3	40	12
4	80	12
5	184	12
6	558	12
7	1964	12
done	5000	12
0	11	12
1	18	12
2	24	12
3	42	12
4	82	12
5	186	12
6	556	12
7	1964	12
done	5001	12
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	8	9
1	15	9
2	21	9
3	39	9
4	79	9
5	185	9
6	562	9
7	1979	9
done	5000	9
0	9	10
1	18	10
2	27	10
3	50	10
4	116	10
5	321	10
6	1111	10
done	5000	10
0	9	10
1	16	10
2	24	10
3	47	10
4	102	10
5	268	10
6	880	10
7	3677	10
done	5001	10
0	10	21
1	17	21
2	23	21
3	41	21
4	81	21
5	188	21
6	558	21
7	1972	21
done	5000	21
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	184	10
6	562	10
7	1969	10
done	5000	10
0	10	29
1	20	21
2	42	11
3	97	11
4	251	11
5	807	11
6	3674	11
done	5000	11
0	9	10
1	16	10
2	23	10
3	41	10
4	81	10
5	189	10
6	564	10
7	1968	10
done	5001	10
0	9	10
1	16	10
2	23	10
3	41	10
4	81	10
5	189	10
6	564	10
7	1968	10
done	5001	10
0	10	11
1	16	11
2	25	11
3	46	11
4	96	11
5	232	11
6	740	11
7	2572	11
done	5001	11
0	10	11
1	16	11
2	25	11
3	46	11
4	96	11
5	232	11
6	740	11
7	2572	11
done	5001	11
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
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	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
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	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	16	19
1	30	18
2	50	17
3	89	17
4	183	17
5	436	17
6	1525	17
done	5001	17
0	15	18
1	32	17
2	52	17
3	96	17
4	193	17
5	459	17
6	1626	17
done	5001	17
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	14	17
1	31	17
2	55	17
3	102	17
4	203	17
5	522	17
6	1958	17
done	5001	17
0	15	35
1	29	35
2	43	35
3	70	35
4	127	35
5	308	35
6	1105	35
7	4933	35
done	5000	35
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	15	50
1	42	50
2	110	18
3	429	18
4	2338	18
done	5000	18
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	16	20
1	40	20
2	83	20
3	193	20
4	560	20
5	1984	20
done	5000	20
0	17	50
1	38	35
2	89	35
3	253	35
4	875	35
5	3451	35
done	5000	35
0	15	33
1	33	25
2	68	25
3	177	25
4	569	25
5	2086	25
done	5001	25
0	13	16
1	28	16
2	43	16
3	74	16
4	121	16
5	238	16
6	663	16
7	2635	16
done	5001	16
0	13	16
1	27	16
2	41	16
3	68	16
4	125	16
5	312	16
6	1120	16
7	4861	16
done	5000	16
0	13	16
1	27	16
2	41	16
3	68	16
4	125	16
5	312	16
6	1120	16
7	4861	16
done	5000	16
0	10	11
1	18	11
2	24	11
3	42	11
4	82	11
5	193	11
6	582	11
7	1993	11
done	5000	11
0	10	11
1	18	11
2	24	11
3	42	11
4	82	11
5	193	11
6	582	11
7	1993	11
done	5000	11
0	10	11
1	18	11
2	24	11
3	42	11
4	82	11
5	193	11
6	582	11
7	1993	11
done	5000	11
0	1	1
1	3	1
done	3	1
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	22	35
1	59	30
2	107	20
3	265	17
4	914	15
5	2973	14
done	5001	14
0	10	10
1	21	9
2	37	8
3	75	8
4	148	5
5	311	5
6	701	5
7	2196	5
done	5000	5
0	11	11
1	19	11
2	36	11
3	77	11
4	168	8
5	391	8
6	889	7
7	2564	5
done	5000	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	11	12
1	24	12
2	48	12
3	59	12
4	71	12
5	102	12
6	165	12
7	290	12
8	524	12
9	1457	12
done	5000	12
0	12	15
1	32	13
2	69	11
3	142	11
4	262	9
5	364	9
6	589	9
7	822	9
8	1095	9
9	2028	9
done	5001	9
0	12	15
1	32	13
2	69	11
3	142	11
4	262	9
5	364	9
6	589	9
7	822	9
8	1095	9
9	2028	9
done	5001	9

prune205.0ms

Filtered

63 candidates to 82 candidates (-30.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	78	4	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	4	83

Merged error: 0.8b

Counts

83 → 4

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
0.0b	(pow (- (/ (+ m n) 2.0) M) 2.0)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

11×	`*-un-lft-identity`
9×	`add-sqr-sqrt`
7×	`add-log-exp`
6×	`unpow-prod-down`
4×	`add-cube-cbrt`
3×	`pow1` `add-exp-log` `pow-unpow`
2×	`associate-+r+` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `pow-to-exp` `associate-+r-` `sub-neg` `pow-pow` `flip3-+` `times-frac` `diff-log` `pow-exp` `flip-+` `sqr-pow`

Counts

2 → 37

Calls

2 calls:

20.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
12.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)

series97.0ms

Counts

2 → 6

Calls

2 calls:

47.0ms	(+ (pow (- (/ (+ m n) 2.0) M) 2.0) (- l (fabs (- m n))))
51.0ms	(pow (- (/ (+ m n) 2.0) M) 2.0)

simplify4.7min

Counts

43 → 43

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	13	10
2	14	10
done	14	10
0	9	10
1	13	10
2	14	10
done	14	10
0	3	3
1	6	1
done	6	1
0	10	13
1	17	13
2	25	13
3	49	13
4	108	13
5	268	13
6	878	13
7	3353	13
done	5000	13
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	2197	10
done	5000	10
0	9	9
1	19	7
2	27	7
3	38	7
4	60	7
5	124	7
6	332	7
7	1258	7
done	5000	7
0	10	19
1	17	19
2	23	19
3	41	19
4	81	19
5	192	19
6	568	19
7	1977	19
done	5000	19
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	1990	10
done	5000	10
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	1990	10
done	5000	10
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	188	10
6	571	10
7	1990	10
done	5000	10
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	8	9
1	15	9
2	21	9
3	39	9
4	79	9
5	185	9
6	562	9
7	1979	9
done	5000	9
0	10	11
1	16	11
2	21	11
3	39	11
4	79	11
5	190	11
6	571	11
7	1988	11
done	5001	11
0	10	11
1	17	11
2	23	11
3	41	11
4	81	11
5	192	11
6	568	11
7	1977	11
done	5000	11
0	11	12
1	17	12
2	22	12
3	40	12
4	80	12
5	184	12
6	558	12
7	1964	12
done	5000	12
0	11	12
1	18	12
2	24	12
3	42	12
4	82	12
5	186	12
6	556	12
7	1964	12
done	5001	12
0	3	3
1	9	1
2	12	1
3	18	1
4	25	1
5	35	1
6	48	1
7	64	1
8	83	1
9	105	1
10	130	1
11	158	1
12	189	1
13	223	1
14	260	1
15	300	1
16	343	1
17	389	1
18	438	1
19	490	1
20	545	1
21	603	1
22	664	1
23	728	1
24	795	1
25	865	1
26	938	1
27	1014	1
28	1093	1
29	1175	1
30	1260	1
31	1348	1
32	1439	1
33	1533	1
34	1630	1
35	1730	1
36	1833	1
37	1939	1
38	2048	1
39	2160	1
40	2275	1
41	2393	1
42	2514	1
43	2638	1
44	2765	1
45	2895	1
46	3028	1
47	3164	1
48	3303	1
49	3445	1
50	3590	1
51	3738	1
52	3889	1
53	4043	1
54	4200	1
55	4360	1
56	4523	1
57	4689	1
58	4858	1
done	5000	1
0	8	9
1	15	9
2	21	9
3	39	9
4	79	9
5	185	9
6	562	9
7	1979	9
done	5000	9
0	9	10
1	18	10
2	27	10
3	50	10
4	116	10
5	321	10
6	1111	10
done	5000	10
0	9	10
1	16	10
2	24	10
3	47	10
4	102	10
5	268	10
6	880	10
7	3677	10
done	5001	10
0	10	21
1	17	21
2	23	21
3	41	21
4	81	21
5	188	21
6	558	21
7	1972	21
done	5000	21
0	9	10
1	16	10
2	22	10
3	40	10
4	80	10
5	184	10
6	562	10
7	1969	10
done	5000	10
0	10	29
1	20	21
2	42	11
3	97	11
4	251	11
5	807	11
6	3674	11
done	5000	11
0	9	10
1	16	10
2	23	10
3	41	10
4	81	10
5	189	10
6	564	10
7	1968	10
done	5001	10
0	9	10
1	16	10
2	23	10
3	41	10
4	81	10
5	189	10
6	564	10
7	1968	10
done	5001	10
0	10	11
1	16	11
2	25	11
3	46	11
4	96	11
5	232	11
6	740	11
7	2572	11
done	5001	11
0	10	11
1	16	11
2	25	11
3	46	11
4	96	11
5	232	11
6	740	11
7	2572	11
done	5001	11
0	16	19
1	30	18
2	50	17
3	89	17
4	183	17
5	436	17
6	1525	17
done	5001	17
0	15	18
1	32	17
2	52	17
3	96	17
4	193	17
5	459	17
6	1626	17
done	5001	17
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	14	17
1	31	17
2	55	17
3	102	17
4	203	17
5	522	17
6	1958	17
done	5001	17
0	15	35
1	29	35
2	43	35
3	70	35
4	127	35
5	308	35
6	1105	35
7	4933	35
done	5000	35
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	15	50
1	42	50
2	110	18
3	429	18
4	2338	18
done	5000	18
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	14	17
1	28	17
2	42	17
3	69	17
4	126	17
5	307	17
6	1116	17
7	4804	17
done	5000	17
0	16	20
1	40	20
2	83	20
3	193	20
4	560	20
5	1984	20
done	5000	20
0	17	50
1	38	35
2	89	35
3	253	35
4	875	35
5	3451	35
done	5000	35
0	15	33
1	33	25
2	68	25
3	177	25
4	569	25
5	2086	25
done	5001	25
0	13	16
1	28	16
2	43	16
3	74	16
4	121	16
5	238	16
6	663	16
7	2635	16
done	5001	16
0	13	16
1	27	16
2	41	16
3	68	16
4	125	16
5	312	16
6	1120	16
7	4861	16
done	5000	16
0	13	16
1	27	16
2	41	16
3	68	16
4	125	16
5	312	16
6	1120	16
7	4861	16
done	5000	16
0	10	11
1	18	11
2	24	11
3	42	11
4	82	11
5	193	11
6	582	11
7	1993	11
done	5000	11
0	10	11
1	18	11
2	24	11
3	42	11
4	82	11
5	193	11
6	582	11
7	1993	11
done	5000	11
0	10	11
1	18	11
2	24	11
3	42	11
4	82	11
5	193	11
6	582	11
7	1993	11
done	5000	11
0	22	35
1	59	30
2	107	20
3	265	17
4	914	15
5	2973	14
done	5001	14
0	10	10
1	21	9
2	37	8
3	75	8
4	148	5
5	311	5
6	701	5
7	2196	5
done	5000	5
0	11	11
1	19	11
2	36	11
3	77	11
4	168	8
5	391	8
6	889	7
7	2564	5
done	5000	5
0	11	12
1	24	12
2	48	12
3	59	12
4	71	12
5	102	12
6	165	12
7	290	12
8	524	12
9	1457	12
done	5000	12
0	12	15
1	32	13
2	69	11
3	142	11
4	262	9
5	364	9
6	589	9
7	822	9
8	1095	9
9	2028	9
done	5001	9
0	12	15
1	32	13
2	69	11
3	142	11
4	262	9
5	364	9
6	589	9
7	822	9
8	1095	9
9	2028	9
done	5001	9

prune104.0ms

Filtered

33 candidates to 43 candidates (-30.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.8b

Counts

47 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (cos (- (/ (* K (+ m n)) 2.0) M)))
33.5b	(cos (- (/ (* K (+ m n)) 2.0) M))
33.5b	(cos (- (/ (* K (+ m n)) 2.0) M))
33.5b	(cos (- (/ (* K (+ m n)) 2.0) M))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cos-sum`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`cbrt-prod` `cos-diff` `sub-neg`
1×	`pow1/3`

Counts

4 → 41

Calls

4 calls:

2.0ms	(cbrt (cos (- (/ (* K (+ m n)) 2.0) M)))
11.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))
15.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))
10.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))

series144.0ms

Counts

4 → 12

Calls

4 calls:

71.0ms	(cbrt (cos (- (/ (* K (+ m n)) 2.0) M)))
25.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))
25.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))
24.0ms	(cos (- (/ (* K (+ m n)) 2.0) M))

simplify38.0s

Counts

53 → 53

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	23
1	24	23
2	30	23
3	41	23
4	56	23
5	66	23
6	74	23
7	88	23
8	130	23
9	207	23
10	369	23
11	413	23
12	449	23
13	480	23
14	481	23
done	481	23
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	32
1	25	32
2	33	12
3	49	12
4	70	12
5	90	12
6	119	12
7	194	12
8	431	12
9	1434	12
done	5000	12
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	23
1	24	23
2	30	23
3	41	23
4	56	23
5	66	23
6	74	23
7	88	23
8	130	23
9	207	23
10	369	23
11	413	23
12	449	23
13	480	23
14	481	23
done	481	23
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	32
1	25	32
2	33	12
3	49	12
4	70	12
5	90	12
6	119	12
7	194	12
8	431	12
9	1434	12
done	5000	12
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	12	12
1	24	11
2	29	11
3	40	11
4	43	11
5	49	11
6	53	11
7	59	11
8	61	11
done	61	11
0	12	12
1	25	12
2	34	12
3	48	12
4	51	12
5	57	12
6	61	12
7	67	12
8	69	12
done	69	12
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	22	11
2	27	11
3	38	11
4	41	11
5	47	11
6	51	11
7	57	11
8	59	11
done	59	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	23
1	24	23
2	30	23
3	41	23
4	56	23
5	66	23
6	74	23
7	88	23
8	130	23
9	207	23
10	369	23
11	413	23
12	449	23
13	480	23
14	481	23
done	481	23
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	32
1	25	32
2	33	12
3	49	12
4	70	12
5	90	12
6	119	12
7	194	12
8	431	12
9	1434	12
done	5000	12
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	13	24
1	25	24
2	31	24
3	42	24
4	57	24
5	67	24
6	75	24
7	89	24
8	131	24
9	208	24
10	370	24
11	414	24
12	450	24
13	481	24
14	482	24
done	482	24
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	2	2
1	4	1
done	4	1
0	11	11
1	23	11
2	29	11
3	40	11
4	55	11
5	63	11
6	71	11
7	85	11
8	127	11
9	204	11
10	366	11
11	410	11
12	446	11
13	481	11
14	482	11
done	482	11
0	13	25
1	25	25
2	31	25
3	42	25
4	57	25
5	67	25
6	75	25
7	89	25
8	131	25
9	208	25
10	370	25
11	414	25
12	450	25
13	481	25
14	482	25
done	482	25
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	13	35
1	26	35
2	34	13
3	50	10
4	71	10
5	91	10
6	120	10
7	194	10
8	446	10
9	1438	10
done	5001	10
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	12	12
1	24	12
2	30	12
3	41	12
4	56	12
5	66	12
6	74	12
7	88	12
8	130	12
9	207	12
10	369	12
11	413	12
12	449	12
13	480	12
14	481	12
done	481	12
0	1	1
1	3	1
done	3	1
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	1	1
1	3	1
done	3	1
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	1	1
1	3	1
done	3	1
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	3	3
1	11	1
done	11	1
0	14	16
1	35	13
2	62	11
3	87	11
4	122	11
5	216	11
6	500	11
7	1567	11
done	5000	11
0	14	16
1	35	13
2	62	11
3	87	11
4	122	11
5	216	11
6	500	11
7	1567	11
done	5000	11

prune205.0ms

Filtered

44 candidates to 53 candidates (-20.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	53	4	57

Merged error: 0.8b

Counts

57 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ m n))
0.5b	(cbrt (+ m n))
0.5b	(cbrt (+ m n))
33.6b	(cos (- (/ (* (* K (* (cbrt (+ m n)) (cbrt (+ m n)))) (cbrt (+ m n))) 2.0) M))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
12×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`cbrt-div`
4×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`flip3-+` `pow1/3` `flip-+` `distribute-lft-out`
2×	`cos-sum`
1×	`cos-diff` `sub-neg`

Counts

4 → 52

Calls

4 calls:

4.0ms	(cbrt (+ m n))
4.0ms	(cbrt (+ m n))
4.0ms	(cbrt (+ m n))
24.0ms	(cos (- (/ (* (* K (* (cbrt (+ m n)) (cbrt (+ m n)))) (cbrt (+ m n))) 2.0) M))

series149.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(cbrt (+ m n))
42.0ms	(cbrt (+ m n))
37.0ms	(cbrt (+ m n))
33.0ms	(cos (- (/ (* (* K (* (cbrt (+ m n)) (cbrt (+ m n)))) (cbrt (+ m n))) 2.0) M))

simplify1.8min

Counts

64 → 64

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	23
1	26	22
2	44	22
3	73	14
4	111	11
5	167	11
6	213	11
7	357	11
8	814	11
9	2553	11
done	5000	11
0	15	23
1	27	23
2	49	23
3	81	15
4	120	12
5	176	12
6	226	12
7	366	12
8	826	12
9	2573	12
done	5000	12
0	15	23
1	26	22
2	44	22
3	73	14
4	111	11
5	167	11
6	213	11
7	357	11
8	814	11
9	2553	11
done	5000	11
0	15	23
1	27	23
2	49	23
3	81	15
4	120	12
5	176	12
6	226	12
7	366	12
8	826	12
9	2573	12
done	5000	12
0	14	22
1	24	22
2	42	22
3	71	14
4	109	11
5	165	11
6	213	11
7	353	11
8	815	11
9	2549	11
done	5000	11
0	14	22
1	24	22
2	42	22
3	71	14
4	109	11
5	165	11
6	213	11
7	353	11
8	815	11
9	2549	11
done	5000	11
0	14	22
1	25	22
2	44	22
3	73	14
4	111	11
5	167	11
6	225	11
7	371	11
8	831	11
9	2581	11
done	5000	11
0	14	22
1	25	22
2	44	22
3	73	14
4	111	11
5	167	11
6	225	11
7	371	11
8	831	11
9	2581	11
done	5000	11
0	15	45
1	26	45
2	45	45
3	74	29
4	112	23
5	168	23
6	230	23
7	376	23
8	840	23
9	2591	23
done	5000	23
0	14	22
1	25	22
2	44	22
3	73	14
4	111	11
5	167	11
6	225	11
7	371	11
8	831	11
9	2581	11
done	5000	11
0	15	65
1	27	65
2	48	23
3	81	15
4	122	12
5	184	12
6	263	12
7	461	12
8	1121	12
9	3769	12
done	5001	12
0	14	22
1	25	22
2	44	22
3	73	14
4	111	11
5	167	11
6	225	11
7	371	11
8	831	11
9	2581	11
done	5000	11
0	14	22
1	25	22
2	44	22
3	73	14
4	111	11
5	167	11
6	225	11
7	371	11
8	831	11
9	2581	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
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	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
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	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	10
1	7	10
done	7	10
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	2	2
1	4	1
done	4	1
0	4	4
1	5	4
done	5	4
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	208	8
6	613	8
7	2441	8
done	5000	8
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	4	4
1	6	4
2	7	4
done	7	4
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	3
4	21	3
5	31	3
6	54	3
7	110	3
8	319	3
9	1259	3
done	5001	3
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	1	1
1	3	1
done	3	1
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	12	14
1	27	12
2	48	10
3	65	10
4	76	10
5	103	10
6	179	10
7	328	10
8	453	10
9	504	10
10	539	10
11	541	10
done	541	10
0	27	40
1	66	37
2	154	31
3	489	22
4	1546	18
done	5000	18
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	27	40
1	66	37
2	154	31
3	489	22
4	1546	18
done	5000	18
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	27	40
1	66	37
2	154	31
3	489	22
4	1546	18
done	5000	18
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune128.0ms

Filtered

49 candidates to 64 candidates (-30.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	64	4	68

Merged error: 0.8b

Counts

68 → 4

regimes389.0ms

Accuracy

0% (0.2b remaining)

Error of 1.5b against oracle of 1.3b and baseline of 1.5b

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	19
1	20	19
done	20	19

end0.0ms

sample1.7s

Algorithm

intervals

Results

901.0ms	8065×	body	80	valid
90.0ms	179×	body	640	valid
76.0ms	120×	body	1280	valid
42.0ms	112×	body	320	valid
15.0ms	65×	body	160	valid
3.0ms	3×	body	2560	valid

Details

sample66.0ms

simplify3.3s

prune14.0ms

localize22.0ms

rewrite57.0ms

series130.0ms

simplify5.1min

prune205.0ms

localize15.0ms

rewrite33.0ms

series97.0ms

simplify4.7min

prune104.0ms

localize27.0ms

rewrite39.0ms

series144.0ms

simplify38.0s

prune205.0ms

localize27.0ms

rewrite37.0ms

series149.0ms

simplify1.8min

prune128.0ms

regimes389.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.7s

Profiling