Details

sample62.0ms

Algorithm

intervals

Results

49.0ms

443×

body

valid

simplify2.0s

Counts

1 → 1

Iterations

Useful iterations: 3 (95.0ms)

Iter	Nodes	Cost
0	28	67
1	69	67
2	221	48
3	781	37
4	2479	37
done	5001	37

prune14.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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

Counts

2 → 2

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 (sqrt PI)) (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 6) (/ 1.0 21.0)) (* (pow (fabs x) 4) (/ 1.0 5.0))))) (* (pow (fabs x) 3) (/ 2.0 3.0))))
0.1b	(* (pow (fabs x) 4) (/ 1.0 5.0))
0.1b	(* (pow (fabs x) 3) (/ 2.0 3.0))
1.0b	(sqrt PI)

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt`
45×	`times-frac`
41×	`associate-l`
38×	`add-cube-cbrt` `*-un-lft-identity`
35×	`add-exp-log`
29×	`associate-r`
19×	`add-cbrt-cube`
17×	`unswap-sqr`
14×	`associate-*r/` `prod-exp`
13×	`sqrt-prod`
10×	`unpow-prod-down`
7×	`pow1` `div-exp`
6×	`cbrt-unprod` `sqr-pow`
5×	`cube-prod`
4×	`frac-times` `pow-to-exp` `flip3-+` `frac-add` `pow-exp` `flip-+` `add-log-exp`
3×	`cbrt-undiv` `*-commutative` `div-inv`
1×	`distribute-rgt-in` `cube-mult` `rem-sqrt-square` `distribute-lft-in` `sqrt-pow1` `pow1/2` `unpow3` `pow-prod-down` `associate-*l/`

Counts

4 → 158

Calls

4 calls:

19.0ms	(* (/ 1.0 (sqrt PI)) (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 6) (/ 1.0 21.0)) (* (pow (fabs x) 4) (/ 1.0 5.0))))) (* (pow (fabs x) 3) (/ 2.0 3.0))))
10.0ms	(* (pow (fabs x) 4) (/ 1.0 5.0))
12.0ms	(* (pow (fabs x) 3) (/ 2.0 3.0))
2.0ms	(sqrt PI)

series87.0ms

Counts

4 → 10

Calls

4 calls:

69.0ms	(* (/ 1.0 (sqrt PI)) (+ (* (fabs x) (+ 2.0 (+ (* (pow (fabs x) 6) (/ 1.0 21.0)) (* (pow (fabs x) 4) (/ 1.0 5.0))))) (* (pow (fabs x) 3) (/ 2.0 3.0))))
9.0ms	(* (pow (fabs x) 4) (/ 1.0 5.0))
9.0ms	(* (pow (fabs x) 3) (/ 2.0 3.0))
0.0ms	(sqrt PI)

simplify8.6min

Counts

168 → 168

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	11	11
1	17	11
2	24	11
3	33	11
4	46	11
5	64	11
6	76	11
7	88	11
8	111	11
9	125	11
10	131	11
done	131	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	11	11
1	17	11
2	24	11
3	33	11
4	46	11
5	64	11
6	76	11
7	88	11
8	111	11
9	125	11
10	131	11
done	131	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	11	11
1	26	11
2	45	11
3	105	11
4	254	11
5	626	11
6	2057	11
done	5000	11
0	10	10
1	24	10
2	42	10
3	90	10
4	230	10
5	600	10
6	1954	10
done	5001	10
0	9	9
1	23	9
2	63	9
3	162	9
4	422	9
5	1187	9
6	4018	9
done	5001	9
0	9	9
1	22	9
2	60	9
3	147	9
4	367	9
5	1075	9
6	3967	9
done	5000	9
0	14	26
1	40	21
2	161	14
3	981	12
done	5001	12
0	12	26
1	36	21
2	128	12
3	640	12
4	4464	10
done	5000	10
0	10	19
1	21	19
2	48	19
3	98	19
4	222	19
5	600	19
6	2072	19
done	5000	19
0	9	9
1	20	9
2	47	9
3	99	9
4	221	9
5	591	9
6	2061	9
done	5001	9
0	10	26
1	31	26
2	145	10
3	899	10
done	5000	10
0	9	9
1	20	9
2	47	9
3	99	9
4	221	9
5	591	9
6	2061	9
done	5001	9
0	9	9
1	20	9
2	47	9
3	99	9
4	221	9
5	591	9
6	2061	9
done	5001	9
0	10	10
1	19	10
2	37	10
3	66	10
4	113	10
5	256	10
6	769	10
7	3067	10
done	5000	10
0	10	10
1	19	10
2	37	10
3	66	10
4	113	10
5	256	10
6	769	10
7	3067	10
done	5000	10
0	11	11
1	22	11
2	49	11
3	100	11
4	223	11
5	596	11
6	2067	11
done	5001	11
0	11	11
1	22	11
2	49	11
3	100	11
4	223	11
5	596	11
6	2067	11
done	5001	11
0	10	10
1	19	10
2	37	10
3	66	10
4	113	10
5	256	10
6	769	10
7	3067	10
done	5000	10
0	10	10
1	19	10
2	37	10
3	66	10
4	113	10
5	256	10
6	769	10
7	3067	10
done	5000	10
0	11	11
1	22	11
2	49	11
3	100	11
4	223	11
5	596	11
6	2067	11
done	5001	11
0	11	11
1	22	11
2	49	11
3	100	11
4	223	11
5	596	11
6	2067	11
done	5001	11
0	10	10
1	19	10
2	26	10
3	36	10
4	57	10
5	113	10
6	326	10
7	1244	10
done	5000	10
0	10	10
1	19	10
2	26	10
3	36	10
4	57	10
5	113	10
6	326	10
7	1244	10
done	5000	10
0	11	11
1	22	11
2	32	11
3	46	11
4	68	11
5	128	11
6	341	11
7	1269	11
done	5000	11
0	11	11
1	22	11
2	32	11
3	46	11
4	68	11
5	128	11
6	341	11
7	1269	11
done	5000	11
0	11	11
1	17	9
2	27	9
3	45	9
4	91	9
5	235	9
6	754	9
7	3054	9
done	5001	9
0	11	11
1	17	9
2	27	9
3	45	9
4	91	9
5	235	9
6	754	9
7	3054	9
done	5001	9
0	12	12
1	20	10
2	35	10
3	68	10
4	166	10
5	530	10
6	1990	10
done	5000	10
0	12	12
1	20	10
2	35	10
3	68	10
4	166	10
5	530	10
6	1990	10
done	5000	10
0	10	14
1	21	14
2	50	14
3	107	14
4	197	14
5	493	14
6	1567	14
done	5001	14
0	9	9
1	18	9
2	36	9
3	58	9
4	105	9
5	251	9
6	780	9
7	3083	9
done	5000	9
0	12	16
1	29	16
2	88	16
3	278	16
4	898	16
5	2979	16
done	5000	16
0	11	13
1	24	13
2	60	13
3	159	13
4	422	13
5	1208	13
6	4237	13
done	5000	13
0	10	12
1	25	10
2	64	10
3	199	10
4	592	10
5	1986	10
done	5001	10
0	11	13
1	24	13
2	59	13
3	158	13
4	423	13
5	1283	13
6	4887	13
done	5000	13
0	10	10
1	21	10
2	48	10
3	104	10
4	225	10
5	606	10
6	2069	10
done	5000	10
0	9	9
1	22	7
2	47	7
3	101	7
4	268	7
5	866	7
6	3088	7
done	5000	7
0	10	12
1	25	12
2	59	10
3	218	10
4	509	10
5	1100	10
6	3267	10
done	5000	10
0	9	9
1	22	9
2	49	7
3	144	7
4	267	7
5	550	7
6	1482	7
done	5000	7
0	7	8
1	20	6
2	43	4
3	106	4
4	210	4
5	464	4
6	1256	4
done	5000	4
0	6	6
1	17	4
2	38	4
3	81	4
4	128	4
5	229	4
6	508	4
7	1643	4
done	5000	4
0	6	6
1	15	6
2	33	6
3	61	6
4	105	6
5	255	6
6	781	6
7	3071	6
done	5000	6
0	9	9
1	20	6
2	47	6
3	99	6
4	223	6
5	596	6
6	2054	6
done	5001	6
0	9	9
1	20	9
2	47	9
3	100	9
4	224	9
5	594	9
6	2054	9
done	5001	9
0	8	8
1	19	8
2	46	8
3	97	8
4	220	8
5	596	8
6	2059	8
done	5000	8
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	9
1	20	6
2	29	6
3	43	6
4	65	6
5	127	6
6	343	6
7	1263	6
done	5001	6
0	9	9
1	20	6
2	47	6
3	99	6
4	223	6
5	596	6
6	2054	6
done	5001	6
0	9	9
1	20	9
2	47	9
3	100	9
4	224	9
5	594	9
6	2054	9
done	5001	9
0	8	8
1	19	8
2	46	8
3	97	8
4	220	8
5	596	8
6	2059	8
done	5000	8
0	7	9
1	12	9
2	20	9
3	31	9
4	41	9
5	46	9
done	46	9
0	9	9
1	20	9
2	30	9
3	44	9
4	66	9
5	126	9
6	330	9
7	1252	9
done	5000	9
0	8	8
1	19	8
2	46	8
3	97	8
4	220	8
5	596	8
6	2059	8
done	5000	8
0	10	10
1	18	8
2	33	8
3	68	8
4	169	8
5	533	8
6	1992	8
done	5000	8
0	6	6
1	15	6
2	33	6
3	61	6
4	105	6
5	255	6
6	781	6
7	3071	6
done	5000	6
0	11	11
1	17	11
2	24	11
3	33	11
4	46	11
5	64	11
6	76	11
7	88	11
8	111	11
9	125	11
10	131	11
done	131	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	11	11
1	17	11
2	24	11
3	33	11
4	46	11
5	64	11
6	76	11
7	88	11
8	111	11
9	125	11
10	131	11
done	131	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	11	11
1	22	11
2	39	11
3	83	11
4	183	11
5	514	11
6	1860	11
done	5001	11
0	10	10
1	20	10
2	36	10
3	76	10
4	172	10
5	493	10
6	1773	10
done	5000	10
0	9	9
1	19	9
2	45	9
3	125	9
4	307	9
5	974	9
6	3708	9
done	5000	9
0	9	9
1	18	9
2	41	9
3	116	9
4	282	9
5	880	9
6	3458	9
done	5000	9
0	14	26
1	36	21
2	136	14
3	699	12
4	4375	12
done	5000	12
0	12	26
1	32	21
2	103	12
3	422	12
4	2229	10
done	5000	10
0	10	19
1	17	19
2	33	19
3	88	19
4	190	19
5	554	19
6	2016	19
done	5000	19
0	9	9
1	16	9
2	32	9
3	89	9
4	190	9
5	549	9
6	2007	9
done	5000	9
0	10	26
1	27	26
2	108	10
3	554	10
4	2721	10
done	5001	10
0	9	9
1	16	9
2	32	9
3	89	9
4	190	9
5	549	9
6	2007	9
done	5000	9
0	9	9
1	16	9
2	32	9
3	89	9
4	190	9
5	549	9
6	2007	9
done	5000	9
0	10	10
1	15	10
2	26	10
3	64	10
4	118	10
5	270	10
6	799	10
7	2919	10
done	5000	10
0	10	10
1	15	10
2	26	10
3	64	10
4	118	10
5	270	10
6	799	10
7	2919	10
done	5000	10
0	11	11
1	18	11
2	34	11
3	89	11
4	192	11
5	544	11
6	2017	11
done	5000	11
0	11	11
1	18	11
2	34	11
3	89	11
4	192	11
5	544	11
6	2017	11
done	5000	11
0	10	10
1	15	10
2	23	10
3	43	10
4	70	10
5	133	10
6	344	10
7	1212	10
done	5000	10
0	10	10
1	15	10
2	23	10
3	43	10
4	70	10
5	133	10
6	344	10
7	1212	10
done	5000	10
0	11	11
1	18	11
2	29	11
3	53	11
4	79	11
5	142	11
6	356	11
7	1236	11
done	5001	11
0	11	11
1	18	11
2	29	11
3	53	11
4	79	11
5	142	11
6	356	11
7	1236	11
done	5001	11
0	11	11
1	16	9
2	28	9
3	47	9
4	97	9
5	250	9
6	774	9
7	3208	9
done	5001	9
0	11	11
1	16	9
2	28	9
3	47	9
4	97	9
5	250	9
6	774	9
7	3208	9
done	5001	9
0	12	12
1	19	10
2	36	10
3	70	10
4	170	10
5	537	10
6	2007	10
done	5000	10
0	12	12
1	19	10
2	36	10
3	70	10
4	170	10
5	537	10
6	2007	10
done	5000	10
0	10	14
1	17	14
2	35	14
3	95	14
4	186	14
5	469	14
6	1537	14
done	5001	14
0	9	9
1	14	9
2	25	9
3	61	9
4	112	9
5	265	9
6	789	9
7	2934	9
done	5000	9
0	12	16
1	25	16
2	73	16
3	214	16
4	625	16
5	2384	16
done	5001	16
0	11	13
1	20	13
2	45	13
3	129	13
4	324	13
5	1067	13
6	4050	13
done	5000	13
0	10	12
1	21	10
2	52	10
3	159	10
4	602	10
5	2489	10
done	5000	10
0	11	13
1	20	13
2	44	13
3	121	13
4	307	13
5	1075	13
6	4662	13
done	5000	13
0	10	10
1	17	10
2	33	10
3	90	10
4	193	10
5	556	10
6	2022	10
done	5000	10
0	9	9
1	18	7
2	35	7
3	86	7
4	292	7
5	1134	7
6	3258	7
done	5000	7
0	10	12
1	21	12
2	43	10
3	147	10
4	508	10
5	1453	10
6	3527	10
done	5001	10
0	9	9
1	18	9
2	33	7
3	107	7
4	306	7
5	763	7
6	1645	7
done	5000	7
0	7	8
1	16	6
2	31	4
3	82	4
4	157	4
5	380	4
6	1172	4
done	5000	4
0	6	6
1	13	4
2	26	4
3	65	4
4	159	4
5	308	4
6	571	4
7	1597	4
done	5000	4
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	255	6
6	794	6
7	2926	6
done	5000	6
0	9	9
1	16	9
2	32	9
3	89	9
4	192	9
5	552	9
6	2012	9
done	5000	9
0	9	9
1	16	9
2	32	9
3	89	9
4	193	9
5	553	9
6	2014	9
done	5000	9
0	8	8
1	15	8
2	31	8
3	86	8
4	187	8
5	547	8
6	2000	8
done	5000	8
0	9	9
1	16	9
2	26	9
3	50	9
4	76	9
5	138	9
6	350	9
7	1235	9
done	5001	9
0	9	9
1	16	9
2	27	9
3	51	9
4	77	9
5	136	9
6	351	9
7	1232	9
done	5000	9
0	8	8
1	15	8
2	31	8
3	86	8
4	187	8
5	547	8
6	2000	8
done	5000	8
0	10	10
1	17	8
2	34	8
3	70	8
4	175	8
5	543	8
6	2018	8
done	5001	8
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	255	6
6	794	6
7	2926	6
done	5000	6
0	27	36
1	71	36
2	203	36
3	750	36
4	2881	34
done	5000	34
0	30	39
1	70	39
2	170	39
3	503	39
4	1658	37
done	5000	37
0	29	38
1	68	38
2	164	38
3	513	38
4	1655	36
done	5000	36
0	28	37
1	75	37
2	213	37
3	782	37
4	2976	35
done	5001	35
0	28	37
1	74	37
2	214	37
3	821	37
4	3150	35
done	5000	35
0	33	110
1	95	106
2	370	42
3	2466	40
done	5000	40
0	31	110
1	91	110
2	337	40
3	2113	40
done	5001	40
0	29	75
1	73	75
2	205	75
3	763	75
4	2931	71
done	5000	71
0	28	37
1	72	37
2	204	37
3	764	37
4	2907	35
done	5001	35
0	29	110
1	83	110
2	307	38
3	1790	38
done	5001	38
0	28	37
1	72	37
2	204	37
3	764	37
4	2907	35
done	5001	35
0	28	37
1	72	37
2	204	37
3	764	37
4	2907	35
done	5001	35
0	32	97
1	104	79
2	357	79
3	1707	79
done	5000	79
0	25	64
1	64	46
2	213	46
3	861	46
4	4931	42
done	5000	42
0	28	73
1	79	73
2	264	73
3	1344	73
done	5000	73
0	21	24
1	44	24
2	104	24
3	321	24
4	1226	22
done	5001	22
0	26	37
1	83	37
2	296	37
3	1806	37
done	5001	37
0	30	98
1	96	89
2	368	88
3	2179	69
done	5000	69
0	26	65
1	79	60
2	288	59
3	1581	59
done	5000	59
0	26	34
1	63	34
2	168	34
3	614	34
4	2337	32
done	5001	32
0	29	38
1	65	38
2	155	38
3	499	38
4	1614	36
done	5001	36
0	29	38
1	65	38
2	155	38
3	499	38
4	1614	36
done	5001	36
0	30	39
1	68	39
2	161	39
3	485	39
4	1616	37
done	5000	37
0	30	39
1	68	39
2	161	39
3	485	39
4	1616	37
done	5000	37
0	30	39
1	68	39
2	161	39
3	485	39
4	1616	37
done	5000	37
0	30	39
1	68	39
2	161	39
3	485	39
4	1616	37
done	5000	37
0	21	27
1	51	27
2	143	27
3	478	27
4	1593	25
done	5001	25
0	13	13
1	29	13
2	84	13
3	284	13
4	947	13
5	3739	13
done	5001	13
0	21	27
1	51	27
2	123	27
3	386	27
4	1326	25
done	5000	25
0	13	13
1	29	13
2	84	13
3	303	13
4	1107	13
5	4060	13
done	5001	13
0	29	70
1	69	70
2	167	70
3	520	70
4	1670	66
done	5000	66
0	28	37
1	66	37
2	159	37
3	505	37
4	1640	35
done	5000	35
0	6	6
1	11	4
2	21	4
done	21	4
0	28	37
1	70	37
2	187	37
3	670	37
4	2359	35
done	5000	35
0	28	37
1	70	37
2	187	37
3	670	37
4	2359	35
done	5000	35
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	28	37
1	72	37
2	204	37
3	772	37
4	2973	35
done	5001	35
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	28	37
1	72	37
2	204	37
3	772	37
4	2973	35
done	5001	35
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	28	37
1	72	37
2	204	37
3	772	37
4	2973	35
done	5001	35
0	29	38
1	73	38
2	205	38
3	756	38
4	2936	36
done	5001	36
0	28	37
1	72	37
2	204	37
3	772	37
4	2973	35
done	5001	35
0	28	37
1	72	37
2	204	37
3	762	37
4	2927	35
done	5001	35
0	28	37
1	72	37
2	204	37
3	762	37
4	2927	35
done	5001	35
0	28	37
1	72	37
2	204	37
3	762	37
4	2927	35
done	5001	35
0	27	36
1	71	36
2	203	36
3	750	36
4	2881	34
done	5000	34
0	28	37
1	72	37
2	204	37
3	762	37
4	2927	35
done	5001	35
0	27	36
1	71	36
2	203	36
3	750	36
4	2881	34
done	5000	34
0	27	36
1	71	36
2	203	36
3	750	36
4	2881	34
done	5000	34
0	28	36
1	74	36
2	205	34
3	799	34
4	3779	32
done	5000	32
0	35	100
1	109	82
2	377	82
3	1825	82
done	5000	82
0	31	76
1	84	76
2	284	76
3	1435	76
done	5000	76
0	29	40
1	88	40
2	316	40
3	1950	40
done	5000	40
0	29	68
1	84	63
2	304	62
3	1730	62
done	5001	62
0	24	33
1	66	33
2	182	33
3	651	33
4	2280	31
done	5000	31
0	28	37
1	72	37
2	204	37
3	764	37
4	2907	35
done	5001	35
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	783	6
7	3084	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	783	6
7	3084	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	783	6
7	3084	6
done	5001	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	26	32
1	59	32
2	151	32
3	439	32
4	1191	32
5	3396	32
done	5000	32
0	26	32
1	59	32
2	151	32
3	439	32
4	1191	32
5	3396	32
done	5000	32
0	26	32
1	59	32
2	151	32
3	439	32
4	1191	32
5	3396	32
done	5000	32

prune672.0ms

Filtered

137 candidates to 168 candidates (-22.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	163	5	168
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	165	5	170

Merged error: 0b

Counts

170 → 5

localize30.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1.0 (sqrt PI)) (fabs x))
0.1b	(/ (pow (fabs x) 4) 5.0)
0.2b	(* (/ 2.0 3.0) (pow (fabs x) 2))
1.0b	(sqrt PI)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

69×	`add-sqr-sqrt`
54×	`times-frac`
44×	`add-cube-cbrt` `*-un-lft-identity`
35×	`associate-l`
27×	`add-exp-log`
17×	`unpow-prod-down`
16×	`add-cbrt-cube`
13×	`sqrt-prod`
11×	`associate-r` `unswap-sqr`
8×	`prod-exp`
7×	`pow1` `div-exp` `associate-/l*` `sqr-pow`
4×	`cbrt-unprod` `add-log-exp`
3×	`cbrt-undiv` `pow-to-exp` `pow-exp` `associate-/r*` `div-inv` `unpow2`
2×	`associate-l/` `-commutative`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `pow-prod-down` `clear-num`

Counts

4 → 146

Calls

4 calls:

10.0ms	(* (/ 1.0 (sqrt PI)) (fabs x))
6.0ms	(/ (pow (fabs x) 4) 5.0)
10.0ms	(* (/ 2.0 3.0) (pow (fabs x) 2))
2.0ms	(sqrt PI)

series25.0ms

Counts

4 → 10

Calls

4 calls:

10.0ms	(* (/ 1.0 (sqrt PI)) (fabs x))
9.0ms	(/ (pow (fabs x) 4) 5.0)
6.0ms	(* (/ 2.0 3.0) (pow (fabs x) 2))
0.0ms	(sqrt PI)

simplify6.7min

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	11	11
1	17	11
2	27	11
3	43	11
4	60	11
5	70	11
6	79	11
7	96	11
8	115	11
9	123	11
done	123	11
0	11	11
1	17	11
2	27	11
3	43	11
4	60	11
5	70	11
6	79	11
7	96	11
8	115	11
9	123	11
done	123	11
0	11	11
1	23	11
2	43	11
3	84	11
4	204	11
5	646	11
6	2389	11
done	5000	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	10	10
1	21	10
2	37	10
3	68	10
4	170	10
5	512	10
6	1968	10
done	5001	10
0	9	9
1	20	9
2	52	9
3	106	9
4	288	9
5	942	9
6	3585	9
done	5000	9
0	9	9
1	19	9
2	47	9
3	93	9
4	248	9
5	832	9
6	3596	9
done	5001	9
0	14	26
1	37	21
2	153	14
3	687	12
4	4399	10
done	5000	10
0	12	26
1	33	21
2	121	12
3	413	12
4	2153	10
done	5000	10
0	10	19
1	18	19
2	41	19
3	74	19
4	170	19
5	502	19
6	1800	19
done	5000	19
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	10	26
1	28	26
2	129	10
3	534	10
4	2667	10
done	5000	10
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	10	10
1	16	10
2	32	7
3	54	7
4	105	7
5	258	7
6	804	7
7	3255	7
done	5000	7
0	10	10
1	16	10
2	32	7
3	54	7
4	105	7
5	258	7
6	804	7
7	3255	7
done	5000	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	10
1	16	10
2	26	8
3	37	8
4	62	8
5	128	8
6	350	8
7	1374	8
done	5000	8
0	10	10
1	16	10
2	26	8
3	37	8
4	62	8
5	128	8
6	350	8
7	1374	8
done	5000	8
0	10	11
1	16	9
2	29	7
3	50	7
4	100	7
5	248	7
6	778	7
7	3081	7
done	5000	7
0	10	11
1	16	9
2	29	7
3	50	7
4	100	7
5	248	7
6	778	7
7	3081	7
done	5000	7
0	11	11
1	19	11
2	42	8
3	74	8
4	172	8
5	505	8
6	1811	8
done	5000	8
0	11	11
1	19	11
2	42	8
3	74	8
4	172	8
5	505	8
6	1811	8
done	5000	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	11	11
1	19	11
2	32	9
3	45	9
4	74	9
5	141	9
6	369	9
7	1413	9
done	5000	9
0	11	11
1	19	11
2	32	9
3	45	9
4	74	9
5	141	9
6	369	9
7	1413	9
done	5000	9
0	11	12
1	19	10
2	37	8
3	68	8
4	161	8
5	487	8
6	1789	8
done	5001	8
0	11	12
1	19	10
2	37	8
3	68	8
4	161	8
5	487	8
6	1789	8
done	5001	8
0	10	13
1	18	13
2	45	13
3	115	13
4	320	9
5	1029	9
6	3638	9
done	5000	9
0	9	9
1	17	9
2	40	6
3	74	6
4	169	6
5	500	6
6	1799	6
done	5000	6
0	7	7
1	16	5
2	23	3
done	23	3
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	10	15
1	20	15
2	36	15
3	55	15
4	89	15
5	162	15
6	387	15
7	1436	15
done	5000	15
0	9	9
1	17	9
2	30	7
3	43	7
4	70	7
5	140	7
6	364	7
7	1388	7
done	5001	7
0	5	5
1	10	3
2	20	3
done	20	3
0	9	10
1	17	8
2	35	6
3	66	6
4	162	6
5	490	6
6	1785	6
done	5000	6
0	9	9
1	15	9
2	31	9
3	52	9
4	100	9
5	249	9
6	784	9
7	3233	9
done	5000	9
0	9	9
1	15	9
2	31	9
3	52	9
4	100	9
5	249	9
6	784	9
7	3233	9
done	5000	9
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1818	9
done	5001	9
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1818	9
done	5001	9
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1802	9
done	5000	9
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1802	9
done	5000	9
0	8	8
1	16	8
2	39	8
3	72	8
4	167	8
5	497	8
6	1798	8
done	5001	8
0	8	8
1	16	8
2	39	8
3	72	8
4	167	8
5	497	8
6	1798	8
done	5001	8
0	8	8
1	17	8
2	38	6
3	104	6
4	233	6
5	530	6
6	1455	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	16	8
2	27	8
3	56	8
4	108	8
5	261	8
6	858	8
7	3391	8
done	5001	8
0	7	7
1	14	7
2	29	7
3	70	7
4	148	7
5	405	7
6	1463	7
done	5000	7
0	7	7
1	11	7
2	20	7
3	50	7
4	96	7
5	234	7
6	803	7
7	3406	7
done	5000	7
0	10	20
1	26	15
2	85	10
3	357	8
4	1621	8
done	5001	8
0	8	15
1	12	15
2	21	15
3	51	15
4	95	15
5	230	15
6	744	15
7	3045	15
done	5000	15
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	8	20
1	19	20
2	51	8
3	189	8
4	741	8
5	4187	8
done	5001	8
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	5	5
1	9	5
2	19	5
3	53	5
4	99	5
5	245	5
6	770	5
7	2955	5
done	5001	5
0	2	2
done	2	2
0	10	15
1	16	15
2	29	15
3	81	15
4	258	15
5	1072	15
done	5000	13
0	8	8
1	12	8
2	21	8
3	51	8
4	95	8
5	228	8
6	746	8
7	3036	8
done	5001	8
0	9	12
1	13	12
2	22	12
3	56	12
4	146	12
5	469	12
6	1938	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	95	8
5	228	8
6	746	8
7	3036	8
done	5001	8
0	8	11
1	14	9
2	24	9
3	58	9
4	223	9
5	875	9
6	2848	5
done	5000	5
0	7	7
1	11	7
2	20	7
3	50	7
4	96	7
5	232	7
6	757	7
7	3046	7
done	5000	7
0	9	11
1	15	11
2	28	11
3	76	11
4	165	11
5	489	11
6	1928	11
done	5000	11
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	7	7
1	13	5
2	23	5
3	53	5
4	150	5
5	437	5
6	1195	5
done	5000	5
0	7	7
1	11	7
2	20	7
3	50	7
4	97	7
5	233	7
6	756	7
7	3053	7
done	5001	7
0	7	9
1	15	7
done	15	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	6	6
1	12	4
done	12	4
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	4	5
1	10	1
done	10	1
0	6	6
1	10	6
2	19	6
3	49	6
4	93	6
5	228	6
6	744	6
7	3034	6
done	5000	6
0	10	17
1	20	17
2	36	17
3	62	17
4	87	17
5	153	17
6	366	17
7	1241	17
done	5000	17
0	8	8
1	12	8
2	19	8
3	39	8
4	64	8
5	127	8
6	341	8
7	1220	8
done	5000	8
0	9	14
1	15	14
2	24	14
3	45	14
4	70	14
5	129	14
6	340	14
7	1209	14
done	5000	14
0	8	8
1	12	8
2	19	8
3	39	8
4	64	8
5	127	8
6	341	8
7	1220	8
done	5000	8
0	8	13
1	16	11
2	28	11
3	51	11
4	90	11
5	181	11
6	371	11
7	1251	11
done	5000	11
0	7	7
1	11	7
2	18	7
3	38	7
4	63	7
5	130	7
6	350	7
7	1224	7
done	5001	7
0	9	11
1	15	11
2	23	11
3	43	11
4	70	11
5	133	11
6	344	11
7	1212	11
done	5000	11
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	7	7
1	13	5
2	22	5
3	40	5
4	79	5
5	173	5
6	371	5
7	1246	5
done	5000	5
0	7	7
1	11	7
2	19	7
3	39	7
4	64	7
5	129	7
6	346	7
7	1212	7
done	5000	7
0	5	7
1	9	7
done	9	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	4	4
1	6	4
done	6	4
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	2	3
1	4	1
done	4	1
0	6	6
1	10	6
2	19	6
3	49	6
4	93	6
5	228	6
6	744	6
7	3034	6
done	5000	6
0	10	12
1	16	10
2	30	10
3	59	10
4	147	10
5	471	10
6	1929	10
done	5000	10
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	8	8
1	13	4
2	24	4
3	45	4
4	104	4
5	276	4
6	1047	4
done	5000	4
0	8	8
1	12	6
2	22	6
3	39	6
4	83	6
5	216	6
6	748	6
7	3280	6
done	5000	6
0	3	3
1	5	3
done	5	3
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	8	10
1	14	10
2	27	10
3	75	10
4	163	10
5	479	10
6	1928	10
done	5000	10
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	6	6
1	12	4
2	22	4
3	52	4
4	147	4
5	440	4
6	1201	4
done	5000	4
0	7	7
1	11	7
2	20	7
3	48	7
4	84	7
5	181	7
6	507	7
7	1784	7
done	5001	7
0	7	7
1	11	7
2	20	7
3	48	7
4	85	7
5	182	7
6	499	7
7	1775	7
done	5000	7
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	7	7
1	11	7
2	18	7
3	38	7
4	63	7
5	130	7
6	351	7
7	1235	7
done	5001	7
0	7	7
1	11	7
2	19	7
3	39	7
4	64	7
5	129	7
6	345	7
7	1204	7
done	5001	7
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	8	8
1	12	6
2	22	6
3	37	6
4	73	6
5	170	6
6	504	6
7	1977	6
done	5000	6
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	10	10
1	15	10
2	25	10
3	34	10
4	43	10
5	48	10
6	57	10
7	74	10
8	93	10
9	101	10
done	101	10
0	9	9
1	13	9
2	19	9
3	28	9
4	38	9
5	47	9
6	52	9
7	61	9
8	78	9
9	97	9
10	105	9
done	105	9
0	8	8
1	14	8
2	23	8
3	35	8
4	53	8
5	66	8
6	78	8
7	90	8
8	113	8
9	125	8
10	141	8
11	143	8
done	143	8
0	8	8
1	13	8
2	22	8
3	32	8
4	59	8
5	125	8
6	296	8
7	830	8
8	3498	8
done	5000	8
0	13	23
1	28	19
2	106	13
3	457	11
4	1810	11
done	5000	11
0	11	23
1	24	23
2	73	11
3	230	11
4	795	9
5	2664	9
done	5000	9
0	9	17
1	12	17
2	15	17
3	17	17
4	19	17
5	20	17
done	20	17
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	9	23
1	22	23
2	76	9
3	295	9
4	837	9
5	2451	9
done	5000	9
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	9	9
1	10	9
done	10	9
0	9	9
1	10	9
done	10	9
0	10	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	10	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	10	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	10	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	9	12
1	14	12
2	22	12
3	30	12
4	39	12
5	45	12
6	50	12
7	51	12
done	51	12
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	6	6
1	11	4
2	21	4
done	21	4
0	8	8
1	9	8
done	9	8
0	8	8
1	9	8
done	9	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	9	9
1	12	9
2	15	9
3	17	9
4	19	9
5	20	9
done	20	9
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	10	7
2	13	7
3	15	7
4	17	7
5	18	7
done	18	7
0	7	7
1	12	7
2	15	5
3	28	5
4	33	5
done	33	5
0	4	4
1	5	4
done	5	4
0	29	37
1	73	35
2	219	35
3	758	35
4	2778	35
done	5000	35
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9
0	9	9
1	15	9
2	21	9
done	21	9

prune512.0ms

Filtered

123 candidates to 156 candidates (-26.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	156	5	161

Merged error: 0b

Counts

161 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (fabs x) (* (+ (* (/ 2.0 3.0) (pow (fabs x) 2)) (+ (* 1.0 (+ (/ (pow (fabs x) 6) 21.0) (/ (pow (fabs x) 4) 5.0))) 2.0)) (/ 1.0 (sqrt PI))))
0.1b	(/ (pow (fabs x) 4) 5.0)
0.2b	(* (/ 2.0 3.0) (pow (fabs x) 2))
1.0b	(sqrt PI)

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
34×	`times-frac`
31×	`add-exp-log` `add-cube-cbrt` `*-un-lft-identity`
20×	`add-cbrt-cube`
17×	`unpow-prod-down`
16×	`associate-l`
11×	`prod-exp`
10×	`pow1` `associate-*r/`
9×	`associate-r` `associate-*l/`
8×	`unswap-sqr`
7×	`div-exp` `cbrt-unprod` `associate-/l*` `sqr-pow`
4×	`frac-times` `flip3-+` `frac-add` `flip-+` `add-log-exp`
3×	`cbrt-undiv` `pow-to-exp` `pow-prod-down` `pow-exp` `associate-/r*` `sqrt-prod` `unpow2`
2×	`*-commutative` `div-inv`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`

