Details

sample44.0ms

Algorithm

intervals

Results

15.0ms	270×	body	80	nan
15.0ms	256×	body	80	valid

simplify1.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	19
1	27	19
2	69	19
3	166	19
4	316	19
5	573	19
6	823	19
7	916	19
8	935	19
done	935	19

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.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.0b	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
0.2b	(* 3.0 (* v v))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
26×	`associate-l`
23×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
20×	`sqrt-prod`
18×	`frac-times` `sqrt-div`
17×	`pow1`
15×	`flip3--` `flip--`
11×	`associate-r`
10×	`associate-*r/` `prod-exp` `cbrt-unprod`
9×	`associate-*l/`
7×	`pow-prod-down` `unswap-sqr`
4×	`add-log-exp`
3×	`*-commutative`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `div-inv` `difference-of-squares`

Counts

4 → 128

Calls

4 calls:

3.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
12.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
15.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
6.0ms	(* 3.0 (* v v))

series37.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
11.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
16.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (- 1.0 (* v v)))
4.0ms	(* 3.0 (* v v))

simplify3.3min

Counts

140 → 140

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	19
1	27	19
2	69	19
3	166	19
4	316	19
5	573	19
6	823	19
7	916	19
8	935	19
done	935	19
0	14	19
1	27	19
2	69	19
3	166	19
4	316	19
5	573	19
6	823	19
7	916	19
8	935	19
done	935	19
0	18	23
1	33	23
2	72	23
3	134	23
4	199	23
5	262	23
6	321	23
7	432	23
8	574	23
9	589	23
10	590	23
done	590	23
0	17	22
1	31	22
2	60	22
3	104	22
4	155	22
5	220	22
6	286	22
7	363	22
8	481	22
9	615	22
10	623	22
done	623	22
0	16	21
1	30	21
2	58	21
3	93	21
4	143	21
5	205	21
6	301	21
7	368	21
8	489	21
9	588	21
10	659	21
done	659	21
0	15	20
1	31	20
2	83	20
3	206	20
4	406	20
5	741	20
6	1091	20
7	1286	20
8	1415	20
9	1472	20
10	1565	20
11	1566	20
done	1566	20
0	15	20
1	30	20
2	83	20
3	214	20
4	473	20
5	1044	20
6	2583	20
done	5000	20
0	22	59
1	50	45
2	212	27
3	1419	27
done	5000	27
0	20	59
1	46	49
2	183	25
3	1019	25
done	5000	25
0	18	59
1	44	59
2	171	23
3	972	23
done	5000	23
0	16	41
1	29	41
2	71	41
3	168	41
4	323	41
5	582	41
6	838	41
7	931	41
8	950	41
done	950	41
0	15	20
1	28	20
2	70	20
3	167	20
4	315	20
5	571	20
6	821	20
7	916	20
8	935	20
done	935	20
0	16	59
1	39	59
2	173	21
3	1099	21
done	5000	21
0	15	20
1	28	20
2	70	20
3	167	20
4	315	20
5	571	20
6	821	20
7	916	20
8	935	20
done	935	20
0	15	20
1	28	20
2	70	20
3	167	20
4	315	20
5	571	20
6	821	20
7	916	20
8	935	20
done	935	20
0	16	25
1	49	25
2	175	23
3	798	23
4	3188	23
done	5000	23
0	18	44
1	59	34
2	186	34
3	445	32
4	677	32
5	953	32
6	1564	32
7	3960	32
done	5000	32
0	17	27
1	50	27
2	157	25
3	660	23
4	2239	23
done	5000	23
0	15	32
1	45	26
2	133	26
3	248	26
4	280	26
5	313	26
6	417	26
7	735	26
8	1835	26
done	5000	26
0	17	29
1	51	29
2	152	25
3	521	23
4	1778	23
done	5001	23
0	15	28
1	42	24
2	115	24
3	293	22
4	508	22
5	689	22
6	1085	22
7	2539	22
done	5000	22
0	15	31
1	42	31
2	125	27
3	423	23
4	1055	23
5	2281	23
done	5000	23
0	11	16
1	26	16
2	59	16
3	77	16
4	87	16
done	87	16
0	18	27
1	53	27
2	188	25
3	844	25
4	3728	25
done	5001	25
0	16	42
1	54	32
2	147	32
3	290	30
4	376	30
5	510	30
6	927	30
7	2351	30
done	5001	30
0	19	29
1	54	29
2	170	27
3	728	25
4	2544	25
done	5000	25
0	13	30
1	40	24
2	102	24
3	192	24
4	221	24
5	254	24
6	355	24
7	664	24
8	1728	24
done	5000	24
0	19	31
1	55	31
2	165	27
3	582	25
4	2324	25
done	5001	25
0	13	26
1	37	22
2	80	22
3	142	20
4	199	20
5	259	20
6	442	20
7	1042	20
8	3571	20
done	5000	20
0	17	33
1	46	33
2	138	29
3	491	25
4	1493	25
5	3937	25
done	5000	25
0	9	14
1	21	14
2	28	14
done	28	14
0	15	21
1	41	21
2	114	19
3	359	19
4	1327	19
done	5000	19
0	10	19
1	30	15
2	71	15
3	135	13
4	197	13
5	261	13
6	441	13
7	1033	13
8	3523	13
done	5000	13
0	14	23
1	32	23
2	82	21
3	253	19
4	688	19
5	1547	19
6	3492	19
done	5000	19
0	6	7
1	14	7
2	19	7
done	19	7
0	13	15
1	24	15
2	52	15
3	84	15
4	103	15
5	119	15
6	128	15
done	128	15
0	14	18
1	30	18
2	79	18
3	194	18
4	361	18
5	555	18
6	705	18
7	744	18
8	745	18
done	745	18
0	13	15
1	24	15
2	52	15
3	84	15
4	103	15
5	119	15
6	128	15
done	128	15
0	14	18
1	30	18
2	79	18
3	194	18
4	361	18
5	555	18
6	705	18
7	744	18
8	745	18
done	745	18
0	13	15
1	24	15
2	52	15
3	83	15
4	103	15
5	121	15
6	129	15
done	129	15
0	14	18
1	30	18
2	79	18
3	195	18
4	369	18
5	559	18
6	741	18
7	768	18
done	768	18
0	13	15
1	24	15
2	52	15
3	83	15
4	103	15
5	121	15
6	129	15
done	129	15
0	14	18
1	30	18
2	79	18
3	195	18
4	369	18
5	559	18
6	741	18
7	768	18
done	768	18
0	16	27
1	31	27
2	70	27
3	124	27
4	178	27
5	225	27
6	259	27
7	265	27
done	265	27
0	15	20
1	28	20
2	58	20
3	87	20
4	105	20
5	121	20
6	130	20
done	130	20
0	14	15
1	27	13
2	61	13
3	103	13
4	142	13
5	157	13
6	163	13
done	163	13
0	15	18
1	33	18
2	90	18
3	160	18
4	216	18
5	266	18
6	303	18
7	308	18
done	308	18
0	9	14
1	17	14
2	38	14
3	62	14
4	71	14
5	75	14
done	75	14
0	17	23
1	45	23
2	127	21
3	424	21
4	1890	21
done	5000	21
0	16	25
1	36	25
2	97	23
3	328	21
4	1076	21
5	3127	21
done	5000	21
0	15	21
1	42	21
2	135	21
3	522	21
4	1725	21
5	4500	21
done	5000	21
0	14	25
1	35	25
2	102	25
3	289	23
4	566	21
5	845	21
6	1294	21
7	2491	21
done	5001	21
0	17	23
1	46	23
2	148	23
3	578	23
4	1917	23
5	4972	23
done	5000	23
0	16	27
1	39	27
2	115	27
3	343	25
4	724	23
5	1219	23
6	1889	23
7	3224	23
done	5000	23
0	12	17
1	23	17
2	56	17
3	109	17
4	159	17
5	205	17
6	217	17
done	217	17
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	15	16
1	25	16
2	48	16
3	69	16
4	78	16
5	83	16
6	92	16
7	109	16
8	128	16
9	136	16
done	136	16
0	14	15
1	23	15
2	42	15
3	63	15
4	73	15
5	82	15
6	87	15
7	96	15
8	113	15
9	132	15
10	140	15
done	140	15
0	13	14
1	24	14
2	46	14
3	70	14
4	88	14
5	101	14
6	113	14
7	125	14
8	148	14
9	160	14
10	176	14
11	178	14
done	178	14
0	13	14
1	23	14
2	45	14
3	67	14
4	94	14
5	160	14
6	327	14
7	849	14
8	3499	14
done	5000	14
0	18	41
1	38	27
2	136	19
3	672	19
4	3330	19
done	5000	19
0	16	41
1	34	31
2	109	17
3	433	17
4	2164	15
done	5000	15
0	14	29
1	22	29
2	38	29
3	52	29
4	54	29
5	55	29
done	55	29
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	14	41
1	32	41
2	99	15
3	353	15
4	1217	15
5	4809	15
done	5000	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	15
1	35	15
2	106	15
3	452	15
4	1602	15
5	4338	15
done	5001	15
0	13	26
1	33	20
2	90	20
3	177	20
4	202	20
5	235	20
6	338	20
7	645	20
8	1718	20
done	5000	20
0	12	19
1	28	19
2	74	19
3	216	17
4	437	15
5	687	15
6	1091	15
7	2272	15
done	5000	15
0	9	10
1	14	10
2	16	10
done	16	10
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	14	24
1	24	24
2	45	24
3	65	24
4	74	24
5	80	24
6	85	24
done	85	24
0	14	23
1	23	14
2	39	14
3	53	14
4	55	14
5	56	14
done	56	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	7	7
1	12	6
2	15	6
3	17	4
4	26	4
5	31	4
6	32	4
done	32	4
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	6	6
1	11	4
2	21	4
3	27	4
4	30	4
5	35	4
6	37	4
done	37	4
0	13	14
1	19	14
2	32	14
3	44	14
done	44	14
0	13	14
1	19	14
2	32	14
3	44	14
done	44	14
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	11	12
1	21	12
2	37	10
3	62	10
4	67	10
done	67	10
0	15	17
1	39	17
2	113	17
3	445	17
4	1570	17
5	4307	17
done	5000	17
0	14	21
1	32	21
2	81	21
3	224	19
4	450	17
5	712	17
6	1154	17
7	2342	17
done	5000	17
0	10	11
1	16	11
2	29	11
3	41	11
done	41	11
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	9	19
1	14	19
2	27	19
3	39	19
done	39	19
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	9	26
1	15	16
2	37	10
3	83	10
4	147	10
5	175	10
6	198	10
7	263	10
8	472	10
9	1405	10
done	5000	10
0	9	18
1	15	9
2	28	9
3	40	9
done	40	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	2	2
1	4	1
done	4	1
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	10	12
1	31	12
2	102	12
3	446	12
4	1559	12
5	4327	12
done	5000	12
0	11	24
1	30	18
2	87	18
3	174	18
4	198	18
5	231	18
6	335	18
7	643	18
8	1702	18
done	5001	18
0	9	16
1	24	16
2	70	16
3	214	14
4	431	12
5	692	12
6	1125	12
7	2296	12
done	5000	12
0	7	8
1	11	8
2	13	8
done	13	8
0	3	3
1	6	1
done	6	1
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
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	30	57
1	81	57
2	273	57
3	902	51
4	3955	40
done	5001	40
0	30	58
1	83	58
2	240	58
3	749	53
4	2321	41
done	5000	41
0	30	58
1	83	58
2	242	58
3	736	53
4	2093	41
done	5001	41
0	24	33
1	60	33
2	180	33
3	607	33
4	3280	30
done	5000	30
0	23	36
1	59	36
2	176	36
3	663	36
4	3671	30
done	5000	30
0	23	36
1	59	36
2	170	36
3	623	36
4	2642	30
done	5001	30
0	17	22
1	43	22
2	121	22
3	366	22
4	1525	19
done	5000	19
0	18	29
1	50	29
2	143	25
3	529	25
4	2572	25
done	5000	25
0	18	29
1	50	29
2	137	25
3	486	25
4	1895	25
done	5001	25

