Details

sample73.0ms

Algorithm

intervals

Results

47.0ms

689×

body

valid

simplify3.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	29
1	51	29
2	134	29
3	317	29
4	694	29
5	1469	29
6	3214	29
done	5001	29

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

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
0.1b	(* (* a a) (- 1.0 a))
0.4b	(pow (+ (* a a) (* b b)) 2.0)
1.1b	(* (* b b) (+ 3.0 a))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

18×	`associate-*r/`
17×	`pow1` `add-exp-log`
16×	`add-sqr-sqrt` `add-cbrt-cube`
14×	`*-un-lft-identity`
12×	`associate-r`
10×	`add-cube-cbrt`
7×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`associate-l`
4×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `frac-add` `flip-+` `add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `flip3--` `*-commutative` `flip--` `unswap-sqr`
2×	`sub-neg`
1×	`pow-to-exp` `pow-pow` `pow-exp` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `sqr-pow`

Counts

4 → 94

Calls

4 calls:

15.0ms	(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
10.0ms	(* (* a a) (- 1.0 a))
5.0ms	(pow (+ (* a a) (* b b)) 2.0)
10.0ms	(* (* b b) (+ 3.0 a))

series61.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
7.0ms	(* (* a a) (- 1.0 a))
25.0ms	(pow (+ (* a a) (* b b)) 2.0)
6.0ms	(* (* b b) (+ 3.0 a))

simplify5.9min

Counts

106 → 106

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	16	7
2	31	7
3	33	7
done	33	7
0	6	7
1	16	7
2	31	7
3	33	7
done	33	7
0	8	10
1	14	9
2	17	9
done	17	9
0	8	9
1	12	9
2	18	9
3	21	9
done	21	9
0	7	8
1	20	8
2	40	8
3	47	8
4	48	8
done	48	8
0	7	8
1	19	8
2	46	8
3	77	8
4	145	8
5	402	8
6	1225	8
7	4618	8
done	5000	8
0	10	23
1	36	23
2	141	13
3	605	9
4	2427	9
done	5000	9
0	10	23
1	37	23
2	144	11
3	631	9
4	2545	9
done	5000	9
0	8	17
1	18	17
2	33	17
3	35	17
done	35	17
0	7	8
1	17	8
2	32	8
done	32	8
0	8	23
1	28	23
2	134	9
3	623	9
4	1896	9
done	5001	9
0	7	8
1	17	8
2	32	8
done	32	8
0	7	8
1	17	8
2	32	8
done	32	8
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	8	13
1	16	13
2	27	13
done	27	13
0	7	8
1	11	8
2	13	8
done	13	8
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	9	3
2	17	3
done	17	3
0	5	5
1	13	5
2	14	5
done	14	5
0	9	11
1	32	11
2	88	11
3	185	11
4	374	11
5	945	11
6	3050	11
done	5000	11
0	8	11
1	16	11
2	43	11
3	131	11
4	304	11
5	465	11
6	762	11
7	1391	11
done	5000	11
0	8	10
1	10	10
done	10	10
0	8	10
1	10	10
done	10	10
0	3	3
1	6	1
done	6	1
0	9	13
1	14	13
2	21	13
3	45	13
4	102	13
5	263	13
6	877	13
7	3321	13
done	5000	13
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	2183	10
done	5000	10
0	7	9
1	15	7
2	22	7
3	33	7
4	55	7
5	116	7
6	328	7
7	1249	7
done	5001	7
0	9	19
1	14	19
2	19	19
3	37	19
4	77	19
5	185	19
6	566	19
7	1991	19
done	5000	19
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1975	10
done	5000	10
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1975	10
done	5000	10
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	185	10
6	562	10
7	1975	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	7	9
1	12	9
2	17	9
3	35	9
4	75	9
5	184	9
6	562	9
7	1979	9
done	5000	9
0	8	10
1	15	10
2	23	10
3	46	10
4	112	10
5	314	10
6	1088	10
7	4968	10
done	5000	10
0	8	10
1	13	10
2	20	10
3	43	10
4	98	10
5	263	10
6	887	10
7	3722	10
done	5001	10
0	9	21
1	14	21
2	19	21
3	37	21
4	77	21
5	182	21
6	564	21
7	1964	21
done	5000	21
0	8	10
1	13	10
2	18	10
3	36	10
4	76	10
5	183	10
6	556	10
7	1963	10
done	5000	10
0	9	29
1	17	21
2	38	11
3	91	11
4	248	11
5	813	11
6	3717	11
done	5000	11
0	8	10
1	13	10
2	19	10
3	37	10
4	77	10
5	182	10
6	561	10
7	1974	10
done	5000	10
0	8	10
1	13	10
2	19	10
3	37	10
4	77	10
5	182	10
6	561	10
7	1974	10
done	5000	10
0	9	11
1	13	11
2	21	11
3	42	11
4	90	11
5	222	11
6	717	11
7	2519	11
done	5000	11
0	9	11
1	13	11
2	21	11
3	42	11
4	90	11
5	222	11
6	717	11
7	2519	11
done	5000	11
0	5	7
1	10	7
2	25	7
3	36	7
4	40	7
5	45	7
6	54	7
7	71	7
8	116	7
9	259	7
10	780	7
11	3128	7
done	5001	7
0	5	7
1	10	7
2	25	7
3	36	7
4	40	7
5	45	7
6	54	7
7	71	7
8	116	7
9	259	7
10	780	7
11	3128	7
done	5001	7
0	7	10
1	14	9
2	18	9
done	18	9
0	7	9
1	12	9
2	19	9
3	20	9
done	20	9
0	6	8
1	14	8
2	34	8
3	52	8
4	57	8
5	61	8
6	70	8
7	87	8
8	129	8
9	270	8
10	795	8
11	3102	8
done	5000	8
0	6	8
1	13	8
2	37	8
3	74	8
4	141	8
5	311	8
6	817	8
7	2808	8
done	5000	8
0	9	23
1	24	23
2	92	13
3	411	9
4	1627	9
done	5000	9
0	9	23
1	25	23
2	95	11
3	432	9
4	1655	9
done	5000	9
0	7	17
1	12	17
2	27	17
3	38	17
4	42	17
5	47	17
6	56	17
7	73	17
8	118	17
9	251	17
10	779	17
11	3156	17
done	5000	17
0	6	8
1	11	8
2	26	8
3	37	8
4	41	8
5	46	8
6	55	8
7	72	8
8	119	8
9	262	8
10	787	8
11	3182	8
done	5000	8
0	7	23
1	22	23
2	104	9
3	453	9
4	1688	9
5	4772	9
done	5000	9
0	6	8
1	11	8
2	26	8
3	37	8
4	41	8
5	46	8
6	55	8
7	72	8
8	119	8
9	262	8
10	787	8
11	3182	8
done	5000	8
0	6	8
1	11	8
2	26	8
3	37	8
4	41	8
5	46	8
6	55	8
7	72	8
8	119	8
9	262	8
10	787	8
11	3182	8
done	5000	8
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	8	6
2	9	6
done	9	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	13	6
3	15	4
4	20	4
5	29	4
6	46	4
7	88	4
8	224	4
9	744	4
10	3086	4
done	5000	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	13	6
3	15	4
4	20	4
5	29	4
6	46	4
7	88	4
8	224	4
9	744	4
10	3086	4
done	5000	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	15	4
3	20	4
4	29	4
5	46	4
6	88	4
7	224	4
8	744	4
9	3086	4
done	5000	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	15	4
3	20	4
4	29	4
5	46	4
6	88	4
7	224	4
8	744	4
9	3086	4
done	5000	4
0	7	13
1	16	13
2	28	13
done	28	13
0	6	8
1	11	8
2	14	8
done	14	8
0	4	5
1	9	3
2	17	3
done	17	3
0	7	9
1	17	9
2	32	9
done	32	9
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	8	11
1	25	11
2	61	11
3	170	11
4	472	11
5	1658	11
done	5001	11
0	6	11
1	14	11
2	41	11
3	113	11
4	241	11
5	377	11
6	638	11
7	1291	11
done	5000	11
0	13	17
1	36	17
2	101	17
3	226	17
4	389	17
5	515	17
6	612	17
7	856	17
8	1651	17
9	3855	17
done	5000	17
0	15	19
1	32	19
2	66	19
3	93	19
4	128	19
5	163	19
6	212	19
7	350	19
8	725	19
9	1491	19
10	2854	19
done	5000	19
0	14	18
1	40	18
2	106	18
3	236	18
4	395	18
5	518	18
6	615	18
7	857	18
8	1655	18
9	3885	18
done	5000	18
0	14	18
1	39	18
2	113	18
3	289	18
4	640	18
5	1659	18
done	5001	18
0	17	53
1	52	53
2	227	21
3	1461	21
done	5000	21
0	15	37
1	38	37
2	103	37
3	226	37
4	379	37
5	505	37
6	602	37
7	846	37
8	1648	37
9	3876	37
done	5001	37
0	14	18
1	37	18
2	102	18
3	230	18
4	388	18
5	513	18
6	610	18
7	854	18
8	1648	18
9	3860	18
done	5000	18
0	15	53
1	48	53
2	184	19
3	960	19
done	5002	19
0	14	18
1	37	18
2	102	18
3	230	18
4	388	18
5	513	18
6	610	18
7	854	18
8	1648	18
9	3860	18
done	5000	18
0	14	18
1	37	18
2	102	18
3	230	18
4	388	18
5	513	18
6	610	18
7	854	18
8	1648	18
9	3860	18
done	5000	18
0	15	19
1	32	19
2	66	19
3	93	19
4	128	19
5	163	19
6	212	19
7	350	19
8	725	19
9	1491	19
10	2854	19
done	5000	19
0	15	19
1	32	19
2	66	19
3	93	19
4	128	19
5	163	19
6	212	19
7	350	19
8	725	19
9	1491	19
10	2854	19
done	5000	19
0	7	9
1	15	9
2	47	9
3	99	9
4	143	9
5	157	9
6	174	9
7	218	9
8	341	9
9	748	9
10	2274	9
done	5000	9
0	8	9
1	21	9
2	61	9
3	108	9
4	127	9
done	127	9
0	7	9
1	15	9
2	42	9
3	91	9
4	154	9
5	170	9
6	193	9
7	237	9
8	363	9
9	782	9
10	2296	9
done	5000	9
0	8	9
1	21	9
2	54	9
3	96	9
4	118	9
done	118	9
0	15	35
1	34	35
2	70	35
3	97	35
4	132	35
5	169	35
6	218	35
7	356	35
8	729	35
9	1495	35
10	2878	35
done	5000	35
0	14	18
1	31	18
2	65	18
3	90	18
4	125	18
5	164	18
6	213	18
7	351	18
8	727	18
9	1502	18
10	2884	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	14	18
1	37	18
2	102	18
3	230	18
4	395	18
5	521	18
6	618	18
7	860	18
8	1654	18
9	3872	18
done	5000	18
0	14	18
1	37	18
2	102	18
3	230	18
4	395	18
5	521	18
6	618	18
7	860	18
8	1654	18
9	3872	18
done	5000	18
0	13	17
1	36	17
2	101	17
3	226	17
4	389	17
5	515	17
6	612	17
7	856	17
8	1651	17
9	3855	17
done	5000	17
0	27	49
1	92	45
2	329	45
3	1557	45
done	5000	45
0	24	41
1	70	39
2	226	39
3	1157	35
done	5002	35
0	24	41
1	81	39
2	302	39
3	1431	39
done	5000	39
0	19	33
1	49	33
2	182	33
3	968	29
4	4590	25
done	5000	25
0	16	21
1	58	21
2	228	21
3	1263	21
done	5000	21
0	15	33
1	50	33
2	203	33
3	813	29
4	3365	25
done	5000	25
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	18	25
1	47	23
2	91	19
3	251	15
4	816	13
5	3037	13
done	5001	13
0	11	12
1	22	10
2	46	8
3	128	7
4	285	5
5	626	5
6	2306	5
done	5001	5
0	12	12
1	23	11
2	44	9
3	124	7
4	320	7
5	871	7
6	2990	5
done	5001	5
0	8	9
1	22	9
2	60	9
3	96	7
4	158	7
5	309	7
6	850	7
7	3233	7
done	5000	7
0	8	9
1	22	9
2	60	9
3	96	7
4	158	7
5	309	7
6	850	7
7	3233	7
done	5000	7
0	8	9
1	22	9
2	60	9
3	96	7
4	158	7
5	309	7
6	850	7
7	3233	7
done	5000	7
0	14	17
1	36	17
2	98	15
3	177	15
4	354	15
5	793	15
6	2468	15
done	5001	15
0	14	19
1	37	19
2	106	15
3	204	15
4	374	15
5	789	15
6	2345	15
done	5000	15
0	14	19
1	37	19
2	106	15
3	204	15
4	374	15
5	789	15
6	2345	15
done	5000	15

prune211.0ms

Filtered

81 candidates to 106 candidates (-30.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	101	5	106
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	5	107

Merged error: 0.1b

Counts

107 → 5

localize21.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
1.1b	(* (* b b) (+ 3.0 a))
7.8b	(sqrt (+ (* a a) (* b b)))
7.8b	(sqrt (+ (* a a) (* b b)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`unpow-prod-down`
28×	`sqrt-prod`
21×	`add-exp-log` `*-un-lft-identity`
19×	`add-cube-cbrt`
17×	`unswap-sqr`
14×	`associate-r`
12×	`swap-sqr` `prod-exp` `sqr-pow`
11×	`pow1` `associate-l` `add-cbrt-cube`
6×	`pow-to-exp` `pow-exp`
4×	`sqrt-div` `pow-prod-down` `cbrt-unprod` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-r/` `-commutative`
1×	`pow2` `distribute-rgt-in` `distribute-lft-in` `pow-sqr` `pow-prod-up` `distribute-lft-out`

