Details

sample62.0ms

Algorithm

intervals

Results

32.0ms

689×

body

valid

simplify4.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	17
1	25	17
2	39	17
3	63	17
4	109	17
5	245	17
6	813	17
7	3731	17
done	5000	17

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

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* a a) (* b b))
0.0b	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
0.0b	(* 4.0 (* b b))
0.4b	(pow (+ (* a a) (* b b)) 2.0)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1` `add-exp-log`
9×	`add-cbrt-cube`
8×	`add-sqr-sqrt` `add-log-exp`
7×	`add-cube-cbrt` `*-un-lft-identity`
3×	`unpow-prod-down` `pow-unpow` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`+-commutative` `flip3-+` `sum-log` `flip-+`
1×	`pow-to-exp` `pow-pow` `associate-r` `pow-exp` `*-commutative` `unswap-sqr` `sqr-pow`

Counts

4 → 58

Calls

4 calls:

4.0ms	(+ (* a a) (* b b))
8.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
6.0ms	(* 4.0 (* b b))
5.0ms	(pow (+ (* a a) (* b b)) 2.0)

series50.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (* a a) (* b b))
16.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (* b b)))
3.0ms	(* 4.0 (* b b))
25.0ms	(pow (+ (* a a) (* b b)) 2.0)

simplify3.8min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	4	5
1	7	5
2	9	5
done	9	5
0	4	5
1	7	5
2	9	5
done	9	5
0	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	12	17
1	25	16
2	42	16
3	87	16
4	220	16
5	637	16
6	2497	16
done	5001	16
0	11	16
1	20	16
2	27	16
3	45	16
4	85	16
5	192	16
6	569	16
7	1988	16
done	5000	16
0	11	16
1	23	16
2	39	16
3	76	16
4	185	16
5	527	16
6	1958	16
done	5001	16
0	12	33
1	21	33
2	28	33
3	46	33
4	86	33
5	193	33
6	578	33
7	1987	33
done	5000	33
0	11	16
1	20	16
2	27	16
3	45	16
4	85	16
5	192	16
6	569	16
7	1988	16
done	5000	16
0	12	47
1	34	47
2	107	17
3	428	17
4	1618	17
done	5000	17
0	11	16
1	20	16
2	27	16
3	45	16
4	85	16
5	192	16
6	569	16
7	1988	16
done	5000	16
0	11	16
1	20	16
2	27	16
3	45	16
4	85	16
5	192	16
6	569	16
7	1988	16
done	5000	16
0	13	19
1	37	19
2	110	19
3	339	19
4	845	19
5	2792	19
done	5000	19
0	14	47
1	41	33
2	126	33
3	363	33
4	939	33
5	3133	33
done	5000	33
0	12	31
1	34	23
2	93	23
3	269	21
4	601	19
5	1299	19
6	4275	19
done	5000	19
0	10	15
1	20	15
2	38	15
3	68	15
4	108	15
5	217	15
6	593	15
7	2013	15
done	5000	15
0	7	9
1	14	8
2	22	8
3	44	8
4	114	8
5	373	8
6	1628	8
done	5000	8
0	6	8
1	7	8
done	7	8
0	6	8
1	10	8
2	15	8
3	22	8
4	44	8
5	116	8
6	372	8
7	1620	8
done	5000	8
0	7	17
1	8	17
done	8	17
0	6	8
1	7	8
done	7	8
0	7	23
1	21	23
2	73	9
3	228	9
4	609	9
5	1540	9
6	3479	9
done	5001	9
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	8	11
1	26	11
2	63	7
3	116	7
4	258	7
5	701	7
6	2300	7
done	5000	7
0	9	23
1	31	19
2	85	17
3	178	15
4	309	15
5	726	15
6	1973	15
done	5001	15
0	7	15
1	20	15
2	41	11
3	87	7
4	212	7
5	581	7
6	1497	7
done	5000	7
0	5	7
1	10	7
2	17	7
3	32	7
4	57	7
5	98	7
6	156	7
7	324	7
8	1576	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	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	13	19
1	33	19
2	120	15
3	186	15
4	245	15
5	276	15
6	338	15
7	503	15
8	1072	15
9	3632	15
done	5000	15
0	12	17
1	33	17
2	123	17
3	192	17
4	247	17
5	286	17
6	366	17
7	589	17
8	1324	17
9	4597	17
done	5000	17
0	12	17
1	33	17
2	123	17
3	192	17
4	247	17
5	286	17
6	366	17
7	589	17
8	1324	17
9	4597	17
done	5000	17
0	6	7
1	15	7
2	26	7
3	34	7
4	43	7
5	60	7
6	100	7
7	215	7
8	623	7
9	2460	7
done	5000	7
0	6	7
1	15	7
2	26	7
3	34	7
4	43	7
5	60	7
6	100	7
7	215	7
8	623	7
9	2460	7
done	5000	7
0	6	7
1	15	7
2	26	7
3	34	7
4	43	7
5	60	7
6	100	7
7	215	7
8	623	7
9	2460	7
done	5000	7

prune133.0ms

Filtered

54 candidates to 70 candidates (-29.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	67	4	71

Merged error: 0.0b

Counts

71 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (sqrt (+ (* a a) (* b b))) 2.0)
0.4b	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
7.8b	(sqrt (+ (* a a) (* b b)))
7.8b	(sqrt (+ (* a a) (* b b)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

51×	`add-sqr-sqrt`
50×	`unpow-prod-down`
31×	`sqrt-prod`
21×	`add-cube-cbrt` `*-un-lft-identity`
17×	`add-exp-log`
16×	`unswap-sqr`
13×	`sqr-pow`
12×	`swap-sqr`
10×	`associate-r` `associate-l`
9×	`prod-exp`
8×	`pow1`
7×	`pow-to-exp` `pow-exp`
6×	`add-cbrt-cube`
4×	`sqrt-div` `add-log-exp`
3×	`pow-unpow` `pow-pow` `sqrt-pow1` `pow1/2`
2×	`rem-sqrt-square` `flip3-+` `flip-+`
1×	`pow2` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `sqrt-pow2` `cbrt-unprod`

Counts

4 → 123

Calls

4 calls:

6.0ms	(pow (sqrt (+ (* a a) (* b b))) 2.0)
16.0ms	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
5.0ms	(sqrt (+ (* a a) (* b b)))
5.0ms	(sqrt (+ (* a a) (* b b)))

series77.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(pow (sqrt (+ (* a a) (* b b))) 2.0)
43.0ms	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
6.0ms	(sqrt (+ (* a a) (* b b)))
6.0ms	(sqrt (+ (* a a) (* b b)))

simplify8.8min

Counts

135 → 135

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	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	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	5	5
1	11	3
2	14	3
done	14	3
0	10	14
1	15	14
2	22	14
3	46	14
4	105	14
5	267	14
6	885	14
7	3285	14
done	5000	14
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	2194	11
done	5001	11
0	8	10
1	16	8
2	23	8
3	34	8
4	56	8
5	122	8
6	335	8
7	1277	8
done	5000	8
0	10	21
1	15	21
2	20	21
3	38	21
4	80	21
5	191	21
6	568	21
7	1972	21
done	5000	21
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	10	20
1	16	11
2	21	11
3	39	11
4	79	11
5	186	11
6	561	11
7	1975	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	4	4
1	10	3
2	15	3
3	33	1
4	52	1
5	86	1
6	211	1
7	496	1
8	1142	1
9	2586	1
done	5000	1
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	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
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	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	9	11
1	16	11
2	24	11
3	47	11
4	113	11
5	310	11
6	1100	11
done	5001	11
0	9	11
1	14	11
2	21	11
3	44	11
4	99	11
5	262	11
6	875	11
7	3690	11
done	5001	11
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	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	182	11
6	564	11
7	1969	11
done	5000	11
0	10	32
1	18	23
2	39	12
3	94	12
4	251	12
5	809	12
6	3703	12
done	5000	12
0	3	3
done	3	3
0	9	11
1	14	11
2	20	11
3	38	11
4	78	11
5	184	11
6	562	11
7	1984	11
done	5000	11
0	9	11
1	14	11
2	20	11
3	38	11
4	78	11
5	184	11
6	562	11
7	1984	11
done	5000	11
0	10	12
1	14	12
2	22	12
3	43	12
4	91	12
5	225	12
6	724	12
7	2526	12
done	5000	12
0	10	12
1	14	12
2	22	12
3	43	12
4	91	12
5	225	12
6	724	12
7	2526	12
done	5000	12
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	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	14	14
1	32	13
2	53	11
3	92	9
4	175	9
5	401	9
6	1135	9
7	4052	9
done	5000	9
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	10	10
1	20	9
2	37	8
3	87	8
4	202	7
5	456	5
6	942	4
7	2143	4
done	5000	4

prune199.0ms

Filtered

88 candidates to 135 candidates (-53.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	133	2	135
Fresh	3	0	3
Picked	1	0	1
Done	0	0	0
Total	137	2	139

Merged error: 0b

Counts

139 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0)) (* 4.0 (* b b)))
0.0b	(* 4.0 (* b b))
0.0b	(pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0))
7.8b	(sqrt (+ (* a a) (* b b)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`add-cube-cbrt`
12×	`pow1` `pow-unpow`
10×	`add-exp-log`
9×	`add-cbrt-cube`
6×	`unpow-prod-down` `sqrt-prod` `add-log-exp`
3×	`distribute-rgt-out` `pow-pow` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out`
2×	`sqrt-pow1` `flip3-+` `pow1/2` `sqrt-div` `flip-+`
1×	`unpow-prod-up` `+-commutative` `pow-to-exp` `rem-sqrt-square` `distribute-lft1-in` `count-2` `associate-r` `distribute-rgt1-in` `pow-exp` `sum-log` `*-commutative` `sqrt-pow2` `unswap-sqr` `sqr-pow`

