Details

sample25.0ms

Algorithm

intervals

Results

12.0ms

257×

body

valid

simplify4.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	5	6
1	10	6
2	19	6
3	47	6
4	114	6
5	306	6
6	996	6
7	3780	6
done	5000	6

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

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

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

rewrite11.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:

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

series112.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(pow x 2.0)
89.0ms	(sqrt (* 2.0 (pow x 2.0)))

simplify2.8min

Counts

33 → 33

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	308	7
6	999	7
7	3776	7
done	5001	7
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	308	7
6	999	7
7	3776	7
done	5001	7
0	7	15
1	12	15
2	21	15
3	49	15
4	115	15
5	306	15
6	991	15
7	3761	15
done	5000	15
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	308	7
6	999	7
7	3776	7
done	5001	7
0	7	20
1	13	12
2	33	8
3	77	8
4	196	8
5	577	8
6	2066	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	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	308	7
6	999	7
7	3776	7
done	5001	7
0	6	7
1	11	7
2	20	7
3	46	7
4	113	7
5	308	7
6	999	7
7	3776	7
done	5001	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	32	8
3	59	6
4	125	6
5	275	6
6	624	6
7	1681	6
done	5000	6
0	15	19
1	37	17
2	66	15
3	137	14
4	295	13
5	718	13
6	1959	13
done	5000	13
0	17	21
1	41	20
2	75	18
3	191	16
4	552	16
5	2490	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

