Details

sample82.0ms

Algorithm

intervals

Results

50.0ms

689×

body

valid

simplify3.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	31
1	53	31
2	140	31
3	344	31
4	839	31
5	1818	31
6	3716	31
done	5000	31

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

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 79

Calls

4 calls:

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

series71.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
6.0ms	(* (* a a) (+ 1.0 a))
25.0ms	(pow (+ (* a a) (* b b)) 2.0)
8.0ms	(* (* b b) (- 1.0 (* 3.0 a)))

simplify4.4min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	10	12
1	18	11
2	28	11
done	28	11
0	10	11
1	16	11
2	29	11
3	32	11
done	32	11
0	9	10
1	18	10
2	44	10
3	97	10
4	146	10
5	174	10
done	174	10
0	9	10
1	17	10
2	47	10
3	121	10
4	255	10
5	547	10
6	1512	10
done	5000	10
0	12	29
1	28	29
2	102	15
3	471	11
4	2534	11
done	5000	11
0	12	29
1	29	29
2	105	13
3	486	11
4	2610	11
done	5001	11
0	10	21
1	16	21
2	37	21
3	83	21
4	123	21
5	151	21
done	151	21
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	10	29
1	26	29
2	114	11
3	557	11
4	2693	11
done	5000	11
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	10	17
1	20	17
2	38	17
3	40	17
done	40	17
0	9	10
1	15	10
2	24	10
done	24	10
0	4	5
1	9	3
2	17	3
done	17	3
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	7
0	11	13
1	33	13
2	102	13
3	410	13
4	1783	13
done	5000	13
0	10	15
1	26	15
2	76	15
3	255	15
4	736	15
5	1375	15
6	1984	15
7	3001	15
done	5001	15
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	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	74	7
7	137	7
8	348	7
9	1263	7
done	5000	7
0	5	7
1	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	74	7
7	137	7
8	348	7
9	1263	7
done	5000	7
0	7	10
1	13	9
2	16	9
done	16	9
0	7	9
1	11	9
2	17	9
3	18	9
done	18	9
0	6	8
1	19	8
2	37	8
3	50	8
4	57	8
5	67	8
6	88	8
7	148	8
8	360	8
9	1277	8
done	5000	8
0	6	8
1	18	8
2	43	8
3	76	8
4	144	8
5	361	8
6	1038	8
7	3697	8
done	5001	8
0	9	23
1	35	23
2	140	13
3	559	9
4	1904	9
done	5000	9
0	9	23
1	36	23
2	141	11
3	566	9
4	2050	9
done	5000	9
0	7	17
1	17	17
2	30	17
3	35	17
4	41	17
5	51	17
6	72	17
7	138	17
8	355	17
9	1277	17
done	5000	17
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	73	8
7	133	8
8	337	8
9	1266	8
done	5000	8
0	7	23
1	27	23
2	126	9
3	537	9
4	1665	9
done	5000	9
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	73	8
7	133	8
8	337	8
9	1266	8
done	5000	8
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	73	8
7	133	8
8	337	8
9	1266	8
done	5000	8
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	5
1	7	5
2	9	5
done	9	5
0	3	5
1	4	5
2	6	3
3	11	3
4	17	3
5	27	3
6	50	3
7	113	3
8	331	3
9	1249	3
done	5001	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	5
1	6	3
2	11	3
3	17	3
4	27	3
5	50	3
6	113	3
7	331	3
8	1249	3
done	5001	3
0	7	13
1	15	13
2	26	13
done	26	13
0	6	8
1	10	8
2	12	8
done	12	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	4	5
1	11	5
2	12	5
done	12	5
0	8	11
1	30	11
2	81	11
3	159	11
4	363	11
5	988	11
6	3587	11
done	5000	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	20	31
1	54	30
2	141	30
3	380	30
4	995	30
5	3064	30
done	5000	30
0	19	30
1	49	30
2	127	30
3	307	30
4	680	30
5	1272	30
6	1996	30
7	3818	30
done	5000	30
0	19	30
1	52	30
2	140	30
3	378	30
4	965	30
5	2893	30
done	5001	30
0	20	61
1	50	61
2	128	61
3	303	61
4	678	61
5	1257	61
6	1997	61
7	3839	61
done	5000	61
0	19	30
1	49	30
2	127	30
3	307	30
4	680	30
5	1272	30
6	1996	30
7	3818	30
done	5000	30
0	20	89
1	63	89
2	210	31
3	964	31
done	5002	31
0	19	30
1	49	30
2	127	30
3	307	30
4	680	30
5	1272	30
6	1996	30
7	3818	30
done	5000	30
0	19	30
1	49	30
2	127	30
3	307	30
4	680	30
5	1272	30
6	1996	30
7	3818	30
done	5000	30
0	21	33
1	66	33
2	203	33
3	826	33
done	5000	33
0	22	89
1	70	61
2	244	61
3	1162	61
done	5000	61
0	20	59
1	63	51
2	207	51
3	902	51
done	5001	51
0	18	29
1	49	29
2	135	29
3	393	29
4	1106	29
5	2480	29
done	5000	29
0	13	19
1	32	19
2	75	19
3	139	19
4	199	19
5	322	19
6	747	19
7	2293	19
done	5000	19
0	13	19
1	32	19
2	68	19
3	125	19
4	195	19
5	322	19
6	735	19
7	2282	19
done	5000	19
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
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	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	13	17
1	36	15
2	99	13
3	151	13
4	236	13
5	424	13
6	1043	13
7	3536	13
done	5001	13
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