Counts

4 → 124

Calls

4 calls:

17.0ms	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
18.0ms	(* (* b b) (+ 3.0 a))
5.0ms	(sqrt (+ (* a a) (* b b)))
5.0ms	(sqrt (+ (* a a) (* b b)))

series60.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
6.0ms	(* (* b b) (+ 3.0 a))
7.0ms	(sqrt (+ (* a a) (* b b)))
7.0ms	(sqrt (+ (* a a) (* b b)))

simplify7.0min

Counts

136 → 136

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
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	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
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	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	7
1	16	7
2	31	7
3	33	7
done	33	7
0	6	7
1	16	7
2	31	7
3	33	7
done	33	7
0	8	10
1	14	9
2	17	9
done	17	9
0	8	9
1	12	9
2	18	9
3	21	9
done	21	9
0	7	8
1	20	8
2	40	8
3	47	8
4	48	8
done	48	8
0	7	8
1	19	8
2	46	8
3	77	8
4	145	8
5	402	8
6	1225	8
7	4618	8
done	5000	8
0	10	23
1	36	23
2	141	13
3	605	9
4	2427	9
done	5000	9
0	10	23
1	37	23
2	144	11
3	631	9
4	2545	9
done	5000	9
0	8	17
1	18	17
2	33	17
3	35	17
done	35	17
0	7	8
1	17	8
2	32	8
done	32	8
0	8	23
1	28	23
2	134	9
3	623	9
4	1896	9
done	5001	9
0	7	8
1	17	8
2	32	8
done	32	8
0	7	8
1	17	8
2	32	8
done	32	8
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	8	13
1	16	13
2	27	13
done	27	13
0	7	8
1	11	8
2	13	8
done	13	8
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	9	3
2	17	3
done	17	3
0	5	5
1	13	5
2	14	5
done	14	5
0	9	11
1	32	11
2	88	11
3	185	11
4	374	11
5	945	11
6	3050	11
done	5000	11
0	8	11
1	16	11
2	43	11
3	131	11
4	304	11
5	465	11
6	762	11
7	1391	11
done	5000	11
0	2	3
1	4	3
2	5	3
done	5	3
0	7	17
1	8	7
2	9	7
done	9	7
0	10	23
1	18	13
2	25	13
3	27	13
done	27	13
0	10	23
1	18	13
2	25	13
3	27	13
done	27	13
0	12	23
1	19	23
2	30	13
3	61	13
4	157	13
5	497	13
6	2015	13
done	5001	13
0	10	23
1	18	13
2	25	13
3	27	13
done	27	13
0	10	23
1	18	13
2	25	13
3	27	13
done	27	13
0	12	23
1	19	23
2	30	13
3	61	13
4	157	13
5	497	13
6	2015	13
done	5001	13
0	12	23
1	19	23
2	30	13
3	61	13
4	157	13
5	493	13
6	2023	13
done	5000	13
0	12	23
1	19	23
2	30	13
3	61	13
4	157	13
5	493	13
6	2023	13
done	5000	13
0	10	23
1	18	13
2	33	13
3	69	13
4	161	13
5	504	13
6	1852	13
done	5001	13
0	10	22
1	19	13
2	38	13
3	96	13
4	255	13
5	784	13
6	3394	13
done	5001	13
0	10	22
1	19	13
2	37	13
3	87	13
4	239	13
5	786	13
6	3446	13
done	5001	13
0	11	65
1	25	38
2	61	25
3	184	12
4	637	12
5	3080	12
done	5000	12
0	11	45
1	18	27
2	31	27
3	68	27
4	160	27
5	457	27
6	1719	27
done	5001	27
0	10	22
1	17	13
2	30	13
3	65	13
4	156	13
5	452	13
6	1719	13
done	5000	13
0	11	65
1	26	38
2	63	14
3	197	12
4	677	12
5	3246	12
done	5000	12
0	10	22
1	18	11
2	31	11
3	68	11
4	160	11
5	453	11
6	1724	11
done	5000	11
0	10	22
1	18	11
2	31	11
3	68	11
4	160	11
5	453	11
6	1724	11
done	5000	11
0	11	43
1	18	23
2	31	23
3	66	23
4	153	23
5	453	23
6	1724	23
done	5000	23
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	11	41
1	19	13
2	32	13
3	67	13
4	154	13
5	443	13
6	1720	13
done	5001	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	5	9
1	13	5
2	26	5
3	60	1
4	86	1
5	169	1
6	419	1
7	1368	1
8	4571	1
done	5001	1
0	9	21
1	16	12
2	29	12
3	66	12
4	160	12
5	447	12
6	1720	12
done	5001	12
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	4	7
1	12	1
2	16	1
3	22	1
4	29	1
5	39	1
6	52	1
7	68	1
8	87	1
9	109	1
10	134	1
11	162	1
12	193	1
13	227	1
14	264	1
15	304	1
16	347	1
17	393	1
18	442	1
19	494	1
20	549	1
21	607	1
22	668	1
23	732	1
24	799	1
25	869	1
26	942	1
27	1018	1
28	1097	1
29	1179	1
30	1264	1
31	1352	1
32	1443	1
33	1537	1
34	1634	1
35	1734	1
36	1837	1
37	1943	1
38	2052	1
39	2164	1
40	2279	1
41	2397	1
42	2518	1
43	2642	1
44	2769	1
45	2899	1
46	3032	1
47	3168	1
48	3307	1
49	3449	1
50	3594	1
51	3742	1
52	3893	1
53	4047	1
54	4204	1
55	4364	1
56	4527	1
57	4693	1
58	4862	1
done	5000	1
0	9	21
1	16	12
2	29	12
3	66	12
4	160	12
5	447	12
6	1720	12
done	5001	12
0	11	47
1	20	47
2	27	25
3	52	13
4	117	13
5	284	13
6	950	13
7	3810	13
done	5001	13
0	10	23
1	15	23
2	20	23
3	38	23
4	78	23
5	184	23
6	570	23
7	1977	23
done	5000	23
0	10	23
1	15	10
2	22	10
3	40	10
4	80	10
5	186	10
6	561	10
7	1982	10
done	5000	10
0	10	23
1	15	10
2	22	10
3	40	10
4	80	10
5	186	10
6	561	10
7	1982	10
done	5000	10
0	2	3
1	4	1
done	4	1
0	9	21
1	16	12
2	29	12
3	66	12
4	160	12
5	447	12
6	1720	12
done	5001	12
0	11	25
1	17	14
2	35	14
3	75	14
4	183	12
5	560	10
6	1967	10
done	5000	10
0	11	25
1	17	14
2	35	14
3	75	14
4	183	12
5	560	10
6	1967	10
done	5000	10
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	12	23
1	20	23
2	33	23
3	68	23
4	154	23
5	406	23
6	1301	23
done	5000	23
0	12	23
1	20	23
2	33	23
3	68	23
4	154	23
5	406	23
6	1301	23
done	5000	23
0	13	24
1	20	24
2	44	24
3	111	24
4	360	24
5	1641	24
done	5000	24
0	13	24
1	20	24
2	44	24
3	111	24
4	360	24
5	1641	24
done	5000	24
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	10	23
1	17	13
2	30	13
3	67	13
4	157	13
5	465	13
6	1721	13
done	5000	13
0	12	23
1	20	23
2	33	23
3	68	23
4	154	23
5	406	23
6	1301	23
done	5000	23
0	12	23
1	20	23
2	33	23
3	68	23
4	154	23
5	406	23
6	1301	23
done	5000	23
0	13	24
1	20	24
2	44	24
3	111	24
4	360	24
5	1641	24
done	5000	24
0	13	24
1	20	24
2	44	24
3	111	24
4	360	24
5	1641	24
done	5000	24
0	12	23
1	20	23
2	33	23
3	68	23
4	152	23
5	400	23
6	1288	23
7	4995	23
done	5000	23
0	12	23
1	20	23
2	33	23
3	68	23
4	152	23
5	400	23
6	1288	23
7	4995	23
done	5000	23
0	12	23
1	20	23
2	33	23
3	68	23
4	152	23
5	400	23
6	1288	23
7	4995	23
done	5000	23
0	12	23
1	20	23
2	33	23
3	68	23
4	152	23
5	400	23
6	1288	23
7	4995	23
done	5000	23
0	10	23
1	15	10
2	22	10
3	40	10
4	80	10
5	186	10
6	561	10
7	1982	10
done	5000	10
0	10	23
1	15	10
2	22	10
3	40	10
4	80	10
5	186	10
6	561	10
7	1982	10
done	5000	10
0	13	24
1	19	24
2	38	24
3	84	24
4	208	24
5	587	24
6	2163	24
done	5000	24
0	13	24
1	19	24
2	38	24
3	84	24
4	208	24
5	587	24
6	2163	24
done	5000	24
0	13	24
1	20	24
2	44	24
3	111	24
4	359	24
5	1591	24
done	5000	24
0	13	24
1	20	24
2	44	24
3	111	24
4	359	24
5	1591	24
done	5000	24
0	13	24
1	20	24
2	44	24
3	111	24
4	359	24
5	1591	24
done	5000	24
0	13	24
1	20	24
2	44	24
3	111	24
4	359	24
5	1591	24
done	5000	24
0	13	24
1	19	24
2	38	24
3	84	24
4	201	24
5	582	24
6	2170	24
done	5000	24
0	13	24
1	19	24
2	38	24
3	84	24
4	201	24
5	582	24
6	2170	24
done	5000	24
0	11	25
1	17	14
2	35	14
3	75	14
4	183	12
5	560	10
6	1967	10
done	5000	10
0	11	25
1	17	14
2	35	14
3	75	14
4	183	12
5	560	10
6	1967	10
done	5000	10
0	3	3
1	4	3
done	4	3
0	12	32
1	20	32
2	40	32
3	105	32
4	338	32
5	1570	32
done	5001	32
0	13	31
1	22	22
2	42	22
3	107	22
4	340	22
5	1588	22
done	5001	22
0	11	22
1	19	22
2	39	22
3	104	22
4	343	22
5	1567	22
done	5000	22
0	12	15
1	22	14
2	42	14
3	107	12
4	285	10
5	444	10
6	894	10
7	2531	10
done	5000	10
0	11	22
1	19	22
2	39	22
3	104	22
4	343	22
5	1567	22
done	5000	22
0	11	14
1	21	12
2	32	10
3	65	10
4	126	10
5	274	10
6	722	10
7	2350	10
done	5000	10
0	11	34
1	19	34
2	35	34
3	74	34
4	182	34
5	514	34
6	1761	34
done	5001	34
0	10	22
1	16	22
2	26	22
3	54	22
4	122	22
5	318	22
6	1014	22
7	3793	22
done	5000	22
0	10	12
1	18	10
2	30	10
3	63	10
4	125	10
5	279	10
6	737	10
7	2364	10
done	5000	10
0	12	23
1	18	23
2	40	14
3	92	14
4	250	14
5	807	14
6	3714	14
done	5000	14
0	11	22
1	19	22
2	39	22
3	104	22
4	343	22
5	1576	22
done	5000	22
0	12	22
1	20	22
2	40	22
3	105	22
4	339	22
5	1573	22
done	5000	22
0	11	22
1	19	22
2	39	22
3	104	22
4	343	22
5	1576	22
done	5000	22
0	9	21
1	16	12
2	29	12
3	66	12
4	160	12
5	447	12
6	1720	12
done	5001	12
0	11	22
1	19	22
2	39	22
3	104	22
4	343	22
5	1576	22
done	5000	22
0	9	21
1	16	12
2	29	12
3	66	12
4	160	12
5	447	12
6	1720	12
done	5001	12
0	10	22
1	16	22
2	25	22
3	53	22
4	117	22
5	310	22
6	1005	22
7	3789	22
done	5000	22
0	10	22
1	16	22
2	26	22
3	54	22
4	122	22
5	318	22
6	1014	22
7	3793	22
done	5000	22
0	9	21
1	16	12
2	29	12
3	66	12
4	160	12
5	447	12
6	1720	12
done	5001	12
0	12	23
1	18	23
2	40	14
3	92	14
4	245	14
5	806	14
6	3683	14
done	5000	14
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	18	25
1	47	23
2	91	19
3	251	15
4	816	13
5	3037	13
done	5001	13
0	11	12
1	22	10
2	46	8
3	128	7
4	285	5
5	626	5
6	2306	5
done	5001	5
0	12	12
1	23	11
2	44	9
3	124	7
4	320	7
5	871	7
6	2990	5
done	5001	5