prune370.0ms

Filtered

113 candidates to 140 candidates (-23.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	137	3	140
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	138	3	141

Merged error: 0b

Counts

141 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
0.2b	(* 3.0 (* v v))
0.2b	(* 3.0 (* v v))
0.2b	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (neg (* v v)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

40×	`add-sqr-sqrt`
29×	`associate-l`
28×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
21×	`pow1`
17×	`sqrt-prod`
14×	`associate-r`
13×	`prod-exp` `cbrt-unprod`
10×	`pow-prod-down`
8×	`sqrt-div` `unswap-sqr`
7×	`associate-*l/`
4×	`frac-times` `flip3--` `associate-r/` `-commutative` `flip--` `add-log-exp`
2×	`cbrt-undiv` `div-exp`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out` `div-inv`

Counts

4 → 119

Calls

4 calls:

13.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
6.0ms	(* 3.0 (* v v))
10.0ms	(* 3.0 (* v v))
13.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (neg (* v v)))

series32.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v)))))
4.0ms	(* 3.0 (* v v))
4.0ms	(* 3.0 (* v v))
13.0ms	(* (* (/ (sqrt 2.0) 4.0) (sqrt (- 1.0 (* 3.0 (* v v))))) (neg (* v v)))

simplify4.3min

Counts

131 → 131

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	18
1	30	18
2	79	18
3	194	18
4	361	18
5	555	18
6	705	18
7	744	18
8	745	18
done	745	18
0	14	18
1	30	18
2	79	18
3	194	18
4	361	18
5	555	18
6	705	18
7	744	18
8	745	18
done	745	18
0	18	22
1	34	22
2	73	22
3	167	22
4	405	22
5	690	22
6	1274	22
7	1783	22
8	2313	22
9	2359	22
10	2360	22
done	2360	22
0	17	21
1	32	21
2	61	21
3	129	21
4	286	21
5	553	21
6	883	21
7	1182	21
8	1781	21
9	2332	21
10	2352	21
done	2352	21
0	16	20
1	31	20
2	59	20
3	110	20
4	224	20
5	437	20
6	799	20
7	1397	20
8	1914	20
9	2487	20
10	2727	20
done	2727	20
0	15	19
1	34	19
2	97	19
3	261	19
4	579	19
5	1097	19
6	1838	19
7	2906	19
8	3844	19
9	4605	19
done	5000	19
0	15	19
1	33	19
2	96	19
3	260	19
4	593	19
5	1299	19
6	3112	19
done	5000	19
0	22	56
1	58	40
2	259	26
3	1874	26
done	5001	26
0	20	56
1	54	44
2	230	24
3	1433	24
done	5000	24
0	18	56
1	52	54
2	218	22
3	1351	22
done	5001	22
0	16	39
1	32	39
2	81	39
3	196	39
4	361	39
5	558	39
6	708	39
7	747	39
8	748	39
done	748	39
0	15	19
1	31	19
2	80	19
3	195	19
4	361	19
5	556	19
6	707	19
7	746	19
8	748	19
done	748	19
0	16	56
1	42	56
2	212	20
3	1556	20
done	5000	20
0	15	19
1	31	19
2	80	19
3	195	19
4	361	19
5	556	19
6	707	19
7	746	19
8	748	19
done	748	19
0	15	19
1	31	19
2	80	19
3	195	19
4	361	19
5	556	19
6	707	19
7	746	19
8	748	19
done	748	19
0	13	17
1	26	17
2	63	17
3	118	17
4	171	17
5	218	17
6	252	17
7	258	17
done	258	17
0	16	25
1	32	25
2	67	25
3	123	25
4	177	25
5	224	25
6	258	25
7	264	25
done	264	25
0	15	19
1	29	19
2	55	19
3	84	19
4	102	19
5	118	19
6	127	19
done	127	19
0	14	15
1	27	13
2	61	13
3	103	13
4	142	13
5	157	13
6	163	13
done	163	13
0	14	15
1	25	15
2	54	14
3	96	14
4	119	14
5	137	14
6	147	14
done	147	14
0	14	16
1	27	16
2	64	16
3	126	16
4	196	16
5	257	16
6	297	16
7	308	16
8	309	16
done	309	16
0	13	15
1	24	15
2	52	15
3	84	15
4	102	15
5	118	15
6	127	15
done	127	15
0	9	13
1	20	13
2	43	13
3	61	13
4	63	13
done	63	13
0	15	20
1	45	20
2	143	20
3	528	20
4	1683	20
5	4475	20
done	5000	20
0	14	24
1	38	24
2	110	24
3	301	22
4	562	20
5	821	20
6	1255	20
7	2468	20
done	5001	20
0	17	22
1	49	22
2	158	22
3	601	22
4	1948	22
5	4945	22
done	5000	22
0	16	26
1	42	26
2	125	26
3	371	24
4	793	22
5	1239	22
6	1819	22
7	3120	22
done	5000	22
0	12	16
1	26	16
2	64	16
3	121	16
4	152	16
5	159	16
done	159	16
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	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	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	15	16
1	25	16
2	48	16
3	69	16
4	78	16
5	83	16
6	92	16
7	109	16
8	128	16
9	136	16
done	136	16
0	14	15
1	23	15
2	42	15
3	63	15
4	73	15
5	82	15
6	87	15
7	96	15
8	113	15
9	132	15
10	140	15
done	140	15
0	13	14
1	24	14
2	46	14
3	70	14
4	88	14
5	101	14
6	113	14
7	125	14
8	148	14
9	160	14
10	176	14
11	178	14
done	178	14
0	13	14
1	23	14
2	45	14
3	67	14
4	94	14
5	160	14
6	327	14
7	849	14
8	3499	14
done	5000	14
0	18	41
1	38	27
2	136	19
3	672	19
4	3330	19
done	5000	19
0	16	41
1	34	31
2	109	17
3	433	17
4	2164	15
done	5000	15
0	14	29
1	22	29
2	38	29
3	52	29
4	54	29
5	55	29
done	55	29
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	14	41
1	32	41
2	99	15
3	353	15
4	1217	15
5	4809	15
done	5000	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	15
1	35	15
2	106	15
3	452	15
4	1602	15
5	4338	15
done	5001	15
0	13	26
1	33	20
2	90	20
3	177	20
4	202	20
5	235	20
6	338	20
7	645	20
8	1718	20
done	5000	20
0	12	19
1	28	19
2	74	19
3	216	17
4	437	15
5	687	15
6	1091	15
7	2272	15
done	5000	15
0	9	10
1	14	10
2	16	10
done	16	10
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	14	15
1	20	15
2	33	15
3	45	15
done	45	15
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	15	16
1	23	16
2	39	16
3	53	16
4	55	16
5	56	16
done	56	16
0	14	24
1	24	24
2	45	24
3	65	24
4	74	24
5	80	24
6	85	24
done	85	24
0	14	23
1	23	14
2	39	14
3	53	14
4	55	14
5	56	14
done	56	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	7	7
1	12	6
2	15	6
3	17	4
4	26	4
5	31	4
6	32	4
done	32	4
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	6	6
1	11	4
2	21	4
3	27	4
4	30	4
5	35	4
6	37	4
done	37	4
0	13	14
1	19	14
2	32	14
3	44	14
done	44	14
0	13	14
1	19	14
2	32	14
3	44	14
done	44	14
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	14	15
1	22	15
2	38	15
3	52	15
4	54	15
5	55	15
done	55	15
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	13	14
1	21	14
2	37	14
3	51	14
4	53	14
5	54	14
done	54	14
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	11	12
1	21	12
2	37	10
3	62	10
4	67	10
done	67	10
0	15	17
1	39	17
2	113	17
3	445	17
4	1570	17
5	4307	17
done	5000	17
0	14	21
1	32	21
2	81	21
3	224	19
4	450	17
5	712	17
6	1154	17
7	2342	17
done	5000	17
0	10	11
1	16	11
2	29	11
3	41	11
done	41	11
0	27	37
1	69	37
2	225	37
3	759	37
4	3723	34
done	5000	34
0	23	36
1	60	36
2	162	36
3	550	36
4	1903	33
done	5001	33
0	23	36
1	60	36
2	168	36
3	554	36
4	1789	33
done	5000	33
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	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	24	33
1	60	33
2	180	33
3	607	33
4	3280	30
done	5000	30
0	23	36
1	59	36
2	176	36
3	663	36
4	3671	30
done	5000	30
0	23	36
1	59	36
2	170	36
3	623	36
4	2642	30
done	5001	30

prune741.0ms

Filtered

103 candidates to 131 candidates (-27.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	131	3	134

Merged error: 0b

Counts

134 → 3

localize25.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (- 1.0 (* 3.0 (* v v))))
0.0b	(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
0.0b	(* (/ (sqrt 2.0) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
0.2b	(* 3.0 (* v v))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

31×	`associate-l`
29×	`add-sqr-sqrt`
23×	`add-exp-log` `add-cbrt-cube`
22×	`add-cube-cbrt` `*-un-lft-identity`
20×	`frac-times` `sqrt-div`
19×	`flip3--` `flip--`
18×	`times-frac`
17×	`pow1`
16×	`sqrt-prod`
14×	`associate-*r/`
10×	`distribute-rgt-in` `distribute-lft-in` `prod-exp` `cbrt-unprod`
7×	`pow-prod-down` `associate-*l/`
6×	`sub-neg` `associate-r`
4×	`add-log-exp`
3×	`*-commutative` `unswap-sqr`
2×	`cbrt-undiv` `div-exp`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `div-inv` `difference-of-squares`

Counts

4 → 135

Calls

4 calls:

6.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
18.0ms	(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
31.0ms	(* (/ (sqrt 2.0) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
13.0ms	(* 3.0 (* v v))

series67.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(sqrt (- 1.0 (* 3.0 (* v v))))
18.0ms	(* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v)))
32.0ms	(* (/ (sqrt 2.0) 4.0) (* (sqrt (- 1.0 (* 3.0 (* v v)))) (- 1.0 (* v v))))
6.0ms	(* 3.0 (* v v))

simplify5.5min

Counts

147 → 147

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	19
1	27	19
2	68	19
3	163	19
4	300	19
5	498	19
6	754	19
7	935	19
8	968	19
done	968	19
0	14	19
1	27	19
2	68	19
3	163	19
4	300	19
5	498	19
6	754	19
7	935	19
8	968	19
done	968	19
0	18	23
1	33	23
2	71	23
3	126	23
4	177	23
5	284	23
6	353	23
7	471	23
8	620	23
9	632	23
done	632	23
0	17	22
1	33	22
2	71	22
3	133	22
4	194	22
5	298	22
6	365	22
7	480	22
8	633	22
9	647	22
done	647	22
0	17	22
1	31	22
2	60	22
3	103	22
4	149	22
5	213	22
6	279	22
7	348	22
8	463	22
9	598	22
10	610	22
done	610	22
0	16	21
1	31	21
2	63	21
3	113	21
4	163	21
5	214	21
6	321	21
7	390	21
8	509	21
9	654	21
10	666	21
done	666	21
0	15	20
1	31	20
2	84	20
3	204	20
4	393	20
5	666	20
6	998	20
7	1332	20
8	1486	20
9	1607	20
10	1676	20
11	1677	20
done	1677	20
0	15	20
1	30	20
2	79	20
3	203	20
4	450	20
5	969	20
6	2591	20
done	5000	20
0	22	59
1	50	45
2	203	27
3	1379	27
done	5001	27
0	20	59
1	52	55
2	206	25
3	1386	25
done	5000	25
0	20	59
1	46	49
2	176	25
3	983	25
done	5001	25
0	18	59
1	48	59
2	179	23
3	995	23
done	5000	23
0	16	41
1	29	41
2	70	41
3	163	41
4	298	41
5	498	41
6	758	41
7	939	41
8	973	41
done	973	41
0	15	20
1	28	20
2	69	20
3	164	20
4	301	20
5	496	20
6	752	20
7	933	20
8	963	20
done	963	20
0	16	59
1	39	59
2	167	21
3	1024	21
done	5000	21
0	15	20
1	28	20
2	69	20
3	164	20
4	301	20
5	496	20
6	752	20
7	933	20
8	963	20
done	963	20
0	15	20
1	28	20
2	69	20
3	164	20
4	301	20
5	496	20
6	752	20
7	933	20
8	963	20
done	963	20
0	16	25
1	49	25
2	175	23
3	796	23
4	3204	23
done	5000	23
0	18	44
1	59	34
2	178	34
3	434	32
4	686	32
5	991	32
6	1643	32
7	4029	32
done	5000	32
0	17	27
1	50	27
2	159	25
3	666	23
4	2256	23
done	5000	23
0	15	32
1	45	26
2	127	26
3	249	26
4	285	26
5	318	26
6	424	26
7	751	26
8	1869	26
done	5000	26
0	17	29
1	51	29
2	152	25
3	520	23
4	1768	23
done	5001	23
0	15	28
1	42	24
2	111	24
3	283	22
4	485	22
5	701	22
6	1094	22
7	2638	22
done	5000	22
0	15	31
1	42	31
2	127	27
3	427	23
4	1067	23
5	2286	23
done	5000	23
0	11	16
1	26	16
2	53	16
3	84	16
4	90	16
done	90	16
0	15	21
1	41	21
2	114	19
3	359	19
4	1319	19
done	5000	19
0	10	19
1	30	15
2	71	15
3	135	13
4	197	13
5	261	13
6	441	13
7	1033	13
8	3523	13
done	5000	13
0	14	23
1	32	23
2	82	21
3	254	19
4	689	19
5	1549	19
6	3426	19
done	5000	19
0	6	7
1	14	7
2	19	7
done	19	7
0	15	21
1	42	21
2	135	21
3	522	21
4	1725	21
5	4500	21
done	5000	21
0	13	26
1	33	20
2	90	20
3	177	20
4	202	20
5	235	20
6	338	20
7	645	20
8	1718	20
done	5000	20
0	14	25
1	35	25
2	102	25
3	289	23
4	570	21
5	867	21
6	1320	21
7	2532	21
done	5001	21
0	9	10
1	14	10
2	16	10
done	16	10
0	13	15
1	24	15
2	51	15
3	79	15
4	97	15
5	108	15
6	118	15
7	119	15
done	119	15
0	14	18
1	30	18
2	79	18
3	200	18
4	381	18
5	545	18
6	711	18
7	780	18
8	781	18
done	781	18
0	13	15
1	24	15
2	51	15
3	79	15
4	97	15
5	108	15
6	118	15
7	119	15
done	119	15
0	14	18
1	30	18
2	79	18
3	200	18
4	381	18
5	545	18
6	711	18
7	780	18
8	781	18
done	781	18
0	13	15
1	24	15
2	51	15
3	79	15
4	97	15
5	108	15
6	118	15
7	119	15
done	119	15
0	14	18
1	30	18
2	79	18
3	202	18
4	375	18
5	541	18
6	707	18
7	778	18
8	779	18
done	779	18
0	13	15
1	24	15
2	51	15
3	79	15
4	97	15
5	108	15
6	118	15
7	119	15
done	119	15
0	14	18
1	30	18
2	79	18
3	202	18
4	375	18
5	541	18
6	707	18
7	778	18
8	779	18
done	779	18
0	13	15
1	24	15
2	51	15
3	81	15
4	101	15
5	109	15
6	111	15
done	111	15
0	14	18
1	30	18
2	79	18
3	208	18
4	397	18
5	610	18
6	768	18
7	797	18
done	797	18
0	13	15
1	24	15
2	51	15
3	81	15
4	101	15
5	109	15
6	111	15
done	111	15
0	14	18
1	30	18
2	79	18
3	208	18
4	397	18
5	610	18
6	768	18
7	797	18
done	797	18
0	13	15
1	24	15
2	51	15
3	81	15
4	101	15
5	109	15
6	111	15
done	111	15
0	14	18
1	30	18
2	79	18
3	213	18
4	410	18
5	635	18
6	784	18
7	804	18
done	804	18
0	13	15
1	24	15
2	51	15
3	81	15
4	101	15
5	109	15
6	111	15
done	111	15
0	14	18
1	30	18
2	79	18
3	213	18
4	410	18
5	635	18
6	784	18
7	804	18
done	804	18
0	12	13
1	20	13
2	36	13
3	50	13
4	52	13
5	53	13
done	53	13
0	15	20
1	26	20
2	59	20
3	112	20
4	164	20
5	208	20
6	220	20
done	220	20
0	15	20
1	26	20
2	59	20
3	112	20
4	164	20
5	208	20
6	220	20
done	220	20
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	504	20
6	766	20
7	948	20
8	978	20
done	978	20
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	504	20
6	766	20
7	948	20
8	978	20
done	978	20
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	504	20
6	766	20
7	948	20
8	978	20
done	978	20
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	506	20
6	766	20
7	947	20
8	979	20
done	979	20
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	506	20
6	766	20
7	947	20
8	979	20
done	979	20
0	14	19
1	27	19
2	68	19
3	163	19
4	300	19
5	498	19
6	754	19
7	935	19
8	968	19
done	968	19
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	16	21
1	29	21
2	70	21
3	163	21
4	298	21
5	502	21
6	762	21
7	943	21
8	977	21
done	977	21
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	504	20
6	766	20
7	948	20
8	978	20
done	978	20
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	506	20
6	766	20
7	947	20
8	979	20
done	979	20
0	15	20
1	28	20
2	69	20
3	164	20
4	299	20
5	506	20
6	766	20
7	947	20
8	979	20
done	979	20
0	14	19
1	27	19
2	68	19
3	163	19
4	300	19
5	498	19
6	754	19
7	935	19
8	968	19
done	968	19
0	14	19
1	27	19
2	68	19
3	163	19
4	300	19
5	498	19
6	754	19
7	935	19
8	968	19
done	968	19
0	13	18
1	28	18
2	69	16
3	191	16
4	368	16
5	666	16
6	876	16
7	994	16
8	1009	16
done	1009	16
0	18	27
1	53	27
2	187	25
3	844	25
4	3786	25
done	5001	25
0	19	29
1	54	29
2	171	27
3	729	25
4	2561	25
done	5000	25
0	19	31
1	55	31
2	164	27
3	578	25
4	2342	25
done	5000	25
0	17	33
1	46	33
2	139	29
3	495	25
4	1510	25
5	3787	25
done	5000	25
0	17	23
1	45	23
2	126	21
3	419	21
4	1916	21
done	5000	21
0	16	25
1	36	25
2	94	23
3	326	21
4	1061	21
5	2930	21
done	5001	21
0	17	23
1	46	23
2	147	23
3	567	23
4	1848	23
5	4792	23
done	5000	23
0	16	27
1	39	27
2	114	27
3	340	25
4	719	23
5	1174	23
6	1864	23
7	3300	23
done	5000	23
0	12	17
1	23	17
2	56	17
3	109	17
4	159	17
5	205	17
6	217	17
done	217	17
0	9	14
1	17	14
2	38	14
3	62	14
4	71	14
5	75	14
done	75	14
0	11	16
1	19	16
2	34	16
3	45	16
done	45	16
0	10	15
1	21	15
2	43	15
3	67	15
4	76	15
5	80	15
done	80	15
0	10	15
1	20	15
2	47	15
3	91	15
4	148	15
5	286	15
6	665	15
7	2193	15
done	5001	15
0	13	44
1	27	34
2	92	18
3	362	18
4	1741	16
done	5000	16
0	11	31
1	19	31
2	40	31
3	64	31
4	73	31
5	77	31
done	77	31
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	11	44
1	29	44
2	97	16
3	351	16
4	1527	16
done	5001	16
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	13	22
1	43	22
2	157	20
3	692	20
4	2630	20
done	5001	20
0	16	42
1	54	32
2	147	32
3	290	30
4	376	30
5	510	30
6	927	30
7	2351	30
done	5001	30
0	14	24
1	44	24
2	137	22
3	573	20
4	1872	20
done	5000	20
0	13	30
1	40	24
2	102	24
3	192	24
4	221	24
5	254	24
6	355	24
7	664	24
8	1728	24
done	5000	24
0	14	26
1	45	26
2	134	22
3	421	20
4	1186	20
5	3634	20
done	5000	20
0	13	26
1	37	22
2	80	22
3	142	20
4	199	20
5	259	20
6	442	20
7	1042	20
8	3571	20
done	5000	20
0	12	28
1	36	28
2	107	24
3	325	20
4	740	20
5	1426	20
6	2941	20
done	5000	20
0	9	14
1	21	14
2	28	14
done	28	14
0	11	16
1	19	16
2	34	16
3	45	16
done	45	16
0	11	16
1	19	16
2	34	16
3	45	16
done	45	16
0	11	16
1	19	16
2	34	16
3	45	16
done	45	16
0	11	16
1	19	16
2	34	16
3	45	16
done	45	16
0	8	10
1	14	10
2	27	10
3	39	10
done	39	10
0	9	13
1	20	13
2	43	13
3	61	13
4	63	13
done	63	13
0	8	10
1	14	10
2	27	10
3	39	10
done	39	10
0	9	13
1	20	13
2	43	13
3	61	13
4	63	13
done	63	13
0	8	10
1	14	10
2	27	10
3	39	10
done	39	10
0	9	13
1	20	13
2	43	13
3	61	13
4	63	13
done	63	13
0	8	10
1	14	10
2	27	10
3	39	10
done	39	10
0	9	13
1	20	13
2	43	13
3	61	13
4	63	13
done	63	13
0	11	22
1	21	22
2	38	22
3	49	22
done	49	22
0	10	15
1	18	15
2	33	15
3	44	15
done	44	15
0	9	10
1	17	8
2	33	8
3	45	8
done	45	8
0	10	13
1	23	13
2	37	13
3	49	13
done	49	13
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	9	14
1	17	14
2	38	14
3	62	14
4	71	14
5	75	14
done	75	14
0	10	15
1	18	15
2	39	15
3	63	15
4	70	15
5	74	15
done	74	15
0	9	14
1	17	14
2	38	14
3	62	14
4	71	14
5	75	14
done	75	14
0	12	18
1	35	18
2	96	16
3	260	16
4	751	16
5	2726	16
done	5000	16
0	11	20
1	26	20
2	64	18
3	157	16
4	321	16
5	632	16
6	1312	16
7	3560	16
done	5001	16
0	12	18
1	36	18
2	117	18
3	472	18
4	1609	18
5	4393	18
done	5000	18
0	11	22
1	29	22
2	84	22
3	236	20
4	475	18
5	729	18
6	1126	18
7	2311	18
done	5000	18
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	9	19
1	14	19
2	27	19
3	39	19
done	39	19
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	9	26
1	15	16
2	37	10
3	83	10
4	147	10
5	175	10
6	198	10
7	263	10
8	472	10
9	1405	10
done	5000	10
0	9	18
1	15	9
2	28	9
3	40	9
done	40	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	2	2
1	4	1
done	4	1
0	7	8
1	12	8
2	25	8
3	37	8
done	37	8
0	10	12
1	31	12
2	102	12
3	446	12
4	1559	12
5	4327	12
done	5000	12
0	11	24
1	30	18
2	87	18
3	174	18
4	198	18
5	231	18
6	335	18
7	643	18
8	1702	18
done	5001	18
0	9	16
1	24	16
2	70	16
3	214	14
4	431	12
5	692	12
6	1125	12
7	2296	12
done	5000	12
0	7	8
1	11	8
2	13	8
done	13	8
0	3	3
1	6	1
done	6	1
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
0	8	9
1	13	9
2	26	9
3	38	9
done	38	9
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	30	57
1	81	57
2	273	57
3	902	51
4	3955	40
done	5001	40
0	30	58
1	83	58
2	240	58
3	749	53
4	2321	41
done	5000	41
0	30	58
1	83	58
2	242	58
3	736	53
4	2093	41
done	5001	41
0	23	40
1	60	40
2	180	40
3	535	33
4	1983	29
done	5000	29
0	25	45
1	70	45
2	179	41
3	478	41
4	1257	33
5	3745	32
done	5000	32
0	25	45
1	70	45
2	181	41
3	479	41
4	1383	33
5	4988	32
done	5000	32
0	17	22
1	43	22
2	121	22
3	366	22
4	1525	19
done	5000	19
0	18	29
1	50	29
2	143	25
3	529	25
4	2572	25
done	5000	25
0	18	29
1	50	29
2	137	25
3	486	25
4	1895	25
done	5001	25

prune366.0ms

Filtered

120 candidates to 147 candidates (-22.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	147	3	150

Merged error: 0b

Counts

150 → 3

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (* 3.0 (* v v)) 3)
0.2b	(* 3.0 (* v v))
0.2b	(* 3.0 (* v v))
0.2b	(* 3.0 (* v v))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

25×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt`
9×	`associate-l`
8×	`add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`pow-unpow` `pow-pow` `associate-r` `pow-exp` `*-commutative` `rem-cube-cbrt` `unswap-sqr`
1×	`cube-mult` `pow-to-exp` `unpow-prod-down` `unpow3` `cube-prod` `sqr-pow`

Counts

4 → 82

Calls

4 calls:

7.0ms	(pow (* 3.0 (* v v)) 3)
7.0ms	(* 3.0 (* v v))
7.0ms	(* 3.0 (* v v))
7.0ms	(* 3.0 (* v v))

series16.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(pow (* 3.0 (* v v)) 3)
4.0ms	(* 3.0 (* v v))
4.0ms	(* 3.0 (* v v))
4.0ms	(* 3.0 (* v v))

simplify2.5min

Counts

94 → 94

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	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	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	8	10
1	14	9
2	31	9
3	42	9
4	44	9
done	44	9
0	8	9
1	12	9
2	26	9
3	43	9
4	53	9
done	53	9
0	7	8
1	14	8
2	27	8
3	43	8
4	55	8
5	59	8
done	59	8
0	7	8
1	14	8
2	27	8
3	43	8
4	55	8
5	59	8
done	59	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	8	11
1	15	11
2	24	11
3	48	11
4	104	11
5	261	11
6	876	11
7	3310	11
done	5000	11
0	7	8
1	14	8
2	21	8
3	39	8
4	78	8
5	183	8
6	557	8
7	2177	8
done	5001	8
0	6	7
1	16	5
2	25	5
3	36	5
4	60	5
5	122	5
6	332	5
7	1262	5
done	5000	5
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	5
1	14	5
2	35	3
3	68	3
4	143	3
5	359	3
6	1179	3
done	5001	3
0	5	11
1	15	11
2	42	11
3	84	9
4	95	7
5	128	7
6	226	7
7	514	7
8	1518	7
done	5000	7
0	7	8
1	23	8
2	90	8
3	336	8
4	896	8
5	2491	8
done	5000	8
0	7	8
1	21	8
2	80	8
3	315	8
4	841	8
5	2823	8
done	5000	8
0	8	17
1	21	11
2	72	11
3	261	9
4	593	7
5	1600	7
done	5000	7
0	7	8
1	21	5
2	72	5
3	254	5
4	567	5
5	1573	5
done	5000	5
0	8	23
1	26	15
2	121	9
3	1012	9
done	5000	9
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	5
1	14	5
2	35	3
3	68	3
4	143	3
5	359	3
6	1179	3
done	5001	3
0	5	11
1	15	11
2	42	11
3	84	9
4	95	7
5	128	7
6	226	7
7	514	7
8	1518	7
done	5000	7
0	7	8
1	21	8
2	73	8
3	255	8
4	565	8
5	1576	8
done	5000	8
0	7	8
1	21	8
2	73	8
3	255	8
4	565	8
5	1576	8
done	5000	8
0	8	9
1	16	7
2	24	7
3	34	7
4	55	7
5	119	7
6	331	7
7	1270	7
done	5000	7
0	8	9
1	16	7
2	24	7
3	34	7
4	55	7
5	119	7
6	331	7
7	1270	7
done	5000	7
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	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	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	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5

prune303.0ms

Filtered

68 candidates to 94 candidates (-38.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	94	3	97

Merged error: 0b

Counts

97 → 3

regimes67.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify8.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	34
1	26	34
2	29	34
3	36	34
4	38	34
done	38	34

end0.0ms

sample1.3s

Algorithm

intervals

Results

497.0ms	8000×	body	80	valid
467.0ms	8034×	body	80	nan

Details

sample44.0ms

simplify1.8s

prune3.0ms

localize13.0ms

rewrite47.0ms

series37.0ms

simplify3.3min

prune370.0ms

localize15.0ms

rewrite49.0ms

series32.0ms

simplify4.3min

prune741.0ms

localize25.0ms

rewrite86.0ms

series67.0ms

simplify5.5min

prune366.0ms

localize27.0ms

rewrite31.0ms

series16.0ms

simplify2.5min

prune303.0ms

regimes67.0ms

bsearch0.0ms

simplify8.0ms

end0.0ms

sample1.3s

Profiling