Details

sample29.0ms

Algorithm

intervals

Results

15.0ms

257×

body

valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	5	8
1	10	6
2	20	6
3	49	6
4	123	6
5	336	6
6	1054	6
7	3941	6
done	5000	6

prune11.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: 28.1b

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(pow x 2.0)
27.0b	(sqrt (* 2 (pow x 2.0)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`add-exp-log` `unpow-prod-down` `pow-unpow`
2×	`add-cbrt-cube` `add-log-exp`
1×	`pow-to-exp` `pow-pow` `sqrt-pow1` `pow1/2` `pow-exp` `sqrt-prod` `sqr-pow`

Counts

2 → 27

Calls

2 calls:

3.0ms	(pow x 2.0)
6.0ms	(sqrt (* 2 (pow x 2.0)))

series108.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(pow x 2.0)
84.0ms	(sqrt (* 2 (pow x 2.0)))

simplify2.8min

Counts

33 → 33

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	990	7
7	3777	7
done	5000	7
0	7	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	990	7
7	3777	7
done	5000	7
0	8	15
1	12	15
2	21	15
3	47	15
4	113	15
5	302	15
6	994	15
7	3758	15
done	5001	15
0	7	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	990	7
7	3777	7
done	5000	7
0	8	20
1	13	12
2	33	8
3	79	8
4	201	8
5	588	8
6	1985	8
done	5000	8
0	2	2
done	2	2
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	3	3
1	6	1
done	6	1
0	7	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	990	7
7	3777	7
done	5000	7
0	7	7
1	11	7
2	20	7
3	46	7
4	113	7
5	299	7
6	990	7
7	3777	7
done	5000	7
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	9	7
2	14	7
3	32	7
4	72	7
5	176	7
6	550	7
7	1957	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
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	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	4	4
1	10	4
2	18	4
3	41	4
4	109	4
5	313	4
6	1095	4
7	4992	4
done	5000	4
0	4	4
1	8	4
2	15	4
3	38	4
4	95	4
5	260	4
6	882	4
7	3688	4
done	5001	4
0	5	9
1	9	9
2	14	9
3	32	9
4	74	9
5	183	9
6	563	9
7	1969	9
done	5000	9
0	4	4
1	8	4
2	13	4
3	31	4
4	73	4
5	180	4
6	552	4
7	1984	4
done	5000	4
0	5	11
1	12	9
2	33	5
3	86	5
4	232	5
5	777	5
6	3669	5
done	5000	5
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	11	11
1	24	10
2	31	8
3	58	6
4	124	6
5	274	6
6	623	6
7	1670	6
done	5000	6
0	15	19
1	36	17
2	65	15
3	138	14
4	296	13
5	719	13
6	1951	13
done	5000	13
0	17	21
1	40	20
2	74	18
3	190	16
4	551	16
5	2490	16
done	5000	16
0	8	8
1	20	7
2	28	5
3	48	3
4	84	3
5	174	3
6	371	3
7	930	3
8	3217	3
done	5000	3
0	9	10
1	19	8
2	35	5
3	71	3
4	123	3
5	267	3
6	619	3
7	1739	3
done	5000	3
0	9	10
1	16	10
2	33	10
3	76	7
4	148	3
5	431	3
6	1888	3
done	5001	3

prune94.0ms

Filtered

25 candidates to 33 candidates (-32.0%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	26	7	33
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	27	7	34

Merged error: 12.4b

Counts

34 → 7

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(pow x 2.0)
27.0b	(pow (* 2 (pow x 2.0)) 1/2)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-exp-log`
6×	`pow-unpow` `pow-exp`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `unpow-prod-down`
3×	`pow-to-exp` `prod-exp`
2×	`pow-pow` `add-cbrt-cube` `add-log-exp` `sqr-pow`
1×	`unpow1/2`

Counts

2 → 36

Calls

2 calls:

2.0ms	(pow x 2.0)
6.0ms	(pow (* 2 (pow x 2.0)) 1/2)

series136.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(pow x 2.0)
113.0ms	(pow (* 2 (pow x 2.0)) 1/2)

simplify3.4min

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	12	9
2	20	9
3	28	9
done	28	9
0	9	9
1	12	9
2	20	9
3	28	9
done	28	9
0	9	9
1	16	9
2	32	9
3	71	9
4	170	9
5	519	9
6	2157	9
done	5001	9
0	8	8
1	16	8
2	36	8
3	86	8
4	228	8
5	694	8
6	2740	8
done	5000	8
0	8	8
1	16	8
2	36	8
3	86	8
4	228	8
5	694	8
6	2740	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	9	11
1	16	11
2	32	11
3	80	11
4	197	11
5	535	11
6	1815	11
done	5000	11
0	8	8
1	15	8
2	29	8
3	73	8
4	176	8
5	463	8
6	1511	8
done	5000	8
0	7	7
1	17	5
2	33	5
3	70	5
4	155	5
5	401	5
6	1290	5
7	4984	5
done	5000	5
0	3	3
1	8	2
2	14	2
3	24	2
4	48	2
5	115	2
6	338	2
7	1259	2
done	5000	2
0	5	5
1	14	4
2	26	4
3	54	4
4	119	4
5	283	4
6	865	4
7	3198	4
done	5000	4
0	8	8
1	19	7
2	41	7
3	97	7
4	260	7
5	858	7
6	4128	7
done	5000	7
0	8	8
1	17	7
2	34	7
3	77	7
4	178	7
5	480	7
6	1622	7
done	5000	7
0	9	17
1	18	15
2	33	15
3	69	15
4	154	15
5	407	15
6	1303	15
7	4968	15
done	5000	15
0	8	8
1	17	7
2	32	7
3	70	7
4	156	7
5	402	7
6	1284	7
7	4966	7
done	5000	7
0	9	23
1	22	14
2	54	8
3	155	7
4	575	7
5	2564	7
done	5001	7
0	8	8
1	17	7
2	33	7
3	71	7
4	158	7
5	406	7
6	1293	7
7	4992	7
done	5000	7
0	8	8
1	17	7
2	33	7
3	71	7
4	158	7
5	406	7
6	1293	7
7	4992	7
done	5000	7
0	8	9
1	17	7
2	32	7
3	70	7
4	156	7
5	401	7
6	1287	7
7	4983	7
done	5000	7
0	8	9
1	17	7
2	32	7
3	70	7
4	156	7
5	401	7
6	1287	7
7	4983	7
done	5000	7
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	9	7
2	14	7
3	32	7
4	72	7
5	176	7
6	550	7
7	1957	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
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	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	4	4
1	10	4
2	18	4
3	41	4
4	109	4
5	313	4
6	1095	4
7	4992	4
done	5000	4
0	4	4
1	8	4
2	15	4
3	38	4
4	95	4
5	260	4
6	882	4
7	3688	4
done	5001	4
0	5	9
1	9	9
2	14	9
3	32	9
4	74	9
5	183	9
6	563	9
7	1969	9
done	5000	9
0	4	4
1	8	4
2	13	4
3	31	4
4	73	4
5	180	4
6	552	4
7	1984	4
done	5000	4
0	5	11
1	12	9
2	33	5
3	86	5
4	232	5
5	777	5
6	3669	5
done	5000	5
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	12	12
1	30	10
2	43	8
3	80	6
4	161	6
5	371	6
6	946	6
7	2951	6
done	5000	6
0	17	20
1	43	17
2	78	15
3	162	14
4	339	13
5	812	13
6	2261	13
done	5000	13
0	19	22
1	48	20
2	90	18
3	225	16
4	620	16
5	2667	16
done	5001	16
0	8	8
1	20	7
2	28	5
3	48	3
4	84	3
5	174	3
6	371	3
7	930	3
8	3217	3
done	5000	3
0	9	10
1	19	8
2	35	5
3	71	3
4	123	3
5	267	3
6	619	3
7	1739	3
done	5000	3
0	9	10
1	16	10
2	33	10
3	76	7
4	148	3
5	431	3
6	1888	3
done	5001	3

prune86.0ms

Filtered

28 candidates to 42 candidates (-50.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	40	2	42
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	41	8	49

Merged error: 12.4b

Counts

49 → 8

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(pow x 2.0)
0.4b	(* (sqrt 2) (sqrt (pow x 2.0)))
27.0b	(sqrt (pow x 2.0))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
27×	`sqrt-prod`
12×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity`
10×	`associate-r`
8×	`unswap-sqr`
6×	`pow1` `add-exp-log` `associate-l` `sqr-pow`
5×	`add-cbrt-cube`
3×	`rem-sqrt-square` `pow-unpow` `pow1/2` `add-log-exp`
2×	`pow-prod-down`
1×	`pow-to-exp` `pow-pow` `sqrt-pow1` `sqrt-unprod` `pow-exp` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

3 → 73

Calls

3 calls:

2.0ms	(pow x 2.0)
9.0ms	(* (sqrt 2) (sqrt (pow x 2.0)))
3.0ms	(sqrt (pow x 2.0))

series173.0ms

Counts

3 → 9

Calls

3 calls:

29.0ms	(pow x 2.0)
72.0ms	(* (sqrt 2) (sqrt (pow x 2.0)))
72.0ms	(sqrt (pow x 2.0))

simplify7.6min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	6	11
1	10	11
2	16	11
3	34	11
4	76	11
5	183	11
6	564	11
7	1989	11
done	5000	11
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	6	14
1	11	8
2	24	6
3	54	6
4	126	6
5	322	6
6	1045	6
7	3850	6
done	5000	6
0	6	8
1	10	8
2	16	8
3	34	8
4	74	8
5	183	8
6	559	8
7	1979	8
done	5000	8
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	5	5
1	9	5
2	15	5
3	33	5
4	73	5
5	175	5
6	555	5
7	1976	5
done	5001	5
0	4	4
1	10	1
2	13	1
3	19	1
4	26	1
5	36	1
6	49	1
7	65	1
8	84	1
9	106	1
10	131	1
11	159	1
12	190	1
13	224	1
14	261	1
15	301	1
16	344	1
17	390	1
18	439	1
19	491	1
20	546	1
21	604	1
22	665	1
23	729	1
24	796	1
25	866	1
26	939	1
27	1015	1
28	1094	1
29	1176	1
30	1261	1
31	1349	1
32	1440	1
33	1534	1
34	1631	1
35	1731	1
36	1834	1
37	1940	1
38	2049	1
39	2161	1
40	2276	1
41	2394	1
42	2515	1
43	2639	1
44	2766	1
45	2896	1
46	3029	1
47	3165	1
48	3304	1
49	3446	1
50	3591	1
51	3739	1
52	3890	1
53	4044	1
54	4201	1
55	4361	1
56	4524	1
57	4690	1
58	4859	1
done	5000	1
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	6	10
1	11	5
2	16	5
3	34	5
4	76	5
5	183	5
6	564	5
7	1975	5
done	5001	5
0	5	5
1	9	5
2	14	5
3	32	5
4	74	5
5	183	5
6	563	5
7	1969	5
done	5000	5
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	2	2
1	4	1
done	4	1
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	6	6
1	9	6
2	18	6
3	39	6
4	87	6
5	214	6
6	716	6
7	2546	6
done	5001	6
0	6	6
1	9	6
2	18	6
3	39	6
4	87	6
5	214	6
6	716	6
7	2546	6
done	5001	6
0	3	3
done	3	3
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	5	5
1	9	5
2	15	5
3	33	5
4	75	5
5	184	5
6	563	5
7	1982	5
done	5000	5
0	5	5
1	9	5
2	18	5
3	44	5
4	110	5
5	293	5
6	989	5
7	3768	5
done	5000	5
0	7	7
1	11	7
2	17	7
3	35	7
4	75	7
5	185	7
6	568	7
7	1987	7
done	5000	7
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	8	8
1	15	8
2	22	8
3	40	8
4	80	8
5	182	8
6	555	8
7	1956	8
done	5001	8
0	8	8
1	14	8
2	25	8
3	51	8
4	112	8
5	271	8
6	763	8
7	2594	8
done	5001	8
0	11	23
1	21	13
2	56	11
3	153	11
4	420	11
5	1323	11
6	4863	11
done	5000	11
0	9	17
1	13	17
2	19	17
3	37	17
4	77	17
5	181	17
6	552	17
7	1976	17
done	5000	17
0	8	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1965	8
done	5000	8
0	9	23
1	23	23
2	58	9
3	130	9
4	329	9
5	1133	9
6	4731	9
done	5000	9
0	5	5
1	9	5
2	18	5
3	44	5
4	110	5
5	293	5
6	989	5
7	3768	5
done	5000	5
0	8	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1965	8
done	5000	8
0	8	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1965	8
done	5000	8
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	182	9
6	561	9
7	1956	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	182	9
6	561	9
7	1956	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	10
1	13	10
2	22	10
3	43	10
4	91	10
5	222	10
6	727	10
7	2539	10
done	5000	10
0	9	10
1	13	10
2	22	10
3	43	10
4	91	10
5	222	10
6	727	10
7	2539	10
done	5000	10
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	182	9
6	561	9
7	1956	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	182	9
6	561	9
7	1956	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	10
1	13	10
2	22	10
3	43	10
4	91	10
5	222	10
6	727	10
7	2539	10
done	5000	10
0	9	10
1	13	10
2	22	10
3	43	10
4	91	10
5	222	10
6	727	10
7	2539	10
done	5000	10
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1971	9
done	5000	9
0	9	14
1	15	14
2	23	14
3	41	14
4	81	14
5	187	14
6	564	14
7	1967	14
done	5000	14
0	9	11
1	13	11
2	19	11
3	37	11
4	77	11
5	182	11
6	561	11
7	1956	11
done	5000	11
0	8	8
1	12	8
2	18	8
3	36	8
4	78	8
5	182	8
6	562	8
7	1975	8
done	5000	8
0	7	7
1	13	4
2	16	4
3	22	2
4	29	2
5	39	2
6	52	2
7	68	2
8	87	2
9	109	2
10	134	2
11	162	2
12	193	2
13	227	2
14	264	2
15	304	2
16	347	2
17	393	2
18	442	2
19	494	2
20	549	2
21	607	2
22	668	2
23	732	2
24	799	2
25	869	2
26	942	2
27	1018	2
28	1097	2
29	1179	2
30	1264	2
31	1352	2
32	1443	2
33	1537	2
34	1634	2
35	1734	2
36	1837	2
37	1943	2
38	2052	2
39	2164	2
40	2279	2
41	2397	2
42	2518	2
43	2642	2
44	2769	2
45	2899	2
46	3032	2
47	3168	2
48	3307	2
49	3449	2
50	3594	2
51	3742	2
52	3893	2
53	4047	2
54	4204	2
55	4364	2
56	4527	2
57	4693	2
58	4862	2
done	5001	2
0	9	13
1	14	8
2	19	8
3	37	8
4	77	8
5	181	8
6	554	8
7	1972	8
done	5000	8
0	8	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1965	8
done	5000	8
0	5	5
1	8	4
done	8	4
0	8	9
1	12	9
2	21	9
3	42	9
4	92	9
5	224	9
6	727	9
7	2539	9
done	5000	9
0	8	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1965	8
done	5000	8
0	4	4
1	7	2
2	10	2
done	10	2
0	8	8
1	12	8
2	18	8
3	36	8
4	78	8
5	182	8
6	562	8
7	1975	8
done	5000	8
0	8	8
1	12	8
2	18	8
3	36	8
4	78	8
5	182	8
6	562	8
7	1975	8
done	5000	8
0	8	8
1	12	8
2	18	8
3	36	8
4	78	8
5	182	8
6	562	8
7	1975	8
done	5000	8
0	7	7
1	11	7
2	17	7
3	35	7
4	75	7
5	185	7
6	568	7
7	1987	7
done	5000	7
0	8	8
1	12	8
2	18	8
3	36	8
4	78	8
5	182	8
6	562	8
7	1975	8
done	5000	8
0	7	7
1	11	7
2	17	7
3	35	7
4	75	7
5	185	7
6	568	7
7	1987	7
done	5000	7
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	5	7
1	9	7
2	16	7
3	40	7
4	97	7
5	254	7
6	865	7
7	3279	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	2153	4
done	5000	4
0	3	3
1	10	1
2	15	1
3	21	1
4	31	1
5	55	1
6	114	1
7	324	1
8	1255	1
done	5000	1
0	5	7
1	9	7
2	14	7
3	32	7
4	72	7
5	176	7
6	550	7
7	1957	7
done	5000	7
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
0	4	4
1	8	4
2	13	4
3	31	4
4	71	4
5	175	4
6	552	4
7	1953	4
done	5000	4
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	3	3
1	7	3
2	12	3
3	30	3
4	72	3
5	183	3
6	568	3
7	1980	3
done	5001	3
0	4	4
1	10	4
2	18	4
3	41	4
4	109	4
5	313	4
6	1095	4
7	4992	4
done	5000	4
0	4	4
1	8	4
2	15	4
3	38	4
4	95	4
5	260	4
6	882	4
7	3688	4
done	5001	4
0	5	9
1	9	9
2	14	9
3	32	9
4	74	9
5	183	9
6	563	9
7	1969	9
done	5000	9
0	4	4
1	8	4
2	13	4
3	31	4
4	73	4
5	180	4
6	552	4
7	1984	4
done	5000	4
0	5	11
1	12	9
2	33	5
3	86	5
4	232	5
5	777	5
6	3669	5
done	5000	5
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	4	4
1	8	4
2	14	4
3	32	4
4	74	4
5	183	4
6	561	4
7	1980	4
done	5001	4
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	5	5
1	8	5
2	16	5
3	37	5
4	85	5
5	214	5
6	724	5
7	2528	5
done	5000	5
0	8	8
1	20	7
2	28	5
3	48	3
4	84	3
5	174	3
6	371	3
7	930	3
8	3217	3
done	5000	3
0	11	14
1	32	11
2	60	9
3	127	7
4	274	5
5	612	5
6	1630	5
done	5001	5
0	15	20
1	43	18
2	85	15
3	254	13
4	790	13
5	3633	13
done	5000	13
0	11	11
1	24	10
2	31	8
3	58	6
4	124	6
5	274	6
6	623	6
7	1670	6
done	5000	6
0	15	19
1	36	17
2	65	15
3	138	14
4	296	13
5	719	13
6	1951	13
done	5000	13
0	17	21
1	40	20
2	74	18
3	190	16
4	551	16
5	2490	16
done	5000	16
0	8	8
1	20	7
2	28	5
3	48	3
4	84	3
5	174	3
6	371	3
7	930	3
8	3217	3
done	5000	3
0	9	10
1	19	8
2	35	5
3	71	3
4	123	3
5	267	3
6	619	3
7	1739	3
done	5000	3
0	9	10
1	16	10
2	33	10
3	76	7
4	148	3
5	431	3
6	1888	3
done	5001	3

prune164.0ms

Filtered

58 candidates to 82 candidates (-41.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	77	5	82
Fresh	5	1	6
Picked	1	0	1
Done	0	1	1
Total	83	7	90

Merged error: 0.1b

Counts

90 → 7

localize7.0ms

Local error

Found 1 expressions with local error:

0.4b	(* (sqrt 2) (fabs (pow x (/ 2.0 2))))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`associate-l`
4×	`add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
3×	`pow1` `add-exp-log` `associate-r` `add-cbrt-cube`
2×	`unswap-sqr`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp`

Counts

1 → 22

Calls

1 calls:

5.0ms

(* (sqrt 2) (fabs (pow x (/ 2.0 2))))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* (sqrt 2) (fabs (pow x (/ 2.0 2))))

simplify1.4min

Counts

25 → 25

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	12	9
2	20	9
3	41	9
4	89	9
5	214	9
6	710	9
7	2518	9
done	5001	9
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	723	11
7	2535	11
done	5000	11
0	9	10
1	16	10
2	25	10
3	46	10
4	96	10
5	227	10
6	727	10
7	2547	10
done	5000	10
0	9	10
1	15	10
2	28	10
3	57	10
4	126	10
5	308	10
6	939	10
7	3161	10
done	5000	10
0	12	29
1	22	25
2	52	13
3	101	13
4	173	13
5	345	13
6	960	13
7	3150	13
done	5000	13
0	10	21
1	14	21
2	22	21
3	43	21
4	91	21
5	224	21
6	723	21
7	2528	21
done	5000	21
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	721	10
7	2546	10
done	5000	10
0	10	29
1	24	29
2	61	11
3	126	11
4	191	11
5	358	11
6	983	11
7	3244	11
done	5000	11
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	721	10
7	2546	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	721	10
7	2546	10
done	5000	10
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	723	11
7	2535	11
done	5000	11
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	723	11
7	2535	11
done	5000	11
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	723	11
7	2535	11
done	5000	11
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	723	11
7	2535	11
done	5000	11
0	10	18
1	16	18
2	26	18
3	47	18
4	97	18
5	227	18
6	727	18
7	2557	18
done	5001	18
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	721	10
7	2546	10
done	5000	10
0	4	4
1	7	2
2	10	2
done	10	2
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	718	10
7	2519	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	718	10
7	2519	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	718	10
7	2519	10
done	5000	10
0	8	9
1	12	9
2	20	9
3	41	9
4	89	9
5	214	9
6	710	9
7	2518	9
done	5001	9
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	718	10
7	2519	10
done	5000	10
0	8	9
1	12	9
2	20	9
3	41	9
4	89	9
5	214	9
6	710	9
7	2518	9
done	5001	9
0	7	7
1	11	7
2	16	7
3	34	7
4	76	7
5	185	7
6	565	7
7	1981	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	76	7
5	185	7
6	565	7
7	1981	7
done	5000	7
0	7	7
1	11	7
2	16	7
3	34	7
4	76	7
5	185	7
6	565	7
7	1981	7
done	5000	7

prune52.0ms

Filtered

18 candidates to 25 candidates (-38.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	20	5	25
Fresh	5	0	5
Picked	0	1	1
Done	0	1	1
Total	25	7	32

Merged error: 0.0b

Counts

32 → 7

regimes108.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	13	18
done	13	18

end0.0ms

sample561.0ms

Algorithm

intervals

Results

403.0ms

8006×

body

valid

Details

sample29.0ms

simplify5.2s

prune11.0ms

localize8.0ms

rewrite17.0ms

series108.0ms

simplify2.8min

prune94.0ms

localize8.0ms

rewrite9.0ms

series136.0ms

simplify3.4min

prune86.0ms

localize7.0ms

rewrite16.0ms

series173.0ms

simplify7.6min

prune164.0ms

localize7.0ms

rewrite6.0ms

series7.0ms

simplify1.4min

prune52.0ms

regimes108.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample561.0ms

Profiling