prune193.0ms

Filtered

69 candidates to 91 candidates (-31.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	86	5	91
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	5	92

Merged error: 0.0b

Counts

92 → 5

localize26.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.0b	(* (* b b) (- 1.0 (* 3.0 a)))
7.8b	(sqrt (+ (* a a) (* b b)))
7.8b	(sqrt (+ (* a a) (* b b)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`unpow-prod-down`
28×	`sqrt-prod`
21×	`add-exp-log`
19×	`add-cube-cbrt` `*-un-lft-identity`
17×	`unswap-sqr`
13×	`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`
2×	`distribute-rgt-in` `sub-neg` `rem-sqrt-square` `distribute-lft-in` `sqrt-pow1` `flip3-+` `pow1/2` `associate-r/` `-commutative` `flip-+`
1×	`pow2` `flip3--` `pow-sqr` `pow-prod-up` `flip--`

Counts

4 → 125

Calls

4 calls:

16.0ms	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
9.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
5.0ms	(sqrt (+ (* a a) (* b b)))
5.0ms	(sqrt (+ (* a a) (* b b)))

series66.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* (pow (sqrt (+ (* a a) (* b b))) 2.0) (pow (sqrt (+ (* a a) (* b b))) 2.0))
9.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
7.0ms	(sqrt (+ (* a a) (* b b)))
7.0ms	(sqrt (+ (* a a) (* b b)))

simplify6.7min

Counts

137 → 137

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	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	10	12
1	18	11
2	28	11
done	28	11
0	10	11
1	16	11
2	29	11
3	32	11
done	32	11
0	9	10
1	18	10
2	44	10
3	97	10
4	146	10
5	174	10
done	174	10
0	9	10
1	17	10
2	47	10
3	121	10
4	255	10
5	547	10
6	1512	10
done	5000	10
0	12	29
1	28	29
2	102	15
3	471	11
4	2534	11
done	5000	11
0	12	29
1	29	29
2	105	13
3	486	11
4	2610	11
done	5001	11
0	10	21
1	16	21
2	37	21
3	83	21
4	123	21
5	151	21
done	151	21
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	10	29
1	26	29
2	114	11
3	557	11
4	2693	11
done	5000	11
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	10	17
1	20	17
2	38	17
3	40	17
done	40	17
0	9	10
1	15	10
2	24	10
done	24	10
0	4	5
1	9	3
2	17	3
done	17	3
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	7
0	11	13
1	33	13
2	102	13
3	410	13
4	1783	13
done	5000	13
0	10	15
1	26	15
2	76	15
3	255	15
4	736	15
5	1375	15
6	1984	15
7	3001	15
done	5001	15
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	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
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

prune254.0ms

Filtered

90 candidates to 137 candidates (-52.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0b

Counts

142 → 3

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

15×	`pow1`
14×	`add-exp-log` `add-cbrt-cube`
10×	`add-sqr-sqrt`
9×	`*-un-lft-identity`
7×	`add-cube-cbrt` `associate-r`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
4×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/`
3×	`flip3-+` `sqrt-prod` `flip-+`
2×	`sub-neg` `associate-+r+` `sqrt-div` `associate-l` `*-commutative` `unswap-sqr`
1×	`+-commutative` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `sum-log` `flip--` `distribute-lft-out`

Counts

4 → 77

Calls

4 calls:

16.0ms	(+ (pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0)) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
9.0ms	(* (* a a) (+ 1.0 a))
9.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
4.0ms	(sqrt (+ (* a a) (* b b)))

series47.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(+ (pow (sqrt (+ (* a a) (* b b))) (+ 2.0 2.0)) (* 4.0 (+ (* (* a a) (+ 1.0 a)) (* (* b b) (- 1.0 (* 3.0 a))))))
6.0ms	(* (* a a) (+ 1.0 a))
9.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
8.0ms	(sqrt (+ (* a a) (* b b)))

simplify2.5min

Counts

89 → 89

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	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	10	12
1	18	11
2	28	11
done	28	11
0	10	11
1	16	11
2	29	11
3	32	11
done	32	11
0	9	10
1	18	10
2	44	10
3	97	10
4	146	10
5	174	10
done	174	10
0	9	10
1	17	10
2	47	10
3	121	10
4	255	10
5	547	10
6	1512	10
done	5000	10
0	12	29
1	28	29
2	102	15
3	471	11
4	2534	11
done	5000	11
0	12	29
1	29	29
2	105	13
3	486	11
4	2610	11
done	5001	11
0	10	21
1	16	21
2	37	21
3	83	21
4	123	21
5	151	21
done	151	21
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	10	29
1	26	29
2	114	11
3	557	11
4	2693	11
done	5000	11
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	10	17
1	20	17
2	38	17
3	40	17
done	40	17
0	9	10
1	15	10
2	24	10
done	24	10
0	4	5
1	9	3
2	17	3
done	17	3
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	7
0	11	13
1	33	13
2	102	13
3	410	13
4	1783	13
done	5000	13
0	10	15
1	26	15
2	76	15
3	255	15
4	736	15
5	1375	15
6	1984	15
7	3001	15
done	5001	15
0	5	7
1	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	74	7
7	137	7
8	348	7
9	1263	7
done	5000	7
0	5	7
1	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	74	7
7	137	7
8	348	7
9	1263	7
done	5000	7
0	7	10
1	13	9
2	16	9
done	16	9
0	7	9
1	11	9
2	17	9
3	18	9
done	18	9
0	6	8
1	19	8
2	37	8
3	50	8
4	57	8
5	67	8
6	88	8
7	148	8
8	360	8
9	1277	8
done	5000	8
0	6	8
1	18	8
2	43	8
3	76	8
4	144	8
5	361	8
6	1038	8
7	3697	8
done	5001	8
0	9	23
1	35	23
2	140	13
3	559	9
4	1904	9
done	5000	9
0	9	23
1	36	23
2	141	11
3	566	9
4	2050	9
done	5000	9
0	7	17
1	17	17
2	30	17
3	35	17
4	41	17
5	51	17
6	72	17
7	138	17
8	355	17
9	1277	17
done	5000	17
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	73	8
7	133	8
8	337	8
9	1266	8
done	5000	8
0	7	23
1	27	23
2	126	9
3	537	9
4	1665	9
done	5000	9
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	73	8
7	133	8
8	337	8
9	1266	8
done	5000	8
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	73	8
7	133	8
8	337	8
9	1266	8
done	5000	8
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	4	5
1	7	5
2	9	5
done	9	5
0	3	5
1	4	5
2	6	3
3	11	3
4	17	3
5	27	3
6	50	3
7	113	3
8	331	3
9	1249	3
done	5001	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	5
1	6	3
2	11	3
3	17	3
4	27	3
5	50	3
6	113	3
7	331	3
8	1249	3
done	5001	3
0	7	13
1	15	13
2	26	13
done	26	13
0	6	8
1	10	8
2	12	8
done	12	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	4	5
1	11	5
2	12	5
done	12	5
0	8	11
1	30	11
2	81	11
3	159	11
4	363	11
5	988	11
6	3587	11
done	5000	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	22	34
1	57	33
2	147	33
3	396	33
4	1019	33
5	3055	33
done	5000	33
0	21	33
1	52	33
2	133	33
3	318	33
4	701	33
5	1273	33
6	2063	33
7	3971	33
done	5000	33
0	21	33
1	55	33
2	146	33
3	395	33
4	992	33
5	2930	33
done	5000	33
0	22	67
1	53	67
2	134	67
3	315	67
4	706	67
5	1337	67
6	2106	67
7	4003	67
done	5000	67
0	21	33
1	52	33
2	133	33
3	318	33
4	701	33
5	1273	33
6	2063	33
7	3971	33
done	5000	33
0	22	98
1	66	98
2	216	34
3	982	34
done	5000	34
0	21	33
1	52	33
2	133	33
3	318	33
4	701	33
5	1273	33
6	2063	33
7	3971	33
done	5000	33
0	21	33
1	52	33
2	133	33
3	318	33
4	701	33
5	1273	33
6	2063	33
7	3971	33
done	5000	33
0	23	36
1	69	36
2	209	36
3	829	36
done	5000	36
0	24	98
1	73	67
2	254	65
3	1177	65
done	5002	65
0	22	65
1	66	54
2	217	52
3	926	52
done	5000	52
0	20	32
1	52	32
2	141	32
3	401	32
4	1147	32
5	2604	32
done	5001	32
0	15	22
1	35	22
2	81	22
3	150	22
4	230	22
5	394	22
6	876	22
7	2509	22
done	5001	22
0	15	22
1	35	22
2	74	22
3	138	22
4	222	22
5	388	22
6	878	22
7	2475	22
done	5001	22
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	13	17
1	36	15
2	99	13
3	151	13
4	236	13
5	424	13
6	1043	13
7	3536	13
done	5001	13
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

prune175.0ms

Filtered

69 candidates to 89 candidates (-29.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	89	3	92

Merged error: 0b

Counts

92 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6)
1.0b	(* (* b b) (- 1.0 (* 3.0 a)))
7.8b	(sqrt (+ (* a a) (* b b)))
29.7b	(cbrt (pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

32×	`unpow-prod-down`
16×	`add-sqr-sqrt`
14×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log`
10×	`pow1`
9×	`sqrt-prod` `add-cbrt-cube`
4×	`pow-exp` `add-log-exp` `sqr-pow`
3×	`pow-unpow` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`distribute-rgt-in` `pow-to-exp` `sub-neg` `distribute-lft-in` `sqrt-div` `associate-*r/`
1×	`rem-sqrt-square` `flip3--` `pow-pow` `sqrt-pow1` `flip3-+` `pow1/2` `pow1/3` `associate-l` `*-commutative` `flip--` `flip-+` `unswap-sqr`

Counts

4 → 88

Calls

4 calls:

13.0ms	(pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6)
9.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
5.0ms	(sqrt (+ (* a a) (* b b)))
8.0ms	(cbrt (pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6))

series96.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6)
9.0ms	(* (* b b) (- 1.0 (* 3.0 a)))
7.0ms	(sqrt (+ (* a a) (* b b)))
40.0ms	(cbrt (pow (pow (sqrt (+ (* a a) (* b b))) 2.0) 6))

simplify6.6min

Counts

100 → 100

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	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	8	9
1	14	9
2	35	9
3	81	9
4	127	9
5	155	9
done	155	9
0	10	12
1	18	11
2	28	11
done	28	11
0	10	11
1	16	11
2	29	11
3	32	11
done	32	11
0	9	10
1	18	10
2	44	10
3	97	10
4	146	10
5	174	10
done	174	10
0	9	10
1	17	10
2	47	10
3	121	10
4	255	10
5	547	10
6	1512	10
done	5000	10
0	12	29
1	28	29
2	102	15
3	471	11
4	2534	11
done	5000	11
0	12	29
1	29	29
2	105	13
3	486	11
4	2610	11
done	5001	11
0	10	21
1	16	21
2	37	21
3	83	21
4	123	21
5	151	21
done	151	21
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	10	29
1	26	29
2	114	11
3	557	11
4	2693	11
done	5000	11
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	9	10
1	15	10
2	36	10
3	82	10
4	128	10
5	156	10
done	156	10
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	87	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	4	5
1	7	5
2	9	5
done	9	5
0	7	8
1	17	8
2	42	8
3	89	8
4	119	8
5	125	8
done	125	8
0	10	17
1	20	17
2	38	17
3	40	17
done	40	17
0	9	10
1	15	10
2	24	10
done	24	10
0	4	5
1	9	3
2	17	3
done	17	3
0	7	7
1	11	7
2	24	7
3	45	7
4	63	7
5	71	7
done	71	7
0	11	13
1	33	13
2	102	13
3	410	13
4	1783	13
done	5000	13
0	10	15
1	26	15
2	76	15
3	255	15
4	736	15
5	1375	15
6	1984	15
7	3001	15
done	5001	15
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	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	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
0	10	13
1	22	13
2	69	9
3	140	9
4	210	9
5	224	9
6	246	9
7	307	9
8	526	9
9	1467	9
done	5001	9
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

prune198.0ms

Filtered

71 candidates to 100 candidates (-40.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	100	0	100
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	100	3	103

Merged error: 0b

Counts

103 → 3

regimes124.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	21	34
1	29	34
done	29	34

end0.0ms

sample2.2s

Algorithm

intervals

Results

1.6s

20932×

body

valid

Details

sample82.0ms

simplify3.8s

prune4.0ms

localize18.0ms

rewrite34.0ms

series71.0ms

simplify4.4min

prune193.0ms

localize26.0ms

rewrite40.0ms

series66.0ms

simplify6.7min

prune254.0ms

localize22.0ms

rewrite41.0ms

series47.0ms

simplify2.5min

prune175.0ms

localize23.0ms

rewrite38.0ms

series96.0ms

simplify6.6min

prune198.0ms

regimes124.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.2s

Profiling