prune90.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

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(pow x 2.0)
27.0b	(pow (* 2.0 (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.0 (pow x 2.0)) 1/2)

series139.0ms

Counts

2 → 6

Calls

2 calls:

24.0ms	(pow x 2.0)
115.0ms	(pow (* 2.0 (pow x 2.0)) 1/2)

simplify3.4min

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	11	9
2	19	9
3	27	9
4	31	9
done	31	9
0	8	9
1	11	9
2	19	9
3	27	9
4	31	9
done	31	9
0	8	9
1	16	9
2	32	9
3	71	9
4	170	9
5	517	9
6	2159	9
done	5000	9
0	7	8
1	16	8
2	36	8
3	84	8
4	230	8
5	690	8
6	2737	8
done	5000	8
0	7	8
1	16	8
2	36	8
3	84	8
4	230	8
5	690	8
6	2737	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	8	11
1	16	11
2	32	11
3	80	11
4	197	11
5	534	11
6	1831	11
done	5001	11
0	7	8
1	15	8
2	29	8
3	71	8
4	173	8
5	453	8
6	1496	8
done	5000	8
0	6	7
1	17	5
2	33	5
3	72	5
4	159	5
5	407	5
6	1296	5
7	4982	5
done	5000	5
0	3	3
1	9	2
2	15	2
3	25	2
4	49	2
5	114	2
6	337	2
7	1273	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	7	8
1	19	7
2	41	7
3	97	7
4	262	7
5	858	7
6	4122	7
done	5001	7
0	7	8
1	17	7
2	34	7
3	75	7
4	176	7
5	482	7
6	1628	7
done	5000	7
0	8	17
1	18	15
2	33	15
3	69	15
4	157	15
5	402	15
6	1302	15
7	4986	15
done	5000	15
0	7	8
1	17	7
2	32	7
3	68	7
4	154	7
5	396	7
6	1293	7
7	4985	7
done	5000	7
0	8	23
1	22	14
2	54	8
3	153	7
4	557	7
5	2528	7
done	5000	7
0	7	8
1	17	7
2	33	7
3	69	7
4	157	7
5	400	7
6	1304	7
7	4981	7
done	5000	7
0	7	8
1	17	7
2	33	7
3	69	7
4	157	7
5	400	7
6	1304	7
7	4981	7
done	5000	7
0	8	9
1	17	7
2	32	7
3	68	7
4	156	7
5	396	7
6	1294	7
7	4973	7
done	5000	7
0	8	9
1	17	7
2	32	7
3	68	7
4	156	7
5	396	7
6	1294	7
7	4973	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	12
1	30	10
2	43	8
3	80	6
4	168	6
5	378	6
6	962	6
7	2938	6
done	5000	6
0	16	20
1	43	17
2	78	15
3	162	14
4	339	13
5	812	13
6	2258	13
done	5001	13
0	18	22
1	48	20
2	90	18
3	225	16
4	621	16
5	2657	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

prune93.0ms

Filtered

29 candidates to 42 candidates (-44.8%)

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

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.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:

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

series170.0ms

Counts

3 → 9

Calls

3 calls:

23.0ms	(pow x 2.0)
81.0ms	(* (sqrt 2.0) (sqrt (pow x 2.0)))
66.0ms	(sqrt (pow x 2.0))

simplify7.7min

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	4	5
1	9	5
2	18	5
3	44	5
4	112	5
5	303	5
6	998	5
7	3763	5
done	5001	5
0	6	7
1	11	7
2	17	7
3	35	7
4	75	7
5	183	7
6	564	7
7	1979	7
done	5000	7
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	7	8
1	15	8
2	22	8
3	40	8
4	80	8
5	182	8
6	557	8
7	1959	8
done	5000	8
0	7	8
1	14	8
2	25	8
3	51	8
4	112	8
5	271	8
6	766	8
7	2561	8
done	5000	8
0	10	23
1	21	13
2	56	11
3	157	11
4	446	11
5	1373	11
6	4831	11
done	5000	11
0	8	17
1	13	17
2	19	17
3	37	17
4	77	17
5	182	17
6	564	17
7	1989	17
done	5001	17
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	182	8
6	561	8
7	1967	8
done	5000	8
0	8	23
1	23	23
2	58	9
3	129	9
4	328	9
5	1120	9
6	4520	9
done	5000	9
0	4	5
1	9	5
2	18	5
3	44	5
4	112	5
5	303	5
6	998	5
7	3763	5
done	5001	5
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	182	8
6	561	8
7	1967	8
done	5000	8
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	182	8
6	561	8
7	1967	8
done	5000	8
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1972	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1972	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	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	2551	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	2551	10
done	5000	10
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1972	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	183	9
6	557	9
7	1972	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	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	2551	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	2551	10
done	5000	10
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	8	9
1	13	9
2	19	9
3	37	9
4	77	9
5	181	9
6	552	9
7	1979	9
done	5000	9
0	8	14
1	15	14
2	23	14
3	41	14
4	81	14
5	183	14
6	556	14
7	1968	14
done	5001	14
0	8	11
1	13	11
2	19	11
3	37	11
4	77	11
5	183	11
6	557	11
7	1972	11
done	5000	11
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1969	8
done	5000	8
0	6	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	5000	2
0	8	13
1	14	8
2	19	8
3	37	8
4	77	8
5	182	8
6	564	8
7	1996	8
done	5000	8
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	182	8
6	561	8
7	1967	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	2511	9
done	5000	9
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	182	8
6	561	8
7	1967	8
done	5000	8
0	4	4
1	7	2
2	10	2
done	10	2
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1969	8
done	5000	8
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1969	8
done	5000	8
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1969	8
done	5000	8
0	6	7
1	11	7
2	17	7
3	35	7
4	75	7
5	183	7
6	564	7
7	1979	7
done	5000	7
0	7	8
1	12	8
2	18	8
3	36	8
4	76	8
5	186	8
6	569	8
7	1969	8
done	5000	8
0	6	7
1	11	7
2	17	7
3	35	7
4	75	7
5	183	7
6	564	7
7	1979	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	32	8
3	59	6
4	125	6
5	275	6
6	624	6
7	1681	6
done	5000	6
0	15	19
1	37	17
2	66	15
3	137	14
4	295	13
5	718	13
6	1959	13
done	5000	13
0	17	21
1	41	20
2	75	18
3	191	16
4	552	16
5	2490	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

prune161.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

localize9.0ms

Local error

Found 1 expressions with local error:

0.4b	(* (sqrt 2.0) (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.0) (fabs (pow x (/ 2.0 2))))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(* (sqrt 2.0) (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	2507	9
done	5001	9
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	722	11
7	2539	11
done	5001	11
0	9	10
1	16	10
2	25	10
3	46	10
4	96	10
5	227	10
6	727	10
7	2556	10
done	5000	10
0	9	10
1	15	10
2	28	10
3	57	10
4	126	10
5	308	10
6	940	10
7	3163	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	3158	13
done	5000	13
0	10	21
1	14	21
2	22	21
3	43	21
4	91	21
5	224	21
6	722	21
7	2542	21
done	5001	21
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	720	10
7	2518	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	3232	11
done	5000	11
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	720	10
7	2518	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	720	10
7	2518	10
done	5000	10
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	722	11
7	2539	11
done	5001	11
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	722	11
7	2539	11
done	5001	11
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	722	11
7	2539	11
done	5001	11
0	10	11
1	14	11
2	22	11
3	43	11
4	91	11
5	222	11
6	722	11
7	2539	11
done	5001	11
0	10	18
1	16	18
2	26	18
3	47	18
4	97	18
5	227	18
6	728	18
7	2557	18
done	5000	18
0	9	10
1	13	10
2	21	10
3	42	10
4	92	10
5	221	10
6	720	10
7	2518	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	719	10
7	2524	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	719	10
7	2524	10
done	5000	10
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	719	10
7	2524	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	2507	9
done	5001	9
0	9	10
1	13	10
2	21	10
3	42	10
4	90	10
5	222	10
6	719	10
7	2524	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	2507	9
done	5001	9
0	7	7
1	12	7
2	17	7
3	35	7
4	77	7
5	188	7
6	560	7
7	1987	7
done	5001	7
0	7	7
1	12	7
2	17	7
3	35	7
4	77	7
5	188	7
6	560	7
7	1987	7
done	5001	7
0	7	7
1	12	7
2	17	7
3	35	7
4	77	7
5	188	7
6	560	7
7	1987	7
done	5001	7

prune54.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

regimes156.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

sample447.0ms

Algorithm

intervals

Results

292.0ms

8006×

body

valid

Details

sample25.0ms

simplify4.8s

prune5.0ms

localize7.0ms

rewrite11.0ms

series112.0ms

simplify2.8min

prune90.0ms

localize7.0ms

rewrite9.0ms

series139.0ms

simplify3.4min

prune93.0ms

localize12.0ms

rewrite17.0ms

series170.0ms

simplify7.7min

prune161.0ms

localize9.0ms

rewrite6.0ms

series7.0ms

simplify1.4min

prune54.0ms

regimes156.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample447.0ms

Profiling