Counts

4 → 133

Calls

4 calls:

57.0ms	(* (fabs x) (* (+ (* (/ 2.0 3.0) (pow (fabs x) 2)) (+ (* 1.0 (+ (/ (pow (fabs x) 6) 21.0) (/ (pow (fabs x) 4) 5.0))) 2.0)) (/ 1.0 (sqrt PI))))
6.0ms	(/ (pow (fabs x) 4) 5.0)
10.0ms	(* (/ 2.0 3.0) (pow (fabs x) 2))
2.0ms	(sqrt PI)

series76.0ms

Counts

4 → 10

Calls

4 calls:

62.0ms	(* (fabs x) (* (+ (* (/ 2.0 3.0) (pow (fabs x) 2)) (+ (* 1.0 (+ (/ (pow (fabs x) 6) 21.0) (/ (pow (fabs x) 4) 5.0))) 2.0)) (/ 1.0 (sqrt PI))))
9.0ms	(/ (pow (fabs x) 4) 5.0)
6.0ms	(* (/ 2.0 3.0) (pow (fabs x) 2))
0.0ms	(sqrt PI)

simplify7.0min

Counts

143 → 143

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	11	11
1	17	11
2	27	11
3	43	11
4	60	11
5	70	11
6	79	11
7	96	11
8	115	11
9	123	11
done	123	11
0	11	11
1	17	11
2	27	11
3	43	11
4	60	11
5	70	11
6	79	11
7	96	11
8	115	11
9	123	11
done	123	11
0	11	11
1	23	11
2	43	11
3	84	11
4	204	11
5	646	11
6	2389	11
done	5000	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	10	10
1	21	10
2	37	10
3	68	10
4	170	10
5	512	10
6	1968	10
done	5001	10
0	9	9
1	20	9
2	52	9
3	106	9
4	288	9
5	942	9
6	3585	9
done	5000	9
0	9	9
1	19	9
2	47	9
3	93	9
4	248	9
5	832	9
6	3596	9
done	5001	9
0	14	26
1	37	21
2	153	14
3	687	12
4	4399	10
done	5000	10
0	12	26
1	33	21
2	121	12
3	413	12
4	2153	10
done	5000	10
0	10	19
1	18	19
2	41	19
3	74	19
4	170	19
5	502	19
6	1800	19
done	5000	19
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	10	26
1	28	26
2	129	10
3	534	10
4	2667	10
done	5000	10
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	10	10
1	16	10
2	32	7
3	54	7
4	105	7
5	258	7
6	804	7
7	3255	7
done	5000	7
0	10	10
1	16	10
2	32	7
3	54	7
4	105	7
5	258	7
6	804	7
7	3255	7
done	5000	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	10
1	16	10
2	26	8
3	37	8
4	62	8
5	128	8
6	350	8
7	1374	8
done	5000	8
0	10	10
1	16	10
2	26	8
3	37	8
4	62	8
5	128	8
6	350	8
7	1374	8
done	5000	8
0	10	11
1	16	9
2	29	7
3	50	7
4	100	7
5	248	7
6	778	7
7	3081	7
done	5000	7
0	10	11
1	16	9
2	29	7
3	50	7
4	100	7
5	248	7
6	778	7
7	3081	7
done	5000	7
0	11	11
1	19	11
2	42	8
3	74	8
4	172	8
5	505	8
6	1811	8
done	5000	8
0	11	11
1	19	11
2	42	8
3	74	8
4	172	8
5	505	8
6	1811	8
done	5000	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	11	11
1	19	11
2	32	9
3	45	9
4	74	9
5	141	9
6	369	9
7	1413	9
done	5000	9
0	11	11
1	19	11
2	32	9
3	45	9
4	74	9
5	141	9
6	369	9
7	1413	9
done	5000	9
0	11	12
1	19	10
2	37	8
3	68	8
4	161	8
5	487	8
6	1789	8
done	5001	8
0	11	12
1	19	10
2	37	8
3	68	8
4	161	8
5	487	8
6	1789	8
done	5001	8
0	10	13
1	18	13
2	45	13
3	115	13
4	320	9
5	1029	9
6	3638	9
done	5000	9
0	9	9
1	17	9
2	40	6
3	74	6
4	169	6
5	500	6
6	1799	6
done	5000	6
0	7	7
1	16	5
2	23	3
done	23	3
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	10	15
1	20	15
2	36	15
3	55	15
4	89	15
5	162	15
6	387	15
7	1436	15
done	5000	15
0	9	9
1	17	9
2	30	7
3	43	7
4	70	7
5	140	7
6	364	7
7	1388	7
done	5001	7
0	5	5
1	10	3
2	20	3
done	20	3
0	9	10
1	17	8
2	35	6
3	66	6
4	162	6
5	490	6
6	1785	6
done	5000	6
0	9	9
1	15	9
2	31	9
3	52	9
4	100	9
5	249	9
6	784	9
7	3233	9
done	5000	9
0	9	9
1	15	9
2	31	9
3	52	9
4	100	9
5	249	9
6	784	9
7	3233	9
done	5000	9
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1818	9
done	5001	9
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1818	9
done	5001	9
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1802	9
done	5000	9
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1802	9
done	5000	9
0	8	8
1	16	8
2	39	8
3	72	8
4	167	8
5	497	8
6	1798	8
done	5001	8
0	8	8
1	16	8
2	39	8
3	72	8
4	167	8
5	497	8
6	1798	8
done	5001	8
0	8	8
1	17	8
2	38	6
3	104	6
4	233	6
5	530	6
6	1455	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	16	8
2	27	8
3	56	8
4	108	8
5	261	8
6	858	8
7	3391	8
done	5001	8
0	7	7
1	14	7
2	29	7
3	70	7
4	148	7
5	405	7
6	1463	7
done	5000	7
0	7	7
1	11	7
2	20	7
3	50	7
4	96	7
5	234	7
6	803	7
7	3406	7
done	5000	7
0	10	20
1	26	15
2	85	10
3	357	8
4	1621	8
done	5001	8
0	8	15
1	12	15
2	21	15
3	51	15
4	95	15
5	230	15
6	744	15
7	3045	15
done	5000	15
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	8	20
1	19	20
2	51	8
3	189	8
4	741	8
5	4187	8
done	5001	8
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	5	5
1	9	5
2	19	5
3	53	5
4	99	5
5	245	5
6	770	5
7	2955	5
done	5001	5
0	2	2
done	2	2
0	10	15
1	16	15
2	29	15
3	81	15
4	258	15
5	1072	15
done	5000	13
0	8	8
1	12	8
2	21	8
3	51	8
4	95	8
5	228	8
6	746	8
7	3036	8
done	5001	8
0	9	12
1	13	12
2	22	12
3	56	12
4	146	12
5	469	12
6	1938	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	95	8
5	228	8
6	746	8
7	3036	8
done	5001	8
0	8	11
1	14	9
2	24	9
3	58	9
4	223	9
5	875	9
6	2848	5
done	5000	5
0	7	7
1	11	7
2	20	7
3	50	7
4	96	7
5	232	7
6	757	7
7	3046	7
done	5000	7
0	9	11
1	15	11
2	28	11
3	76	11
4	165	11
5	489	11
6	1928	11
done	5000	11
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	7	7
1	13	5
2	23	5
3	53	5
4	150	5
5	437	5
6	1195	5
done	5000	5
0	7	7
1	11	7
2	20	7
3	50	7
4	97	7
5	233	7
6	756	7
7	3053	7
done	5001	7
0	7	9
1	15	7
done	15	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	6	6
1	12	4
done	12	4
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	4	5
1	10	1
done	10	1
0	6	6
1	10	6
2	19	6
3	49	6
4	93	6
5	228	6
6	744	6
7	3034	6
done	5000	6
0	10	17
1	20	17
2	36	17
3	62	17
4	87	17
5	153	17
6	366	17
7	1241	17
done	5000	17
0	8	8
1	12	8
2	19	8
3	39	8
4	64	8
5	127	8
6	341	8
7	1220	8
done	5000	8
0	9	14
1	15	14
2	24	14
3	45	14
4	70	14
5	129	14
6	340	14
7	1209	14
done	5000	14
0	8	8
1	12	8
2	19	8
3	39	8
4	64	8
5	127	8
6	341	8
7	1220	8
done	5000	8
0	8	13
1	16	11
2	28	11
3	51	11
4	90	11
5	181	11
6	371	11
7	1251	11
done	5000	11
0	7	7
1	11	7
2	18	7
3	38	7
4	63	7
5	130	7
6	350	7
7	1224	7
done	5001	7
0	9	11
1	15	11
2	23	11
3	43	11
4	70	11
5	133	11
6	344	11
7	1212	11
done	5000	11
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	7	7
1	13	5
2	22	5
3	40	5
4	79	5
5	173	5
6	371	5
7	1246	5
done	5000	5
0	7	7
1	11	7
2	19	7
3	39	7
4	64	7
5	129	7
6	346	7
7	1212	7
done	5000	7
0	5	7
1	9	7
done	9	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	4	4
1	6	4
done	6	4
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	2	3
1	4	1
done	4	1
0	6	6
1	10	6
2	19	6
3	49	6
4	93	6
5	228	6
6	744	6
7	3034	6
done	5000	6
0	10	12
1	16	10
2	30	10
3	59	10
4	147	10
5	471	10
6	1929	10
done	5000	10
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	8	8
1	13	4
2	24	4
3	45	4
4	104	4
5	276	4
6	1047	4
done	5000	4
0	8	8
1	12	6
2	22	6
3	39	6
4	83	6
5	216	6
6	748	6
7	3280	6
done	5000	6
0	3	3
1	5	3
done	5	3
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	8	10
1	14	10
2	27	10
3	75	10
4	163	10
5	479	10
6	1928	10
done	5000	10
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	6	6
1	12	4
2	22	4
3	52	4
4	147	4
5	440	4
6	1201	4
done	5000	4
0	7	7
1	11	7
2	20	7
3	48	7
4	84	7
5	181	7
6	507	7
7	1784	7
done	5001	7
0	7	7
1	11	7
2	20	7
3	48	7
4	85	7
5	182	7
6	499	7
7	1775	7
done	5000	7
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	7	7
1	11	7
2	18	7
3	38	7
4	63	7
5	130	7
6	351	7
7	1235	7
done	5001	7
0	7	7
1	11	7
2	19	7
3	39	7
4	64	7
5	129	7
6	345	7
7	1204	7
done	5001	7
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	8	8
1	12	6
2	22	6
3	37	6
4	73	6
5	170	6
6	504	6
7	1977	6
done	5000	6
0	26	34
1	59	34
2	169	34
3	539	34
4	2262	34
done	5000	34
0	26	34
1	59	34
2	169	34
3	539	34
4	2262	34
done	5000	34
0	30	38
1	65	38
2	153	38
3	349	38
4	1118	38
done	5000	38
0	29	37
1	63	37
2	145	37
3	325	37
4	1091	37
done	5001	37
0	28	36
1	62	36
2	157	36
3	417	36
4	1470	36
done	5001	36
0	27	35
1	63	35
2	183	35
3	580	35
4	2387	35
done	5000	35
0	27	35
1	62	35
2	179	35
3	596	35
4	2527	35
done	5000	35
0	34	104
1	93	99
2	389	42
3	2559	40
done	5000	40
0	32	104
1	89	103
2	353	40
3	2125	40
done	5001	40
0	30	104
1	75	103
2	296	38
3	1952	38
done	5000	38
0	28	71
1	61	71
2	171	71
3	541	71
4	2258	71
done	5000	71
0	27	35
1	60	35
2	170	35
3	538	35
4	2251	35
done	5001	35
0	28	104
1	70	103
2	258	36
3	1513	36
done	5000	36
0	27	35
1	60	35
2	170	35
3	538	35
4	2251	35
done	5001	35
0	27	35
1	60	35
2	170	35
3	538	35
4	2251	35
done	5001	35
0	22	29
1	56	29
2	144	29
3	372	29
4	1404	29
done	5000	29
0	27	35
1	60	35
2	171	35
3	528	35
4	2024	35
done	5001	35
0	27	35
1	60	35
2	171	35
3	528	35
4	2023	35
done	5000	35
0	26	34
1	59	34
2	169	34
3	539	34
4	2262	34
done	5000	34
0	32	89
1	104	87
2	380	87
3	1699	73
done	5001	73
0	27	67
1	70	67
2	230	67
3	890	49
done	5000	49
0	26	35
1	69	35
2	217	35
3	904	35
done	5001	35
0	25	58
1	71	53
2	237	53
3	993	53
done	5000	53
0	23	31
1	54	31
2	155	31
3	468	31
4	1798	31
done	5001	31
0	35	92
1	109	90
2	394	90
3	1772	76
done	5001	76
0	30	70
1	75	70
2	244	70
3	945	52
done	5002	52
0	29	38
1	74	38
2	231	38
3	957	38
done	5001	38
0	28	61
1	76	56
2	253	56
3	1072	56
done	5000	56
0	27	35
1	60	35
2	170	35
3	538	35
4	2251	35
done	5001	35
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	26	32
1	56	32
2	151	32
3	591	32
4	2392	32
done	5000	32
0	26	32
1	56	32
2	151	32
3	609	32
4	2589	32
done	5001	32
0	26	32
1	56	32
2	151	32
3	591	32
4	2392	32
done	5000	32