Counts

4 → 78

Calls

4 calls:

10.0ms	(+ (pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0)) (* 4.0 (* b b)))
6.0ms	(* 4.0 (* b b))
8.0ms	(pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0))
4.0ms	(sqrt (+ (* a a) (* b b)))

series47.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(+ (pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0)) (* 4.0 (* b b)))
3.0ms	(* 4.0 (* b b))
24.0ms	(pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0))
7.0ms	(sqrt (+ (* a a) (* b b)))

simplify4.3min

Counts

90 → 90

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	10	13
1	18	13
2	24	13
3	28	13
done	28	13
0	10	13
1	18	13
2	24	13
3	28	13
done	28	13
0	4	5
1	11	5
2	18	3
3	24	1
done	24	1
0	4	5
1	13	3
2	26	3
3	28	3
done	28	3
0	6	7
1	17	5
2	32	3
3	74	1
4	121	1
5	299	1
6	1053	1
done	5001	1
0	11	18
1	17	18
2	25	18
3	49	18
4	106	18
5	261	18
6	881	18
7	3349	18
done	5000	18
0	10	13
1	16	13
2	22	13
3	40	13
4	82	13
5	191	13
6	569	13
7	2173	13
done	5000	13
0	8	10
1	16	8
2	23	8
3	34	8
4	56	8
5	122	8
6	335	8
7	1277	8
done	5000	8
0	10	14
1	15	14
2	22	14
3	46	14
4	105	14
5	267	14
6	885	14
7	3285	14
done	5000	14
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	2194	11
done	5001	11
0	8	10
1	16	8
2	23	8
3	34	8
4	56	8
5	122	8
6	335	8
7	1277	8
done	5000	8
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	2194	11
done	5001	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	2194	11
done	5001	11
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	9	12
1	17	10
2	23	10
3	32	7
4	62	7
5	128	7
6	357	7
7	1303	7
done	5000	7
0	9	12
1	17	10
2	23	10
3	32	7
4	62	7
5	128	7
6	357	7
7	1303	7
done	5000	7
0	8	10
1	14	10
2	22	7
3	34	7
4	59	7
5	126	7
6	353	7
7	1394	7
done	5000	7
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	11	23
1	17	23
2	25	23
3	50	23
4	108	23
5	249	23
6	687	23
7	2156	23
done	5000	23
0	10	13
1	16	13
2	24	13
3	49	13
4	109	13
5	261	13
6	702	13
7	2177	13
done	5001	13
0	11	22
1	18	13
2	26	13
3	51	13
4	109	13
5	250	13
6	690	13
7	2159	13
done	5000	13
0	10	13
1	16	13
2	24	13
3	49	13
4	109	13
5	261	13
6	702	13
7	2177	13
done	5001	13
0	10	13
1	16	13
2	24	13
3	49	13
4	109	13
5	261	13
6	702	13
7	2177	13
done	5001	13
0	10	13
1	16	13
2	24	13
3	49	13
4	109	13
5	261	13
6	702	13
7	2177	13
done	5001	13
0	5	6
1	12	5
2	20	5
3	44	1
4	80	1
5	241	1
6	557	1
7	1538	1
8	4762	1
done	5000	1
0	9	12
1	15	12
2	23	12
3	48	12
4	108	12
5	256	12
6	699	12
7	2159	12
done	5000	12
0	10	13
1	16	13
2	24	13
3	49	13
4	109	13
5	261	13
6	702	13
7	2177	13
done	5001	13
0	10	13
1	16	13
2	24	13
3	49	13
4	109	13
5	261	13
6	702	13
7	2177	13
done	5001	13
0	4	5
1	11	1
2	17	1
3	28	1
4	46	1
5	78	1
6	109	1
7	161	1
8	224	1
9	298	1
10	383	1
11	479	1
12	586	1
13	704	1
14	833	1
15	973	1
16	1124	1
17	1286	1
18	1459	1
19	1643	1
20	1838	1
21	2044	1
22	2261	1
23	2489	1
24	2728	1
25	2978	1
26	3239	1
27	3511	1
28	3794	1
29	4088	1
30	4393	1
31	4709	1
done	5001	1
0	9	12
1	15	12
2	23	12
3	48	12
4	108	12
5	256	12
6	699	12
7	2159	12
done	5000	12
0	10	13
1	18	13
2	31	13
3	68	13
4	158	13
5	419	13
6	1515	13
done	5000	13
0	10	13
1	16	13
2	26	13
3	56	13
4	131	13
5	335	13
6	1029	13
7	3924	13
done	5000	13
0	11	27
1	17	27
2	25	27
3	50	27
4	110	27
5	260	27
6	701	27
7	2184	27
done	5000	27
0	10	13
1	16	13
2	24	13
3	49	13
4	107	13
5	252	13
6	688	13
7	2157	13
done	5001	13
0	11	38
1	20	27
2	48	14
3	111	14
4	292	12
5	879	12
6	3773	12
done	5000	12
0	4	5
1	5	5
2	8	5
3	12	3
4	15	1
done	15	1
0	10	13
1	16	13
2	25	13
3	50	13
4	110	11
5	258	11
6	703	11
7	2170	11
done	5001	11
0	10	13
1	16	13
2	25	13
3	50	13
4	110	11
5	258	11
6	703	11
7	2170	11
done	5001	11
0	11	14
1	16	14
2	27	14
3	58	12
4	130	10
5	306	10
6	858	10
7	2640	10
done	5001	10
0	11	14
1	16	14
2	27	14
3	58	12
4	130	10
5	306	10
6	858	10
7	2640	10
done	5001	10
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	6	8
1	11	7
2	14	7
done	14	7
0	6	7
1	9	7
2	15	7
3	16	7
done	16	7
0	5	6
1	11	6
2	18	6
3	25	6
4	26	6
done	26	6
0	5	6
1	10	6
2	20	6
3	38	6
4	80	6
5	182	6
6	446	6
7	1298	6
8	4672	6
done	5000	6
0	8	17
1	21	17
2	73	11
3	200	7
4	416	7
5	1162	7
6	3922	7
done	5000	7
0	8	17
1	22	17
2	69	9
3	196	7
4	441	7
5	1243	7
6	4192	7
done	5000	7
0	6	13
1	9	13
2	11	13
done	11	13
0	5	6
1	8	6
2	10	6
done	10	6
0	6	17
1	19	17
2	70	7
3	224	7
4	365	7
5	531	7
6	1425	7
7	4784	7
done	5000	7
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	5	6
1	8	6
2	10	6
done	10	6
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	7	5
2	9	5
done	9	5
0	14	20
1	28	19
2	48	19
3	100	19
4	253	19
5	717	19
6	2617	19
done	5000	19
0	13	19
1	23	19
2	33	19
3	58	19
4	118	19
5	264	19
6	704	19
7	2193	19
done	5000	19
0	13	19
1	26	19
2	45	19
3	89	19
4	216	19
5	599	19
6	2119	19
done	5001	19
0	14	39
1	24	39
2	34	39
3	59	39
4	119	39
5	269	39
6	702	39
7	2190	39
done	5000	39
0	13	19
1	23	19
2	33	19
3	58	19
4	118	19
5	264	19
6	704	19
7	2193	19
done	5000	19
0	14	56
1	37	56
2	113	20
3	439	20
4	1677	20
done	5001	20
0	13	19
1	23	19
2	33	19
3	58	19
4	118	19
5	264	19
6	704	19
7	2193	19
done	5000	19
0	13	19
1	23	19
2	33	19
3	58	19
4	118	19
5	264	19
6	704	19
7	2193	19
done	5000	19
0	15	22
1	40	22
2	116	22
3	357	22
4	925	20
5	2905	20
done	5000	20
0	16	56
1	44	39
2	136	37
3	388	37
4	993	37
5	3159	37
done	5001	37
0	14	37
1	37	26
2	103	24
3	292	22
4	656	20
5	1403	20
6	4477	20
done	5001	20
0	12	18
1	23	18
2	44	18
3	81	18
4	141	18
5	287	18
6	737	18
7	2225	18
done	5000	18
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	17	23
1	47	21
2	83	17
3	209	13
4	750	13
5	2749	13
done	5000	13
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	10	10
1	20	9
2	37	8
3	87	8
4	202	7
5	456	5
6	942	4
7	2143	4
done	5000	4
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	13	19
1	33	19
2	120	15
3	186	15
4	245	15
5	276	15
6	338	15
7	503	15
8	1072	15
9	3632	15
done	5000	15
0	12	17
1	33	17
2	123	17
3	192	17
4	247	17
5	286	17
6	366	17
7	589	17
8	1324	17
9	4597	17
done	5000	17
0	12	17
1	33	17
2	123	17
3	192	17
4	247	17
5	286	17
6	366	17
7	589	17
8	1324	17
9	4597	17
done	5000	17