prune234.0ms

Filtered

90 candidates to 136 candidates (-51.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	4	0	4
Picked	0	1	1
Done	0	0	0
Total	139	2	141

Merged error: 0b

Counts

141 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
0.1b	(* (* a a) (- 1.0 a))
1.1b	(* (* b b) (+ 3.0 a))
7.8b	(sqrt (+ (* a a) (* b b)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

18×	`associate-*r/`
17×	`pow1`
16×	`add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
13×	`*-un-lft-identity`
12×	`associate-r`
9×	`add-cube-cbrt`
7×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`flip3-+` `associate-l` `flip-+`
4×	`distribute-rgt-in` `distribute-lft-in` `frac-add` `add-log-exp`
3×	`flip3--` `sqrt-prod` `*-commutative` `flip--` `unswap-sqr`
2×	`sub-neg` `sqrt-div`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 92

Calls

4 calls:

20.0ms	(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
10.0ms	(* (* a a) (- 1.0 a))
9.0ms	(* (* b b) (+ 3.0 a))
4.0ms	(sqrt (+ (* a a) (* b b)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a))))
6.0ms	(* (* a a) (- 1.0 a))
7.0ms	(* (* b b) (+ 3.0 a))
7.0ms	(sqrt (+ (* a a) (* b b)))

simplify3.7min

Counts

104 → 104

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
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	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	7
1	16	7
2	31	7
3	33	7
done	33	7
0	6	7
1	16	7
2	31	7
3	33	7
done	33	7
0	8	10
1	14	9
2	17	9
done	17	9
0	8	9
1	12	9
2	18	9
3	21	9
done	21	9
0	7	8
1	20	8
2	40	8
3	47	8
4	48	8
done	48	8
0	7	8
1	19	8
2	46	8
3	77	8
4	145	8
5	402	8
6	1225	8
7	4618	8
done	5000	8
0	10	23
1	36	23
2	141	13
3	605	9
4	2427	9
done	5000	9
0	10	23
1	37	23
2	144	11
3	631	9
4	2545	9
done	5000	9
0	8	17
1	18	17
2	33	17
3	35	17
done	35	17
0	7	8
1	17	8
2	32	8
done	32	8
0	8	23
1	28	23
2	134	9
3	623	9
4	1896	9
done	5001	9
0	7	8
1	17	8
2	32	8
done	32	8
0	7	8
1	17	8
2	32	8
done	32	8
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	8	13
1	16	13
2	27	13
done	27	13
0	7	8
1	11	8
2	13	8
done	13	8
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	9	3
2	17	3
done	17	3
0	5	5
1	13	5
2	14	5
done	14	5
0	9	11
1	32	11
2	88	11
3	185	11
4	374	11
5	945	11
6	3050	11
done	5000	11
0	8	11
1	16	11
2	43	11
3	131	11
4	304	11
5	465	11
6	762	11
7	1391	11
done	5000	11
0	5	7
1	10	7
2	25	7
3	36	7
4	40	7
5	45	7
6	54	7
7	71	7
8	116	7
9	259	7
10	780	7
11	3128	7
done	5001	7
0	5	7
1	10	7
2	25	7
3	36	7
4	40	7
5	45	7
6	54	7
7	71	7
8	116	7
9	259	7
10	780	7
11	3128	7
done	5001	7
0	7	10
1	14	9
2	18	9
done	18	9
0	7	9
1	12	9
2	19	9
3	20	9
done	20	9
0	6	8
1	14	8
2	34	8
3	52	8
4	57	8
5	61	8
6	70	8
7	87	8
8	129	8
9	270	8
10	795	8
11	3102	8
done	5000	8
0	6	8
1	13	8
2	37	8
3	74	8
4	141	8
5	311	8
6	817	8
7	2808	8
done	5000	8
0	9	23
1	24	23
2	92	13
3	411	9
4	1627	9
done	5000	9
0	9	23
1	25	23
2	95	11
3	432	9
4	1655	9
done	5000	9
0	7	17
1	12	17
2	27	17
3	38	17
4	42	17
5	47	17
6	56	17
7	73	17
8	118	17
9	251	17
10	779	17
11	3156	17
done	5000	17
0	6	8
1	11	8
2	26	8
3	37	8
4	41	8
5	46	8
6	55	8
7	72	8
8	119	8
9	262	8
10	787	8
11	3182	8
done	5000	8
0	7	23
1	22	23
2	104	9
3	453	9
4	1688	9
5	4772	9
done	5000	9
0	6	8
1	11	8
2	26	8
3	37	8
4	41	8
5	46	8
6	55	8
7	72	8
8	119	8
9	262	8
10	787	8
11	3182	8
done	5000	8
0	6	8
1	11	8
2	26	8
3	37	8
4	41	8
5	46	8
6	55	8
7	72	8
8	119	8
9	262	8
10	787	8
11	3182	8
done	5000	8
0	5	6
1	8	6
2	9	6
done	9	6
0	5	6
1	8	6
2	9	6
done	9	6
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	13	6
3	15	4
4	20	4
5	29	4
6	46	4
7	88	4
8	224	4
9	744	4
10	3086	4
done	5000	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	13	6
3	15	4
4	20	4
5	29	4
6	46	4
7	88	4
8	224	4
9	744	4
10	3086	4
done	5000	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	15	4
3	20	4
4	29	4
5	46	4
6	88	4
7	224	4
8	744	4
9	3086	4
done	5000	4
0	4	5
1	7	5
2	9	5
done	9	5
0	4	6
1	9	6
2	15	4
3	20	4
4	29	4
5	46	4
6	88	4
7	224	4
8	744	4
9	3086	4
done	5000	4
0	7	13
1	16	13
2	28	13
done	28	13
0	6	8
1	11	8
2	14	8
done	14	8
0	4	5
1	9	3
2	17	3
done	17	3
0	7	9
1	17	9
2	32	9
done	32	9
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	7	5
2	14	5
3	17	5
4	18	5
done	18	5
0	8	11
1	25	11
2	61	11
3	170	11
4	472	11
5	1658	11
done	5001	11
0	6	11
1	14	11
2	41	11
3	113	11
4	241	11
5	377	11
6	638	11
7	1291	11
done	5000	11
0	13	17
1	36	17
2	101	17
3	226	17
4	389	17
5	515	17
6	612	17
7	856	17
8	1651	17
9	3855	17
done	5000	17
0	15	19
1	32	19
2	66	19
3	93	19
4	128	19
5	163	19
6	212	19
7	350	19
8	725	19
9	1491	19
10	2854	19
done	5000	19
0	14	18
1	40	18
2	106	18
3	236	18
4	395	18
5	518	18
6	615	18
7	857	18
8	1655	18
9	3885	18
done	5000	18
0	14	18
1	39	18
2	113	18
3	289	18
4	640	18
5	1659	18
done	5001	18
0	17	53
1	52	53
2	227	21
3	1461	21
done	5000	21
0	15	37
1	38	37
2	103	37
3	226	37
4	379	37
5	505	37
6	602	37
7	846	37
8	1648	37
9	3876	37
done	5001	37
0	14	18
1	37	18
2	102	18
3	230	18
4	388	18
5	513	18
6	610	18
7	854	18
8	1648	18
9	3860	18
done	5000	18
0	15	53
1	48	53
2	184	19
3	960	19
done	5002	19
0	14	18
1	37	18
2	102	18
3	230	18
4	388	18
5	513	18
6	610	18
7	854	18
8	1648	18
9	3860	18
done	5000	18
0	14	18
1	37	18
2	102	18
3	230	18
4	388	18
5	513	18
6	610	18
7	854	18
8	1648	18
9	3860	18
done	5000	18
0	15	19
1	32	19
2	66	19
3	93	19
4	128	19
5	163	19
6	212	19
7	350	19
8	725	19
9	1491	19
10	2854	19
done	5000	19
0	15	19
1	32	19
2	66	19
3	93	19
4	128	19
5	163	19
6	212	19
7	350	19
8	725	19
9	1491	19
10	2854	19
done	5000	19
0	7	9
1	15	9
2	47	9
3	99	9
4	143	9
5	157	9
6	174	9
7	218	9
8	341	9
9	748	9
10	2274	9
done	5000	9
0	8	9
1	21	9
2	61	9
3	108	9
4	127	9
done	127	9
0	7	9
1	15	9
2	42	9
3	91	9
4	154	9
5	170	9
6	193	9
7	237	9
8	363	9
9	782	9
10	2296	9
done	5000	9
0	8	9
1	21	9
2	54	9
3	96	9
4	118	9
done	118	9
0	15	35
1	34	35
2	70	35
3	97	35
4	132	35
5	169	35
6	218	35
7	356	35
8	729	35
9	1495	35
10	2878	35
done	5000	35
0	14	18
1	31	18
2	65	18
3	90	18
4	125	18
5	164	18
6	213	18
7	351	18
8	727	18
9	1502	18
10	2884	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	14	18
1	37	18
2	102	18
3	230	18
4	395	18
5	521	18
6	618	18
7	860	18
8	1654	18
9	3872	18
done	5000	18
0	14	18
1	37	18
2	102	18
3	230	18
4	395	18
5	521	18
6	618	18
7	860	18
8	1654	18
9	3872	18
done	5000	18
0	13	17
1	36	17
2	101	17
3	226	17
4	389	17
5	515	17
6	612	17
7	856	17
8	1651	17
9	3855	17
done	5000	17
0	27	49
1	92	45
2	329	45
3	1557	45
done	5000	45
0	24	41
1	70	39
2	226	39
3	1157	35
done	5002	35
0	24	41
1	81	39
2	302	39
3	1431	39
done	5000	39
0	19	33
1	49	33
2	182	33
3	968	29
4	4590	25
done	5000	25
0	16	21
1	58	21
2	228	21
3	1263	21
done	5000	21
0	15	33
1	50	33
2	203	33
3	813	29
4	3365	25
done	5000	25
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	11
1	18	7
2	48	7
3	59	7
4	65	7
5	75	7
6	99	7
7	163	7
8	379	7
9	1318	7
done	5000	7
0	8	9
1	22	9
2	60	9
3	96	7
4	158	7
5	309	7
6	850	7
7	3233	7
done	5000	7
0	8	9
1	22	9
2	60	9
3	96	7
4	158	7
5	309	7
6	850	7
7	3233	7
done	5000	7
0	8	9
1	22	9
2	60	9
3	96	7
4	158	7
5	309	7
6	850	7
7	3233	7
done	5000	7
0	14	17
1	36	17
2	98	15
3	177	15
4	354	15
5	793	15
6	2468	15
done	5001	15
0	14	19
1	37	19
2	106	15
3	204	15
4	374	15
5	789	15
6	2345	15
done	5000	15
0	14	19
1	37	19
2	106	15
3	204	15
4	374	15
5	789	15
6	2345	15
done	5000	15

prune187.0ms

Filtered

81 candidates to 104 candidates (-28.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

106 → 2

regimes105.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	32
1	27	32
done	27	32

end0.0ms

sample2.1s

Algorithm

intervals

Results

1.4s

20932×

body

valid

Details

sample73.0ms

simplify3.3s

prune4.0ms

localize23.0ms

rewrite44.0ms

series61.0ms

simplify5.9min

prune211.0ms

localize21.0ms

rewrite51.0ms

series60.0ms

simplify7.0min

prune234.0ms

localize19.0ms

rewrite46.0ms

series34.0ms

simplify3.7min

prune187.0ms

regimes105.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.1s

Profiling