prune494.0ms

Filtered

115 candidates to 143 candidates (-24.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	143	5	148

Merged error: 0b

Counts

148 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (pow (fabs x) 4) 5.0)
0.2b	(* (/ 2.0 3.0) (pow (fabs x) 2))
0.3b	(/ (fabs x) (sqrt PI))
1.0b	(sqrt PI)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

62×	`add-sqr-sqrt`
52×	`times-frac`
45×	`add-cube-cbrt` `*-un-lft-identity`
24×	`add-exp-log`
17×	`unpow-prod-down`
15×	`sqrt-prod`
13×	`associate-l` `add-cbrt-cube`
10×	`associate-/l*`
9×	`associate-/r*`
8×	`associate-r` `unswap-sqr`
7×	`div-exp` `sqr-pow`
6×	`prod-exp`
5×	`pow1`
4×	`add-log-exp`
3×	`cbrt-undiv` `pow-to-exp` `pow-exp` `div-inv` `unpow2`
2×	`frac-2neg` `clear-num` `cbrt-unprod`
1×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-l/` `-commutative`

Counts

4 → 143

Calls

4 calls:

6.0ms	(/ (pow (fabs x) 4) 5.0)
14.0ms	(* (/ 2.0 3.0) (pow (fabs x) 2))
5.0ms	(/ (fabs x) (sqrt PI))
2.0ms	(sqrt PI)

series22.0ms

Counts

4 → 10

Calls

4 calls:

9.0ms	(/ (pow (fabs x) 4) 5.0)
6.0ms	(* (/ 2.0 3.0) (pow (fabs x) 2))
7.0ms	(/ (fabs x) (sqrt PI))
0.0ms	(sqrt PI)

simplify6.5min

Counts

153 → 153

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	8	4
3	13	4
4	19	4
5	29	4
6	52	4
7	110	4
8	313	4
9	1238	4
done	5000	4
0	4	6
1	5	3
done	5	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	3	3
done	3	3
0	3	3
done	3	3
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	9	6
2	11	6
3	12	6
done	12	6
0	6	6
done	6	6
0	9	17
1	18	13
2	51	9
3	118	7
4	197	7
5	315	7
6	778	7
7	3352	7
done	5000	7
0	7	13
done	7	13
0	6	6
done	6	6
0	7	17
1	14	17
2	30	7
3	68	7
4	133	7
5	198	7
6	324	7
7	823	7
8	3558	7
done	5000	7
0	6	6
done	6	6
0	6	6
done	6	6
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	9	14
1	12	11
2	14	11
3	15	11
done	15	11
0	7	7
done	7	7
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	7	10
1	11	9
2	13	9
3	14	7
4	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
2	12	11
3	13	11
done	13	11
0	7	7
done	7	7
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	6
done	6	6
0	8	11
1	10	11
done	10	11
0	7	7
done	7	7
0	8	10
1	9	7
done	9	7
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	5
done	8	5
0	6	6
done	6	6
0	7	7
done	7	7
0	7	7
done	7	7
0	5	5
1	7	3
2	9	3
done	9	3
0	6	6
done	6	6
0	6	9
1	10	9
done	10	9
0	6	6
done	6	6
0	6	8
1	9	5
done	9	5
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	3	4
1	5	3
done	5	3
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	6	6
done	6	6
0	2	3
1	4	1
done	4	1
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
done	5	5
0	11	11
1	17	11
2	27	11
3	43	11
4	60	11
5	70	11
6	79	11
7	96	11
8	115	11
9	123	11
done	123	11
0	11	11
1	17	11
2	27	11
3	43	11
4	60	11
5	70	11
6	79	11
7	96	11
8	115	11
9	123	11
done	123	11
0	11	11
1	23	11
2	43	11
3	84	11
4	204	11
5	646	11
6	2389	11
done	5000	11
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	10	10
1	15	10
2	21	10
3	30	10
4	47	10
5	64	10
6	74	10
7	83	10
8	100	10
9	119	10
10	127	10
done	127	10
0	10	10
1	21	10
2	37	10
3	68	10
4	170	10
5	512	10
6	1968	10
done	5001	10
0	9	9
1	20	9
2	52	9
3	106	9
4	288	9
5	942	9
6	3585	9
done	5000	9
0	9	9
1	19	9
2	47	9
3	93	9
4	248	9
5	832	9
6	3596	9
done	5001	9
0	14	26
1	37	21
2	153	14
3	687	12
4	4399	10
done	5000	10
0	12	26
1	33	21
2	121	12
3	413	12
4	2153	10
done	5000	10
0	10	19
1	18	19
2	41	19
3	74	19
4	170	19
5	502	19
6	1800	19
done	5000	19
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	10	26
1	28	26
2	129	10
3	534	10
4	2667	10
done	5000	10
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	9	9
1	17	9
2	40	9
3	71	9
4	165	9
5	498	9
6	1810	9
done	5000	9
0	10	10
1	16	10
2	32	7
3	54	7
4	105	7
5	258	7
6	804	7
7	3255	7
done	5000	7
0	10	10
1	16	10
2	32	7
3	54	7
4	105	7
5	258	7
6	804	7
7	3255	7
done	5000	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	10	10
1	16	10
2	26	8
3	37	8
4	62	8
5	128	8
6	350	8
7	1374	8
done	5000	8
0	10	10
1	16	10
2	26	8
3	37	8
4	62	8
5	128	8
6	350	8
7	1374	8
done	5000	8
0	10	11
1	16	9
2	29	7
3	50	7
4	100	7
5	248	7
6	778	7
7	3081	7
done	5000	7
0	10	11
1	16	9
2	29	7
3	50	7
4	100	7
5	248	7
6	778	7
7	3081	7
done	5000	7
0	11	11
1	19	11
2	42	8
3	74	8
4	172	8
5	505	8
6	1811	8
done	5000	8
0	11	11
1	19	11
2	42	8
3	74	8
4	172	8
5	505	8
6	1811	8
done	5000	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	8	8
1	11	8
2	14	8
3	16	8
4	18	8
5	19	8
done	19	8
0	11	11
1	19	11
2	32	9
3	45	9
4	74	9
5	141	9
6	369	9
7	1413	9
done	5000	9
0	11	11
1	19	11
2	32	9
3	45	9
4	74	9
5	141	9
6	369	9
7	1413	9
done	5000	9
0	11	12
1	19	10
2	37	8
3	68	8
4	161	8
5	487	8
6	1789	8
done	5001	8
0	11	12
1	19	10
2	37	8
3	68	8
4	161	8
5	487	8
6	1789	8
done	5001	8
0	10	13
1	18	13
2	45	13
3	115	13
4	320	9
5	1029	9
6	3638	9
done	5000	9
0	9	9
1	17	9
2	40	6
3	74	6
4	169	6
5	500	6
6	1799	6
done	5000	6
0	7	7
1	16	5
2	23	3
done	23	3
0	6	6
1	9	6
2	12	6
3	14	6
4	16	6
5	17	6
done	17	6
0	10	15
1	20	15
2	36	15
3	55	15
4	89	15
5	162	15
6	387	15
7	1436	15
done	5000	15
0	9	9
1	17	9
2	30	7
3	43	7
4	70	7
5	140	7
6	364	7
7	1388	7
done	5001	7
0	5	5
1	10	3
2	20	3
done	20	3
0	9	10
1	17	8
2	35	6
3	66	6
4	162	6
5	490	6
6	1785	6
done	5000	6
0	9	9
1	15	9
2	31	9
3	52	9
4	100	9
5	249	9
6	784	9
7	3233	9
done	5000	9
0	9	9
1	15	9
2	31	9
3	52	9
4	100	9
5	249	9
6	784	9
7	3233	9
done	5000	9
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1818	9
done	5001	9
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	10	10
1	18	10
2	41	10
3	74	10
4	171	10
5	502	10
6	1800	10
done	5001	10
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1818	9
done	5001	9
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1802	9
done	5000	9
0	9	9
1	17	9
2	40	9
3	73	9
4	168	9
5	503	9
6	1802	9
done	5000	9
0	8	8
1	16	8
2	39	8
3	72	8
4	167	8
5	497	8
6	1798	8
done	5001	8
0	8	8
1	16	8
2	39	8
3	72	8
4	167	8
5	497	8
6	1798	8
done	5001	8
0	8	8
1	17	8
2	38	6
3	104	6
4	233	6
5	530	6
6	1455	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	16	8
2	27	8
3	56	8
4	108	8
5	261	8
6	858	8
7	3391	8
done	5001	8
0	7	7
1	14	7
2	29	7
3	70	7
4	148	7
5	405	7
6	1463	7
done	5000	7
0	7	7
1	11	7
2	20	7
3	50	7
4	96	7
5	234	7
6	803	7
7	3406	7
done	5000	7
0	10	20
1	26	15
2	85	10
3	357	8
4	1621	8
done	5001	8
0	8	15
1	12	15
2	21	15
3	51	15
4	95	15
5	230	15
6	744	15
7	3045	15
done	5000	15
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	8	20
1	19	20
2	51	8
3	189	8
4	741	8
5	4187	8
done	5001	8
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	225	7
6	747	7
7	3026	7
done	5001	7
0	5	5
1	9	5
2	19	5
3	53	5
4	99	5
5	245	5
6	770	5
7	2955	5
done	5001	5
0	2	2
done	2	2
0	10	15
1	16	15
2	29	15
3	81	15
4	258	15
5	1072	15
done	5000	13
0	8	8
1	12	8
2	21	8
3	51	8
4	95	8
5	228	8
6	746	8
7	3036	8
done	5001	8
0	9	12
1	13	12
2	22	12
3	56	12
4	146	12
5	469	12
6	1938	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	95	8
5	228	8
6	746	8
7	3036	8
done	5001	8
0	8	11
1	14	9
2	24	9
3	58	9
4	223	9
5	875	9
6	2848	5
done	5000	5
0	7	7
1	11	7
2	20	7
3	50	7
4	96	7
5	232	7
6	757	7
7	3046	7
done	5000	7
0	9	11
1	15	11
2	28	11
3	76	11
4	165	11
5	489	11
6	1928	11
done	5000	11
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	8	8
1	12	8
2	21	8
3	51	8
4	96	8
5	229	8
6	742	8
7	3025	8
done	5000	8
0	7	7
1	13	5
2	23	5
3	53	5
4	150	5
5	437	5
6	1195	5
done	5000	5
0	7	7
1	11	7
2	20	7
3	50	7
4	97	7
5	233	7
6	756	7
7	3053	7
done	5001	7
0	7	9
1	15	7
done	15	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	6	6
1	12	4
done	12	4
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	4	5
1	10	1
done	10	1
0	6	6
1	10	6
2	19	6
3	49	6
4	93	6
5	228	6
6	744	6
7	3034	6
done	5000	6
0	10	17
1	20	17
2	36	17
3	62	17
4	87	17
5	153	17
6	366	17
7	1241	17
done	5000	17
0	8	8
1	12	8
2	19	8
3	39	8
4	64	8
5	127	8
6	341	8
7	1220	8
done	5000	8
0	9	14
1	15	14
2	24	14
3	45	14
4	70	14
5	129	14
6	340	14
7	1209	14
done	5000	14
0	8	8
1	12	8
2	19	8
3	39	8
4	64	8
5	127	8
6	341	8
7	1220	8
done	5000	8
0	8	13
1	16	11
2	28	11
3	51	11
4	90	11
5	181	11
6	371	11
7	1251	11
done	5000	11
0	7	7
1	11	7
2	18	7
3	38	7
4	63	7
5	130	7
6	350	7
7	1224	7
done	5001	7
0	9	11
1	15	11
2	23	11
3	43	11
4	70	11
5	133	11
6	344	11
7	1212	11
done	5000	11
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	8	8
1	12	8
2	20	8
3	40	8
4	65	8
5	126	8
6	339	8
7	1208	8
done	5000	8
0	7	7
1	13	5
2	22	5
3	40	5
4	79	5
5	173	5
6	371	5
7	1246	5
done	5000	5
0	7	7
1	11	7
2	19	7
3	39	7
4	64	7
5	129	7
6	346	7
7	1212	7
done	5000	7
0	5	7
1	9	7
done	9	7
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	4	4
1	6	4
done	6	4
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	2	3
1	4	1
done	4	1
0	6	6
1	10	6
2	19	6
3	49	6
4	93	6
5	228	6
6	744	6
7	3034	6
done	5000	6
0	10	12
1	16	10
2	30	10
3	59	10
4	147	10
5	471	10
6	1929	10
done	5000	10
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	9	9
1	13	7
2	23	7
3	40	7
4	86	7
5	219	7
6	741	7
7	3289	7
done	5000	7
0	8	8
1	13	4
2	24	4
3	45	4
4	104	4
5	276	4
6	1047	4
done	5000	4
0	8	8
1	12	6
2	22	6
3	39	6
4	83	6
5	216	6
6	748	6
7	3280	6
done	5000	6
0	3	3
1	5	3
done	5	3
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	8	10
1	14	10
2	27	10
3	75	10
4	163	10
5	479	10
6	1928	10
done	5000	10
0	7	7
1	11	7
2	20	7
3	50	7
4	94	7
5	227	7
6	746	7
7	3047	7
done	5000	7
0	6	6
1	12	4
2	22	4
3	52	4
4	147	4
5	440	4
6	1201	4
done	5000	4
0	7	7
1	11	7
2	20	7
3	48	7
4	84	7
5	181	7
6	507	7
7	1784	7
done	5001	7
0	7	7
1	11	7
2	20	7
3	48	7
4	85	7
5	182	7
6	499	7
7	1775	7
done	5000	7
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	7	7
1	11	7
2	18	7
3	38	7
4	63	7
5	130	7
6	351	7
7	1235	7
done	5001	7
0	7	7
1	11	7
2	19	7
3	39	7
4	64	7
5	129	7
6	345	7
7	1204	7
done	5001	7
0	6	6
1	10	6
2	19	6
3	47	6
4	83	6
5	179	6
6	500	6
7	1780	6
done	5000	6
0	8	8
1	12	6
2	22	6
3	37	6
4	73	6
5	170	6
6	504	6
7	1977	6
done	5000	6
0	27	35
1	66	35
2	211	35
3	678	35
4	2538	35
done	5000	35
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	7	7
1	10	7
done	10	7
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	12	6
2	28	6
3	49	6
4	100	6
5	251	6
6	785	6
7	3239	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	111	6
5	259	6
6	784	6
7	2928	6
done	5000	6

prune432.0ms

Filtered

118 candidates to 153 candidates (-29.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	153	5	158

Merged error: 0b

Counts

158 → 5

regimes115.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	29	37
1	38	35
done	38	35

end0.0ms

sample1.9s

Algorithm

intervals

Results

1.6s

13987×

body

valid

Details

sample62.0ms

simplify2.0s

prune14.0ms

localize30.0ms

rewrite49.0ms

series87.0ms

simplify8.6min

prune672.0ms

localize30.0ms

rewrite33.0ms

series25.0ms

simplify6.7min

prune512.0ms

localize28.0ms

rewrite79.0ms

series76.0ms

simplify7.0min

prune494.0ms

localize24.0ms

rewrite32.0ms

series22.0ms

simplify6.5min

prune432.0ms

regimes115.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.9s

Profiling