prune130.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

92 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (sqrt (+ (* a a) (* b b))) 2.0)
0.2b	(pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6)
7.8b	(sqrt (+ (* a a) (* b b)))
29.7b	(cbrt (pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

38×	`unpow-prod-down`
17×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
14×	`cbrt-prod`
12×	`sqrt-prod`
7×	`pow1` `add-exp-log`
6×	`pow-unpow`
5×	`pow-exp` `sqr-pow`
4×	`pow-pow` `add-cbrt-cube` `add-log-exp`
3×	`pow-to-exp`
2×	`sqrt-pow1` `pow1/2` `sqrt-div`
1×	`rem-sqrt-square` `flip3-+` `pow1/3` `sqrt-pow2` `flip-+`

Counts

4 → 86

Calls

4 calls:

6.0ms	(pow (sqrt (+ (* a a) (* b b))) 2.0)
8.0ms	(pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6)
5.0ms	(sqrt (+ (* a a) (* b b)))
8.0ms	(cbrt (pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6))

series110.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(pow (sqrt (+ (* a a) (* b b))) 2.0)
43.0ms	(pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6)
6.0ms	(sqrt (+ (* a a) (* b b)))
37.0ms	(cbrt (pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6))

simplify8.4min

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	21	14
2	37	14
3	102	14
4	422	14
5	2755	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	422	14
5	2755	13
done	5000	13
0	13	24
1	22	24
2	38	24
3	103	24
4	404	24
5	2754	23
done	5000	23
0	12	14
1	21	14
2	37	14
3	102	14
4	398	14
5	2715	13
done	5000	13
0	13	23
1	23	14
2	39	14
3	104	14
4	403	14
5	2737	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	398	14
5	2715	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	398	14
5	2715	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	398	14
5	2715	13
done	5000	13
0	7	7
1	17	6
2	33	6
3	98	2
4	125	2
5	172	2
6	303	2
7	687	2
8	1950	2
done	5000	2
0	11	13
1	20	13
2	36	13
3	101	13
4	419	13
5	2787	12
done	5001	12
0	12	14
1	21	14
2	37	14
3	102	14
4	398	14
5	2715	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	398	14
5	2715	13
done	5000	13
0	6	6
1	16	2
2	19	2
3	25	2
4	32	2
5	42	2
6	55	2
7	71	2
8	90	2
9	112	2
10	137	2
11	165	2
12	196	2
13	230	2
14	267	2
15	307	2
16	350	2
17	396	2
18	445	2
19	497	2
20	552	2
21	610	2
22	671	2
23	735	2
24	802	2
25	872	2
26	945	2
27	1021	2
28	1100	2
29	1182	2
30	1267	2
31	1355	2
32	1446	2
33	1540	2
34	1637	2
35	1737	2
36	1840	2
37	1946	2
38	2055	2
39	2167	2
40	2282	2
41	2400	2
42	2521	2
43	2645	2
44	2772	2
45	2902	2
46	3035	2
47	3171	2
48	3310	2
49	3452	2
50	3597	2
51	3745	2
52	3896	2
53	4050	2
54	4207	2
55	4367	2
56	4530	2
57	4696	2
58	4865	2
done	5001	2
0	11	13
1	20	13
2	36	13
3	101	13
4	419	13
5	2787	12
done	5001	12
0	13	26
1	22	26
2	38	26
3	98	26
4	368	14
5	2343	13
done	5001	13
0	12	14
1	21	14
2	35	14
3	85	13
4	248	13
5	938	13
6	4506	13
done	5000	13
0	12	14
1	21	14
2	36	14
3	75	14
4	218	13
5	975	10
done	5000	10
0	12	14
1	21	14
2	36	14
3	75	14
4	218	13
5	975	10
done	5000	10
0	4	4
1	11	1
done	11	1
0	11	13
1	20	13
2	36	13
3	101	13
4	419	13
5	2787	12
done	5001	12
0	13	15
1	21	15
2	40	15
3	108	15
4	417	15
5	2813	12
done	5001	12
0	13	15
1	21	15
2	40	15
3	108	15
4	417	15
5	2813	12
done	5001	12
0	13	28
1	22	28
2	38	28
3	103	28
4	422	28
5	2774	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	422	14
5	2755	13
done	5000	13
0	12	14
1	21	14
2	38	14
3	103	14
4	423	14
5	2775	14
done	5001	14
0	12	14
1	21	14
2	38	14
3	103	14
4	423	14
5	2775	14
done	5001	14
0	2	2
1	4	1
done	4	1
0	11	13
1	20	13
2	36	13
3	101	13
4	419	13
5	2787	12
done	5001	12
0	13	15
1	22	13
2	38	10
3	85	10
4	228	10
5	898	10
done	5000	10
0	13	15
1	22	13
2	38	10
3	85	10
4	228	10
5	898	10
done	5000	10
0	13	29
1	22	29
2	38	29
3	103	29
4	422	29
5	2774	27
done	5000	27
0	12	14
1	21	14
2	37	14
3	102	14
4	422	14
5	2755	13
done	5000	13
0	13	41
1	23	41
2	40	15
3	107	12
4	411	12
5	2750	12
done	5000	12
0	12	14
1	21	14
2	37	14
3	102	14
4	422	14
5	2755	13
done	5000	13
0	12	14
1	21	14
2	37	14
3	102	14
4	422	14
5	2755	13
done	5000	13
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	11	13
1	16	13
2	22	13
done	22	13
0	11	13
1	16	13
2	22	13
done	22	13
0	11	13
1	19	13
2	31	13
3	62	13
4	144	13
5	439	13
6	1612	13
done	5000	13
0	11	13
1	19	13
2	31	13
3	62	13
4	144	13
5	439	13
6	1612	13
done	5000	13
0	3	3
1	4	3
done	4	3
0	12	16
1	20	16
2	32	16
3	72	16
4	164	16
5	418	16
6	1384	16
done	5001	16
0	11	13
1	19	13
2	29	13
3	63	13
4	138	13
5	340	13
6	1067	13
7	4049	13
done	5000	13
0	10	12
1	21	10
2	33	10
3	63	10
4	127	10
5	294	10
6	875	10
7	3207	10
done	5000	10
0	12	23
1	21	23
2	37	23
3	102	23
4	402	23
5	2726	23
done	5000	23
0	11	13
1	20	13
2	36	13
3	101	13
4	398	13
5	2758	13
done	5001	13
0	12	22
1	22	13
2	38	13
3	103	13
4	404	13
5	2829	13
done	5001	13
0	11	13
1	20	13
2	36	13
3	101	13
4	398	13
5	2758	13
done	5001	13
0	11	13
1	20	13
2	36	13
3	101	13
4	398	13
5	2758	13
done	5001	13
0	11	13
1	20	13
2	36	13
3	101	13
4	398	13
5	2758	13
done	5001	13
0	6	6
1	16	5
2	32	5
3	97	1
4	124	1
5	171	1
6	304	1
7	688	1
8	1939	1
done	5000	1
0	10	12
1	19	12
2	35	12
3	100	12
4	423	12
5	2674	12
done	5001	12
0	11	13
1	20	13
2	36	13
3	101	13
4	398	13
5	2758	13
done	5001	13
0	11	13
1	20	13
2	36	13
3	101	13
4	398	13
5	2758	13
done	5001	13
0	5	5
1	15	1
2	24	1
3	34	1
4	45	1
5	55	1
6	68	1
7	84	1
8	103	1
9	125	1
10	150	1
11	178	1
12	209	1
13	243	1
14	280	1
15	320	1
16	363	1
17	409	1
18	458	1
19	510	1
20	565	1
21	623	1
22	684	1
23	748	1
24	815	1
25	885	1
26	958	1
27	1034	1
28	1113	1
29	1195	1
30	1280	1
31	1368	1
32	1459	1
33	1553	1
34	1650	1
35	1750	1
36	1853	1
37	1959	1
38	2068	1
39	2180	1
40	2295	1
41	2413	1
42	2534	1
43	2658	1
44	2785	1
45	2915	1
46	3048	1
47	3184	1
48	3323	1
49	3465	1
50	3610	1
51	3758	1
52	3909	1
53	4063	1
54	4220	1
55	4380	1
56	4543	1
57	4709	1
58	4878	1
done	5000	1
0	10	12
1	19	12
2	35	12
3	100	12
4	423	12
5	2674	12
done	5001	12
0	12	25
1	21	25
2	37	25
3	97	25
4	367	13
5	2367	12
done	5000	12
0	11	13
1	20	13
2	34	13
3	84	12
4	247	12
5	941	12
6	4642	12
done	5000	12
0	11	13
1	20	13
2	35	13
3	74	13
4	218	12
5	986	12
done	5000	12
0	11	13
1	20	13
2	35	13
3	74	13
4	218	12
5	986	12
done	5000	12
0	3	3
1	10	1
done	10	1
0	10	12
1	19	12
2	35	12
3	100	12
4	423	12
5	2674	12
done	5001	12
0	12	14
1	20	14
2	39	14
3	107	14
4	421	14
5	2726	14
done	5001	14
0	12	14
1	20	14
2	39	14
3	107	14
4	421	14
5	2726	14
done	5001	14
0	11	13
1	22	13
2	45	13
3	133	13
4	584	13
5	3763	13
done	5001	13
0	11	13
1	20	13
2	38	13
3	114	13
4	493	13
5	3305	13
done	5000	13
0	12	27
1	21	27
2	37	27
3	102	27
4	422	27
5	2755	12
done	5000	12
0	11	13
1	20	13
2	36	13
3	101	13
4	419	13
5	2787	12
done	5001	12
0	12	38
1	25	25
2	55	14
3	198	14
4	1396	14
done	5000	14
0	11	13
1	20	13
2	37	13
3	102	13
4	419	13
5	2762	13
done	5001	13
0	11	13
1	20	13
2	37	13
3	102	13
4	419	13
5	2762	13
done	5001	13
0	12	14
1	21	12
2	37	12
3	84	12
4	229	12
5	905	12
done	5000	12
0	12	14
1	21	12
2	37	12
3	84	12
4	229	12
5	905	12
done	5000	12
0	9	11
1	11	11
done	11	11
0	9	11
1	11	11
done	11	11
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	5	5
1	11	3
2	14	3
done	14	3
0	10	14
1	15	14
2	22	14
3	46	14
4	105	14
5	267	14
6	885	14
7	3285	14
done	5000	14
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	2194	11
done	5001	11
0	8	10
1	16	8
2	23	8
3	34	8
4	56	8
5	122	8
6	335	8
7	1277	8
done	5000	8
0	10	21
1	15	21
2	20	21
3	38	21
4	80	21
5	191	21
6	568	21
7	1972	21
done	5000	21
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	10	20
1	16	11
2	21	11
3	39	11
4	79	11
5	186	11
6	561	11
7	1975	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	4	4
1	10	3
2	15	3
3	33	1
4	52	1
5	86	1
6	211	1
7	496	1
8	1142	1
9	2586	1
done	5000	1
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	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
0	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	185	11
6	566	11
7	1991	11
done	5000	11
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	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	9	11
1	16	11
2	24	11
3	47	11
4	113	11
5	310	11
6	1100	11
done	5001	11
0	9	11
1	14	11
2	21	11
3	44	11
4	99	11
5	262	11
6	875	11
7	3690	11
done	5001	11
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	9	11
1	14	11
2	19	11
3	37	11
4	77	11
5	182	11
6	564	11
7	1969	11
done	5000	11
0	10	32
1	18	23
2	39	12
3	94	12
4	251	12
5	809	12
6	3703	12
done	5000	12
0	3	3
done	3	3
0	9	11
1	14	11
2	20	11
3	38	11
4	78	11
5	184	11
6	562	11
7	1984	11
done	5000	11
0	9	11
1	14	11
2	20	11
3	38	11
4	78	11
5	184	11
6	562	11
7	1984	11
done	5000	11
0	10	12
1	14	12
2	22	12
3	43	12
4	91	12
5	225	12
6	724	12
7	2526	12
done	5000	12
0	10	12
1	14	12
2	22	12
3	43	12
4	91	12
5	225	12
6	724	12
7	2526	12
done	5000	12
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	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	8	8
1	20	7
2	28	5
3	48	3
4	84	3
5	175	3
6	374	3
7	965	3
8	3262	3
done	5000	3
0	11	12
1	26	10
2	50	7
3	125	5
4	442	5
5	2576	5
done	5000	5
0	12	12
1	27	11
2	52	10
3	141	10
4	534	9
5	2888	7
done	5001	7
0	14	14
1	32	13
2	53	11
3	92	9
4	175	9
5	401	9
6	1135	9
7	4052	9
done	5000	9
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	10	10
1	20	9
2	37	8
3	87	8
4	202	7
5	456	5
6	942	4
7	2143	4
done	5000	4

prune150.0ms

Filtered

69 candidates to 98 candidates (-42.0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

100 → 2

regimes133.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	14	20
1	17	20
done	17	20

end0.0ms

sample1.6s

Algorithm

intervals

Results

951.0ms

20932×

body

valid

Details

sample62.0ms

simplify4.1s

prune3.0ms

localize10.0ms

rewrite26.0ms

series50.0ms

simplify3.8min

prune133.0ms

localize13.0ms

rewrite37.0ms

series77.0ms

simplify8.8min

prune199.0ms

localize14.0ms

rewrite37.0ms

series47.0ms

simplify4.3min

prune130.0ms

localize19.0ms

rewrite29.0ms

series110.0ms

simplify8.4min

prune150.0ms

regimes133.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling