Details

sample52.0ms

Algorithm

intervals

Results

41.0ms

256×

body

valid

simplify2.2s

Counts

1 → 1

Iterations

Useful iterations: 3 (316.0ms)

Iter	Nodes	Cost
0	44	173
1	132	173
2	502	109
3	2059	79
done	5001	79

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

Counts

2 → 2

localize50.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* x x) (* x x))
0.1b	(* (* x x) (* x x))
14.9b	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
26.2b	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

rewrite160.0ms

Algorithm

rewrite-expression-head

Rules

228×	`pow1`
72×	`pow-prod-up`
47×	`pow-prod-down`
44×	`pow-sqr`
36×	`pow-plus`
35×	`add-exp-log` `add-cbrt-cube`
26×	`pow2`
25×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity`
19×	`times-frac`
18×	`prod-exp` `cbrt-unprod`
17×	`associate-l`
5×	`associate-r`
4×	`associate-/r/` `add-log-exp` `unswap-sqr`
3×	`flip3-+` `associate-/r` `-commutative` `flip-+` `associate-/l*`
2×	`cbrt-undiv` `swap-sqr` `div-exp` `div-inv` `associate-/l/`
1×	`frac-2neg` `associate-*l/` `clear-num`

Counts

4 → 191

Calls

4 calls:

11.0ms	(* (* x x) (* x x))
11.0ms	(* (* x x) (* x x))
46.0ms	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
83.0ms	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

series71.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (* x x) (* x x))
4.0ms	(* (* x x) (* x x))
29.0ms	(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x)
34.0ms	(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))

simplify5.2min

Counts

203 → 203

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	45	173
1	132	173
2	500	109
3	1992	79
done	5001	79
0	44	172
1	132	172
2	503	108
3	2003	78
done	5001	78
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	47	515
1	165	515
2	777	111
done	5000	91
0	45	345
1	130	345
2	499	217
3	1987	157
done	5000	157
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	45	515
1	137	515
2	549	109
3	2504	79
done	5001	79
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	23	72
1	70	72
2	258	46
3	1012	34
4	3663	32
done	5000	32
0	29	100
1	89	100
2	347	62
3	1648	44
done	5000	44
0	47	347
1	138	347
2	517	219
3	2017	159
done	5000	159
0	45	173
1	130	173
2	502	109
3	2002	79
done	5000	79
0	46	246
1	133	246
2	504	156
3	2019	114
done	5000	114
0	45	173
1	130	173
2	502	109
3	2002	79
done	5000	79
0	26	147
1	74	145
2	247	93
3	781	69
4	1959	65
5	4509	65
done	5000	65
0	44	172
1	129	172
2	500	108
3	1987	78
done	5001	78
0	46	274
1	133	274
2	503	172
3	1980	124
done	5001	124
0	45	173
1	130	173
2	502	109
3	2002	79
done	5000	79
0	45	173
1	130	173
2	502	109
3	2002	79
done	5000	79
0	45	173
1	130	173
2	502	109
3	2002	79
done	5000	79
0	25	74
1	71	72
2	241	46
3	775	34
4	1932	32
5	4486	32
done	5001	32
0	44	172
1	129	172
2	500	108
3	1987	78
done	5001	78
0	32	203
1	93	203
2	328	127
3	1329	91
4	4290	83
done	5000	83
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	31	102
1	90	102
2	323	64
3	1340	46
4	4401	42
done	5000	42
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	2	3
1	4	1
done	4	1
0	43	171
1	128	171
2	498	107
3	2008	77
done	5001	77
0	30	101
1	89	101
2	323	63
3	1331	45
4	4286	41
done	5000	41
0	43	171
1	128	171
2	497	107
3	2012	77
done	5001	77
0	45	273
1	132	273
2	499	171
3	2005	123
done	5000	123
0	44	172
1	129	172
2	498	108
3	2009	78
done	5000	78
0	24	73
1	70	71
2	239	45
3	779	33
4	1966	31
5	4514	31
done	5000	31
0	44	172
1	129	172
2	498	108
3	1980	78
done	5000	78
0	44	172
1	129	172
2	498	108
3	1980	78
done	5000	78
0	43	171
1	128	171
2	497	107
3	2012	77
done	5001	77
0	46	175
1	145	175
2	596	111
3	3406	81
done	5001	81
0	45	271
1	145	271
2	674	169
3	4549	121
done	5000	121
0	47	315
1	159	293
2	751	191
done	5002	141
0	43	171
1	130	171
2	534	107
3	2742	77
done	5000	77
0	44	173
1	132	173
2	502	109
3	2059	79
done	5001	79
0	47	176
1	137	176
2	518	112
3	2029	82
done	5000	82
0	46	175
1	135	175
2	508	111
3	2020	81
done	5001	81
0	45	174
1	136	174
2	512	110
3	2059	80
done	5000	80
0	45	174
1	135	174
2	511	110
3	2047	80
done	5001	80
0	49	521
1	171	521
2	825	115
done	5000	95
0	47	521
1	143	521
2	585	113
3	2665	83
done	5000	83
0	46	349
1	134	349
2	506	221
3	2049	161
done	5000	161
0	45	174
1	133	174
2	503	110
3	2062	80
done	5000	80
0	46	521
1	143	521
2	568	111
3	2458	81
done	5000	81
0	45	174
1	133	174
2	503	110
3	2062	80
done	5000	80
0	45	174
1	133	174
2	503	110
3	2062	80
done	5000	80
0	46	175
1	132	175
2	499	111
3	2007	81
done	5001	81
0	46	175
1	132	175
2	499	111
3	2007	81
done	5001	81
0	47	176
1	135	176
2	509	112
3	2009	82
done	5000	82
0	47	176
1	135	176
2	509	112
3	2009	82
done	5000	82
0	46	177
1	136	177
2	514	113
3	2086	83
done	5000	83
0	45	174
1	133	174
2	503	110
3	2063	80
done	5001	80
0	45	173
1	135	171
2	512	107
3	2065	77
done	5000	77
0	45	174
1	131	174
2	500	110
3	2020	80
done	5000	80
0	45	174
1	131	174
2	500	110
3	2020	80
done	5000	80
0	46	175
1	134	175
2	507	111
3	2018	81
done	5000	81
0	46	175
1	134	175
2	507	111
3	2018	81
done	5000	81
0	45	174
1	133	174
2	506	110
3	1981	80
done	5001	80
0	46	175
1	134	175
2	507	111
3	2018	81
done	5000	81
0	46	175
1	134	175
2	507	111
3	2018	81
done	5000	81
0	45	174
1	133	174
2	506	110
3	1981	80
done	5001	80
0	45	174
1	133	174
2	503	110
3	2062	80
done	5000	80
0	45	174
1	133	174
2	503	110
3	2062	80
done	5000	80
0	44	173
1	132	173
2	502	109
3	2059	79
done	5001	79
0	44	173
1	132	173
2	502	109
3	2059	79
done	5001	79
0	31	103
1	93	103
2	331	63
3	1338	45
4	4306	41
done	5000	41
0	33	301
1	111	273
2	553	171
3	4645	99
done	5000	99
0	29	101
1	88	101
2	349	63
3	1671	45
done	5000	45
0	23	73
1	68	73
2	247	47
3	910	35
4	2527	33
done	5001	33
0	3	7
1	13	1
2	14	1
done	14	1
0	4	5
1	11	3
2	13	1
done	13	1
0	3	7
1	13	1
2	14	1
done	14	1
0	5	7
1	12	3
2	14	1
done	14	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	4	5
1	11	3
2	13	1
done	13	1
0	2	3
1	4	1
done	4	1
0	4	5
1	11	3
2	13	1
done	13	1
0	4	5
1	9	1
done	9	1
0	3	7
1	13	1
2	14	1
done	14	1
0	4	5
1	11	3
2	13	1
done	13	1
0	3	7
1	13	1
2	14	1
done	14	1
0	5	7
1	12	3
2	14	1
done	14	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	5	7
1	12	3
2	14	1
done	14	1
0	4	5
1	9	1
done	9	1
0	5	7
1	12	3
2	14	1
done	14	1
0	4	7
1	13	1
done	13	1
0	2	3
done	2	3
0	2	3
done	2	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	2	3
done	2	3
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	4	11
1	11	6
2	22	4
3	27	4
done	27	4
0	6	10
1	11	9
2	22	4
3	31	4
done	31	4
0	6	10
1	11	9
2	22	4
3	31	4
done	31	4
0	4	9
1	8	6
2	16	6
3	25	4
4	30	4
done	30	4
0	4	8
1	10	8
2	21	6
3	38	4
4	63	4
5	100	4
6	209	4
7	568	4
8	1979	4
done	5000	4
0	4	8
1	10	8
2	23	6
3	48	4
4	109	4
5	258	4
6	692	4
7	2459	4
done	5000	4
0	5	23
1	16	23
2	66	9
3	109	5
4	210	3
5	718	3
6	2937	3
done	5000	3
0	7	23
1	20	23
2	63	9
3	119	5
4	258	3
5	994	3
6	4195	3
done	5001	3
0	7	23
1	20	23
2	63	11
3	111	5
4	230	3
5	914	3
6	3827	3
done	5000	3
0	5	23
1	19	23
2	68	11
3	119	5
4	238	3
5	917	3
6	3820	3
done	5000	3
0	5	17
1	9	17
2	13	13
3	22	9
4	37	9
5	65	9
6	137	9
7	352	9
8	1254	9
done	5000	9
0	4	8
1	8	8
2	12	6
3	21	4
4	36	4
5	64	4
6	136	4
7	352	4
8	1262	4
done	5001	4
0	5	23
1	17	23
2	60	7
3	104	5
4	236	3
5	926	3
6	3846	3
done	5000	3
0	4	8
1	9	4
2	13	4
3	22	4
4	37	4
5	66	4
6	140	4
7	351	4
8	1264	4
done	5000	4
0	4	8
1	9	4
2	13	4
3	22	4
4	37	4
5	66	4
6	140	4
7	351	4
8	1264	4
done	5000	4
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	4	5
1	11	3
2	12	1
done	12	1
0	4	5
1	11	3
2	12	1
done	12	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	2	3
1	3	1
done	3	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	5
1	11	3
2	12	1
done	12	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	4	5
1	11	1
done	11	1
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	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	3	7
1	13	1
2	14	1
done	14	1
0	4	5
1	11	3
2	13	1
done	13	1
0	3	7
1	13	1
2	14	1
done	14	1
0	5	7
1	12	3
2	14	1
done	14	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	4	5
1	11	3
2	13	1
done	13	1
0	2	3
1	4	1
done	4	1
0	4	5
1	11	3
2	13	1
done	13	1
0	4	5
1	9	1
done	9	1
0	3	7
1	13	1
2	14	1
done	14	1
0	4	5
1	11	3
2	13	1
done	13	1
0	3	7
1	13	1
2	14	1
done	14	1
0	5	7
1	12	3
2	14	1
done	14	1
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	5	7
1	12	3
2	14	1
done	14	1
0	4	5
1	9	1
done	9	1
0	5	7
1	12	3
2	14	1
done	14	1
0	4	7
1	13	1
done	13	1
0	2	3
done	2	3
0	2	3
done	2	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	3	7
1	7	7
2	11	5
3	20	3
4	35	3
5	63	3
6	135	3
7	346	3
8	1255	3
done	5001	3
0	2	3
done	2	3
0	2	3
1	6	1
done	6	1
0	2	3
1	6	1
done	6	1
0	4	11
1	11	6
2	22	4
3	27	4
done	27	4
0	6	10
1	11	9
2	22	4
3	31	4
done	31	4
0	6	10
1	11	9
2	22	4
3	31	4
done	31	4
0	4	9
1	8	6
2	16	6
3	25	4
4	30	4
done	30	4
0	4	8
1	10	8
2	21	6
3	38	4
4	63	4
5	100	4
6	209	4
7	568	4
8	1979	4
done	5000	4
0	4	8
1	10	8
2	23	6
3	48	4
4	109	4
5	258	4
6	692	4
7	2459	4
done	5000	4
0	5	23
1	16	23
2	66	9
3	109	5
4	210	3
5	718	3
6	2937	3
done	5000	3
0	7	23
1	20	23
2	63	9
3	119	5
4	258	3
5	994	3
6	4195	3
done	5001	3
0	7	23
1	20	23
2	63	11
3	111	5
4	230	3
5	914	3
6	3827	3
done	5000	3
0	5	23
1	19	23
2	68	11
3	119	5
4	238	3
5	917	3
6	3820	3
done	5000	3
0	5	17
1	9	17
2	13	13
3	22	9
4	37	9
5	65	9
6	137	9
7	352	9
8	1254	9
done	5000	9
0	4	8
1	8	8
2	12	6
3	21	4
4	36	4
5	64	4
6	136	4
7	352	4
8	1262	4
done	5001	4
0	5	23
1	17	23
2	60	7
3	104	5
4	236	3
5	926	3
6	3846	3
done	5000	3
0	4	8
1	9	4
2	13	4
3	22	4
4	37	4
5	66	4
6	140	4
7	351	4
8	1264	4
done	5000	4
0	4	8
1	9	4
2	13	4
3	22	4
4	37	4
5	66	4
6	140	4
7	351	4
8	1264	4
done	5000	4
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	2	3
done	2	3
0	4	5
1	11	3
2	12	1
done	12	1
0	4	5
1	11	3
2	12	1
done	12	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	2	3
1	3	1
done	3	1
0	4	5
1	11	3
2	12	1
done	12	1
0	4	5
1	11	3
2	12	1
done	12	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	4	5
1	11	1
done	11	1
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	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	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	19	23
1	45	23
2	105	17
3	269	17
4	1161	17
5	4816	17
done	5000	17
0	19	23
1	45	23
2	105	17
3	269	17
4	1161	17
5	4816	17
done	5000	17
0	13	15
1	33	15
2	74	15
3	157	15
4	346	15
5	860	15
6	2867	15
done	5000	15
0	17	21
1	44	21
2	90	15
3	171	15
4	397	15
5	1197	15
done	5000	15
0	17	21
1	44	21
2	90	15
3	171	15
4	397	15
5	1197	15
done	5000	15
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3
0	3	3
1	7	3
2	14	3
3	34	3
4	45	3
5	57	3
6	77	3
7	121	3
8	234	3
9	618	3
10	2277	3
done	5000	3

prune949.0ms

Filtered

98 candidates to 203 candidates (-107.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	202	1	203
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	202	3	205

Merged error: 0b

Counts

205 → 3

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 0.2909738639 (* x x))
0.1b	(pow (* x x) 6)
0.1b	(* (* x x) 0.0008327945)
26.3b	(/ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 6) 0.0072644182) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0424060604 (* x x))))))) (/ (+ (+ (* (pow x 6) 0.0694555761) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)) (* (* 2.0 0.0001789971) (pow (* x x) 6)))) x))

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

96×	`times-frac`
80×	`*-un-lft-identity`
58×	`add-sqr-sqrt`
56×	`add-cube-cbrt`
22×	`pow1` `add-exp-log`
19×	`add-cbrt-cube`
16×	`associate-/r*`
12×	`distribute-lft-out`
7×	`pow-prod-down` `prod-exp`
6×	`pow-pow` `cbrt-unprod` `associate-/l/`
5×	`flip3-+` `flip-+` `div-inv`
4×	`associate-r/` `associate-r` `associate-l*` `frac-add` `add-log-exp`
3×	`cbrt-undiv` `pow-unpow` `div-exp` `associate-/l*`
2×	`pow-exp` `*-commutative` `unswap-sqr`
1×	`pow2` `pow-to-exp` `unpow-prod-down` `frac-2neg` `pow-plus` `clear-num` `associate-/r/` `pow-sqr` `pow-prod-up` `sqr-pow`

Counts

4 → 147

Calls

4 calls:

7.0ms	(* 0.2909738639 (* x x))
5.0ms	(pow (* x x) 6)
7.0ms	(* (* x x) 0.0008327945)
41.0ms	(/ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 6) 0.0072644182) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0424060604 (* x x))))))) (/ (+ (+ (* (pow x 6) 0.0694555761) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)) (* (* 2.0 0.0001789971) (pow (* x x) 6)))) x))

series39.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 0.2909738639 (* x x))
6.0ms	(pow (* x x) 6)
3.0ms	(* (* x x) 0.0008327945)
26.0ms	(/ (+ (* (pow (* x x) 4) (+ 0.0005064034 (* (* x x) 0.0001789971))) (+ (* (pow x 6) 0.0072644182) (+ 1.0 (* (* x x) (+ 0.1049934947 (* 0.0424060604 (* x x))))))) (/ (+ (+ (* (pow x 6) 0.0694555761) (+ (* (* x x) (+ 0.7715471019 (* 0.2909738639 (* x x)))) 1.0)) (+ (* (pow (* x x) 4) (+ (* (* x x) 0.0008327945) 0.0140005442)) (* (* 2.0 0.0001789971) (pow (* x x) 6)))) x))

simplify7.7min

Counts

159 → 159

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	47	82
1	134	82
2	355	82
3	1137	80
4	4160	76
done	5000	76
0	46	81
1	132	81
2	350	81
3	1119	79
4	4122	75
done	5001	75
0	45	80
1	131	80
2	354	80
3	1126	78
4	4216	74
done	5000	74
0	45	80
1	128	80
2	346	80
3	1126	78
4	4192	74
done	5000	74
0	49	239
1	168	239
2	677	85
done	5000	85
0	48	239
1	156	239
2	572	83
3	3626	79
done	5001	79
0	46	161
1	129	161
2	345	161
3	1114	157
4	4182	149
done	5001	149
0	45	80
1	128	80
2	344	80
3	1119	78
4	4177	74
done	5000	74
0	46	239
1	136	239
2	413	81
3	1826	79
done	5001	79
0	45	80
1	128	80
2	344	80
3	1119	78
4	4177	74
done	5000	74
0	45	80
1	128	80
2	344	80
3	1119	78
4	4177	74
done	5000	74
0	23	34
1	66	34
2	186	34
3	643	34
4	2483	32
done	5000	32
0	30	46
1	81	46
2	222	46
3	818	44
4	3934	42
done	5001	42
0	48	163
1	135	163
2	357	163
3	1130	159
4	4105	151
done	5000	151
0	46	81
1	127	81
2	340	81
3	1108	79
4	4064	75
done	5000	75
0	47	116
1	130	116
2	345	116
3	1112	114
4	4134	108
done	5001	108
0	46	81
1	127	81
2	340	81
3	1108	79
4	4064	75
done	5000	75
0	50	165
1	141	165
2	390	165
3	1251	161
4	4359	153
done	5000	153
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	49	162
1	136	162
2	367	162
3	1173	158
4	4242	150
done	5000	150
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	49	161
1	138	159
2	373	159
3	1207	155
4	4769	147
done	5000	147
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	49	120
1	136	120
2	364	120
3	1154	118
4	4199	112
done	5000	112
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	48	117
1	133	117
2	355	117
3	1131	115
4	4125	109
done	5000	109
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	48	116
1	135	114
2	358	114
3	1148	112
4	4603	106
done	5000	106
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	29	77
1	77	77
2	191	75
3	534	75
4	1677	71
done	5000	71
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	28	74
1	74	74
2	182	72
3	510	72
4	1604	68
done	5000	68
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	27	73
1	73	71
2	181	69
3	499	69
4	1419	65
5	4734	65
done	5000	65
0	45	80
1	128	80
2	344	80
3	1115	78
4	4147	74
done	5000	74
0	29	77
1	77	77
2	191	75
3	534	75
4	1677	71
done	5000	71
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	28	74
1	74	74
2	182	72
3	510	72
4	1604	68
done	5000	68
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	27	73
1	73	71
2	181	69
3	499	69
4	1419	65
5	4734	65
done	5000	65
0	45	80
1	128	80
2	344	80
3	1115	78
4	4147	74
done	5000	74
0	26	71
1	70	69
2	175	69
3	476	69
4	1550	65
done	5000	65
0	45	80
1	128	80
2	344	80
3	1115	78
4	4147	74
done	5000	74
0	45	113
1	128	113
2	343	113
3	1115	111
4	4135	105
done	5000	105
0	26	38
1	70	38
2	172	36
3	480	36
4	1548	34
done	5000	34
0	47	128
1	130	128
2	343	128
3	1112	124
4	4085	118
done	5000	118
0	46	81
1	127	81
2	340	81
3	1108	79
4	4064	75
done	5000	75
0	46	81
1	127	81
2	340	81
3	1108	79
4	4064	75
done	5000	75
0	46	81
1	127	81
2	340	81
3	1108	79
4	4064	75
done	5000	75
0	49	130
1	138	130
2	372	130
3	1171	126
4	4173	120
done	5000	120
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	48	127
1	133	127
2	354	127
3	1133	123
4	4152	117
done	5000	117
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	48	126
1	135	124
2	360	124
3	1152	120
4	4630	114
done	5000	114
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	48	85
1	133	85
2	353	85
3	1122	83
4	4108	79
done	5000	79
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	47	82
1	130	82
2	346	82
3	1112	80
4	4115	76
done	5000	76
0	47	81
1	132	79
2	350	79
3	1116	77
4	4624	73
done	5000	73
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	28	42
1	74	42
2	180	40
3	496	40
4	1610	38
done	5001	38
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	27	39
1	71	39
2	173	37
3	482	37
4	1561	35
done	5000	35
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	26	38
1	70	36
2	174	34
3	478	34
4	1373	32
5	4766	32
done	5000	32
0	45	80
1	128	80
2	344	80
3	1115	78
4	4147	74
done	5000	74
0	28	42
1	74	42
2	180	40
3	496	40
4	1610	38
done	5001	38
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	27	39
1	71	39
2	173	37
3	482	37
4	1561	35
done	5000	35
0	46	81
1	129	81
2	345	81
3	1112	79
4	4065	75
done	5000	75
0	26	38
1	70	36
2	174	34
3	478	34
4	1373	32
5	4766	32
done	5000	32
0	45	80
1	128	80
2	344	80
3	1115	78
4	4147	74
done	5000	74
0	25	36
1	67	34
2	168	34
3	466	34
4	1528	32
done	5000	32
0	45	80
1	128	80
2	344	80
3	1115	78
4	4147	74
done	5000	74
0	44	78
1	125	78
2	338	78
3	1109	76
4	4062	72
done	5001	72
0	26	38
1	70	38
2	172	36
3	480	36
4	1548	34
done	5000	34
0	33	95
1	86	95
2	216	95
3	717	91
4	3219	87
done	5000	87
0	45	80
1	126	80
2	339	80
3	1112	78
4	4117	74
done	5000	74
0	32	48
1	83	48
2	213	48
3	723	46
4	3216	44
done	5001	44
0	45	80
1	126	80
2	339	80
3	1112	78
4	4117	74
done	5000	74
0	35	97
1	94	97
2	245	97
3	768	91
4	3281	87
done	5000	87
0	46	81
1	129	81
2	345	81
3	1114	79
4	4183	75
done	5000	75
0	34	94
1	89	94
2	227	94
3	744	88
4	3264	84
done	5000	84
0	46	81
1	129	81
2	345	81
3	1114	79
4	4183	75
done	5000	75
0	33	93
1	88	91
2	229	91
3	741	87
4	3197	83
done	5000	83
0	45	80
1	128	80
2	344	80
3	1119	78
4	4177	74
done	5000	74
0	34	52
1	89	52
2	226	52
3	737	48
4	3255	46
done	5001	46
0	46	81
1	129	81
2	345	81
3	1114	79
4	4183	75
done	5000	75
0	33	49
1	86	49
2	219	49
3	722	45
4	3264	43
done	5000	43
0	46	81
1	129	81
2	345	81
3	1114	79
4	4183	75
done	5000	75
0	32	48
1	85	46
2	220	46
3	723	44
4	3207	42
done	5000	42
0	45	80
1	128	80
2	344	80
3	1119	78
4	4177	74
done	5000	74
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	45	80
1	128	80
2	344	80
3	1119	78
4	4178	74
done	5000	74
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	45	80
1	128	80
2	344	80
3	1119	78
4	4178	74
done	5000	74
0	3	5
1	6	1
done	6	1
0	44	79
1	127	79
2	343	79
3	1115	77
4	4212	73
done	5001	73
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	45	80
1	128	80
2	344	80
3	1119	78
4	4178	74
done	5000	74
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	45	80
1	128	80
2	344	80
3	1119	78
4	4178	74
done	5000	74
0	3	5
1	6	1
done	6	1
0	44	79
1	127	79
2	343	79
3	1115	77
4	4212	73
done	5001	73
0	2	3
1	4	1
done	4	1
0	44	79
1	127	79
2	343	79
3	1115	77
4	4212	73
done	5001	73
0	30	45
1	81	45
2	211	45
3	711	43
4	3205	41
done	5000	41
0	25	37
1	69	37
2	171	35
3	531	35
4	1897	33
done	5001	33
0	31	47
1	84	47
2	217	47
3	720	43
4	3226	41
done	5000	41
0	44	79
1	127	79
2	343	79
3	1169	77
4	4455	73
done	5000	73
0	46	127
1	129	127
2	342	127
3	1114	123
4	4096	117
done	5000	117
0	45	80
1	126	80
2	339	80
3	1112	78
4	4117	74
done	5000	74
0	48	129
1	137	129
2	371	129
3	1162	125
4	4334	119
done	5000	119
0	47	126
1	132	126
2	353	126
3	1129	122
4	4279	116
done	5000	116
0	47	125
1	134	123
2	359	123
3	1152	119
4	4794	113
done	5000	113
0	47	84
1	132	84
2	352	84
3	1115	82
4	4234	78
done	5000	78
0	46	81
1	129	81
2	345	81
3	1114	79
4	4183	75
done	5000	75
0	46	80
1	131	78
2	349	78
3	1112	76
4	4735	72
done	5000	72
0	27	41
1	73	41
2	179	39
3	548	39
4	2137	37
done	5000	37
0	26	38
1	70	38
2	172	36
3	534	36
4	1978	34
done	5001	34
0	25	37
1	69	35
2	173	33
3	529	33
4	1811	31
done	5001	31
0	27	41
1	73	41
2	179	39
3	548	39
4	2137	37
done	5000	37
0	26	38
1	70	38
2	172	36
3	534	36
4	1978	34
done	5001	34
0	25	37
1	69	35
2	173	33
3	529	33
4	1811	31
done	5001	31
0	24	35
1	66	33
2	167	33
3	468	33
4	1531	31
done	5000	31
0	43	77
1	124	77
2	337	77
3	1094	75
4	4060	71
done	5001	71
0	45	80
1	128	80
2	344	80
3	1115	78
4	4096	74
done	5001	74
0	45	80
1	128	80
2	344	80
3	1115	78
4	4096	74
done	5001	74
0	44	79
1	127	79
2	343	79
3	1169	77
4	4455	73
done	5000	73
0	43	77
1	124	77
2	337	77
3	1094	75
4	4060	71
done	5001	71
0	51	129
1	176	109
2	628	103
3	3514	103
done	5000	103
0	47	89
1	141	83
2	417	83
3	1670	81
done	5001	81
0	47	113
1	157	99
2	552	93
3	3047	93
done	5000	93
0	43	73
1	122	73
2	345	73
3	1301	71
done	5001	71
0	48	147
1	164	127
2	607	121
3	3533	119
done	5000	119
0	44	79
1	129	79
2	361	79
3	1411	77
done	5000	77
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	21	6
3	37	6
4	79	6
5	184	6
6	449	6
7	1203	6
8	4669	6
done	5000	6
0	8	17
1	21	17
2	72	11
3	213	7
4	436	7
5	1198	7
6	4072	7
done	5000	7
0	8	17
1	22	17
2	74	9
3	211	7
4	446	7
5	1262	7
6	4293	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	230	7
4	358	7
5	524	7
6	1407	7
7	4747	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	6	9
1	13	9
2	24	9
done	24	9
0	5	6
1	8	6
2	10	6
done	10	6
0	4	5
1	9	3
2	17	3
done	17	3
0	3	3
1	4	3
done	4	3
0	5	7
1	8	6
2	17	4
3	23	4
done	23	4
0	5	6
1	8	6
2	14	6
3	21	4
4	25	4
done	25	4
0	5	6
1	8	6
2	14	6
3	21	4
4	25	4
done	25	4
0	4	5
1	9	3
2	10	1
done	10	1
0	3	3
1	6	1
done	6	1
0	3	3
1	5	1
done	5	1
0	4	5
1	9	3
2	10	1
done	10	1
0	3	3
1	6	1
done	6	1
0	5	5
1	12	1
done	12	1
0	6	9
1	10	9
2	17	9
3	41	9
4	98	9
5	256	9
6	882	9
7	3278	9
done	5000	9
0	5	6
1	9	6
2	14	6
3	32	6
4	72	6
5	176	6
6	549	6
7	2166	6
done	5000	6
0	4	5
1	11	3
2	18	3
3	30	3
4	52	3
5	112	3
6	321	3
7	1255	3
done	5000	3
0	3	3
1	8	3
2	17	3
3	38	3
4	90	3
5	221	3
6	665	3
7	2648	3
done	5000	3
0	3	3
1	8	3
2	17	3
3	38	3
4	90	3
5	221	3
6	665	3
7	2648	3
done	5000	3
0	5	6
1	12	6
2	28	6
3	84	6
4	317	4
5	1211	4
done	5001	4
0	5	6
1	10	6
2	23	6
3	76	6
4	286	4
5	1150	4
done	5002	4
0	6	13
1	11	13
2	22	13
3	64	13
4	219	9
5	795	3
6	4049	3
done	5001	3
0	5	6
1	10	6
2	21	6
3	63	6
4	213	4
5	805	3
6	3919	3
done	5000	3
0	6	17
1	15	11
2	40	7
3	164	7
4	1099	5
done	5000	5
0	5	6
1	10	6
2	22	6
3	64	4
4	217	4
5	811	4
6	3967	4
done	5000	4
0	5	6
1	10	6
2	22	6
3	64	4
4	217	4
5	811	4
6	3967	4
done	5000	4
0	6	7
1	11	5
2	22	5
3	46	3
4	85	3
5	194	3
6	584	3
7	2137	3
done	5000	3
0	6	7
1	11	5
2	22	5
3	46	3
4	85	3
5	194	3
6	584	3
7	2137	3
done	5000	3
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	13	15
1	33	15
2	74	15
3	157	15
4	346	15
5	860	15
6	2867	15
done	5000	15
0	17	21
1	44	21
2	90	15
3	171	15
4	397	15
5	1197	15
done	5000	15
0	17	21
1	44	21
2	90	15
3	171	15
4	397	15
5	1197	15
done	5000	15
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	3	3
1	8	3
2	14	3
3	27	3
4	77	3
5	279	3
6	937	3
7	4101	3
done	5000	3
0	3	3
1	8	3
2	14	3
3	27	3
4	77	3
5	279	3
6	937	3
7	4101	3
done	5000	3
0	3	3
1	8	3
2	14	3
3	27	3
4	77	3
5	279	3
6	937	3
7	4101	3
done	5000	3
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

prune1.2s

Filtered

119 candidates to 159 candidates (-33.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	159	3	162

Merged error: 0b

Counts

162 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
0.1b	(/ 0.15298196345929327 (pow x 5))
0.2b	(/ 0.2514179000665375 (pow x 3))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

59×	`times-frac`
50×	`*-un-lft-identity`
44×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`unpow-prod-down`
19×	`associate-/r*`
13×	`add-exp-log`
12×	`cube-prod`
8×	`sqr-pow`
7×	`add-cbrt-cube`
6×	`div-exp` `associate-/l*`
5×	`add-log-exp`
4×	`cube-mult` `unpow3`
3×	`pow1`
2×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num` `div-inv` `distribute-lft-out`
1×	`+-commutative` `flip3-+` `frac-add` `sum-log` `flip-+`

Counts

3 → 124

Calls

3 calls:

29.0ms	(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
6.0ms	(/ 0.15298196345929327 (pow x 5))
6.0ms	(/ 0.2514179000665375 (pow x 3))

series18.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(+ (/ 0.5 x) (/ 0.2514179000665375 (pow x 3)))
5.0ms	(/ 0.15298196345929327 (pow x 5))
5.0ms	(/ 0.2514179000665375 (pow x 3))

simplify9.5min

Counts

133 → 133

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	19	7
2	37	7
3	65	7
4	136	7
5	343	7
6	1061	7
7	4175	7
done	5000	7
0	6	6
1	17	6
2	38	6
3	83	6
4	178	6
5	435	6
6	1302	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	9	17
1	29	13
2	110	9
3	617	7
4	3726	7
done	5001	7
0	7	13
1	15	13
2	27	13
3	43	13
4	75	13
5	166	13
6	483	13
7	1825	13
done	5000	13
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	7	17
1	22	17
2	76	7
3	471	7
4	3031	7
done	5000	7
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	2	2
done	2	2
0	4	4
1	12	4
2	27	4
3	48	4
4	92	4
5	228	4
6	752	4
7	3059	4
done	5000	4
0	9	13
1	21	13
2	64	9
3	161	9
4	325	9
5	658	9
6	1754	9
done	5000	9
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	8	10
1	18	10
2	41	10
3	85	10
4	161	10
5	414	10
6	1498	10
done	5001	10
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	9
1	19	7
2	21	5
3	25	5
4	30	5
done	30	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	6	9
1	12	9
2	21	9
3	27	9
done	27	9
0	4	4
done	4	4
0	9	15
1	22	9
2	37	9
3	53	9
4	74	9
5	141	9
6	356	9
7	1269	9
done	5000	9
0	7	7
1	15	4
2	21	4
3	31	4
4	52	4
5	115	4
6	323	4
7	1257	4
done	5000	4
0	9	13
1	21	13
2	64	9
3	161	9
4	325	9
5	658	9
6	1754	9
done	5000	9
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	8	10
1	18	10
2	41	10
3	85	10
4	161	10
5	414	10
6	1498	10
done	5001	10
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	9
1	19	7
2	21	5
3	25	5
4	30	5
done	30	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	6
1	7	6
done	7	6
0	8	10
1	18	10
2	27	10
3	38	10
4	59	10
5	120	10
6	324	10
7	1255	10
done	5000	10
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	9	11
1	16	9
2	29	9
3	57	9
4	131	9
5	384	9
6	1459	9
done	5001	9
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	8	10
1	18	10
2	47	6
3	83	6
4	120	6
5	218	6
6	546	6
7	1942	6
done	5001	6
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	6	6
1	16	4
2	20	2
done	20	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	5	6
1	7	6
done	7	6
0	4	4
done	4	4
0	8	12
1	17	6
2	23	6
3	33	6
4	54	6
5	115	6
6	324	6
7	1245	6
done	5001	6
0	7	7
1	15	4
2	21	4
3	31	4
4	52	4
5	115	4
6	323	4
7	1257	4
done	5000	4
0	8	10
1	18	10
2	47	6
3	83	6
4	120	6
5	218	6
6	546	6
7	1942	6
done	5001	6
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	6	6
1	16	4
2	20	2
done	20	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	4	4
done	4	4
0	5	6
1	7	6
done	7	6
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	7	9
1	19	9
2	48	5
3	86	5
4	123	5
5	220	5
6	553	5
7	1964	5
done	5001	5
0	6	6
1	14	3
2	18	3
3	24	3
4	34	3
5	55	3
6	120	3
7	342	3
8	1273	3
done	5000	3
0	6	6
1	16	6
2	28	6
3	42	6
4	74	6
5	164	6
6	480	6
7	1837	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	4	5
1	14	1
2	18	1
done	18	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	4	5
1	8	5
done	8	5
0	3	3
done	3	3
0	7	11
1	18	5
2	24	5
3	34	5
4	55	5
5	118	5
6	321	5
7	1256	5
done	5001	5
0	6	6
1	14	3
2	20	3
3	30	3
4	51	3
5	113	3
6	327	3
7	1247	3
done	5000	3
0	7	9
1	19	9
2	48	5
3	86	5
4	123	5
5	220	5
6	553	5
7	1964	5
done	5001	5
0	6	6
1	14	3
2	18	3
3	24	3
4	34	3
5	55	3
6	120	3
7	342	3
8	1273	3
done	5000	3
0	6	6
1	16	6
2	28	6
3	42	6
4	74	6
5	164	6
6	480	6
7	1837	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	4	5
1	14	1
2	18	1
done	18	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
done	6	5
0	6	6
1	16	6
2	23	6
3	33	6
4	54	6
5	111	6
6	317	6
7	1250	6
done	5001	6
0	6	6
1	14	6
2	21	6
3	31	6
4	52	6
5	114	6
6	317	6
7	1256	6
done	5000	6
0	2	3
1	4	1
done	4	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	7	7
1	14	5
2	22	5
3	36	5
4	68	5
5	156	5
6	474	5
7	1845	5
done	5000	5
0	7	7
1	12	5
2	20	5
3	34	5
4	66	5
5	158	5
6	475	5
7	1836	5
done	5000	5
0	5	5
1	15	5
2	27	5
3	43	5
4	75	5
5	165	5
6	476	5
7	1834	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	47	5
4	95	5
5	230	5
6	748	5
7	3127	5
done	5000	5
0	7	9
1	17	9
2	46	5
3	85	5
4	122	5
5	222	5
6	548	5
7	1954	5
done	5001	5
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	5	5
1	15	3
done	15	1
0	4	5
1	6	5
done	6	5
0	7	11
1	16	5
2	22	5
3	32	5
4	53	5
5	113	5
6	323	5
7	1248	5
done	5001	5
0	7	9
1	17	9
2	46	5
3	85	5
4	122	5
5	222	5
6	548	5
7	1954	5
done	5001	5
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	5	5
1	15	3
done	15	1
0	3	3
done	3	3
0	6	6
1	14	6
2	21	6
3	31	6
4	52	6
5	114	6
6	317	6
7	1256	6
done	5000	6
0	3	3
1	5	1
done	5	1
0	7	7
1	12	5
2	20	5
3	34	5
4	66	5
5	158	5
6	475	5
7	1836	5
done	5000	5
0	6	6
1	14	6
2	26	6
3	48	6
4	96	6
5	231	6
6	755	6
7	3136	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	48	6
4	96	6
5	231	6
6	755	6
7	3136	6
done	5000	6
0	5	5
1	13	5
2	25	5
3	47	5
4	95	5
5	230	5
6	748	5
7	3127	5
done	5000	5
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	16	7
2	31	7
3	51	7
4	111	7
5	314	7
6	1007	7
7	3986	7
done	5001	7
0	6	6
1	14	6
2	28	6
3	59	6
4	139	6
5	386	6
6	1229	6
7	4784	6
done	5000	6
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	9	17
1	26	13
2	81	9
3	296	7
4	1358	7
done	5001	7
0	7	13
1	12	13
2	20	13
3	34	13
4	67	13
5	162	13
6	483	13
7	1848	13
done	5001	13
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	7	17
1	19	17
2	52	7
3	210	7
4	1042	7
done	5000	7
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	2	2
done	2	2
0	4	4
1	9	4
2	18	4
3	35	4
4	79	4
5	222	4
6	747	4
7	3129	4
done	5000	4
0	9	13
1	16	13
2	29	13
3	57	13
4	132	13
5	387	13
6	1477	13
done	5001	13
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	8	10
1	15	10
2	28	10
3	56	10
4	129	10
5	379	10
6	1465	10
done	5001	10
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	7	9
1	16	7
2	18	5
3	22	5
4	27	5
done	27	5
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	9	15
1	20	15
2	35	15
3	51	15
4	73	15
5	138	15
6	354	15
7	1285	15
done	5000	15
0	7	7
1	12	7
2	18	7
3	28	7
4	50	7
5	111	7
6	325	7
7	1260	7
done	5000	7
0	8	10
1	15	10
2	24	10
3	35	10
4	59	10
5	121	10
6	337	10
7	1265	10
done	5000	10
0	7	7
1	12	7
2	19	7
3	29	7
4	51	7
5	116	7
6	326	7
7	1266	7
done	5000	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	9	11
1	16	9
2	29	9
3	57	9
4	132	9
5	387	9
6	1479	9
done	5001	9
0	8	8
1	13	6
2	21	6
3	35	6
4	68	6
5	166	6
6	491	6
7	1839	6
done	5000	6
0	8	10
1	13	10
2	21	10
3	35	10
4	68	10
5	163	10
6	478	10
7	1854	10
done	5000	10
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	6	6
1	13	4
done	13	2
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	8	12
1	15	12
2	21	12
3	31	12
4	53	12
5	118	12
6	320	12
7	1254	12
done	5000	12
0	7	7
1	12	7
2	18	7
3	28	7
4	50	7
5	111	7
6	325	7
7	1260	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	29	7
4	51	7
5	116	7
6	326	7
7	1266	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	29	7
4	51	7
5	116	7
6	326	7
7	1266	7
done	5000	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	68	6
5	166	6
6	491	6
7	1839	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	68	6
5	166	6
6	491	6
7	1839	6
done	5000	6
0	7	9
1	14	9
2	22	9
3	36	9
4	69	9
5	161	9
6	475	9
7	1832	9
done	5000	9
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	6	6
1	13	6
2	21	6
3	35	6
4	68	6
5	163	6
6	483	6
7	1852	6
done	5000	6
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	4	5
1	11	1
done	11	1
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	7	11
1	16	11
2	22	11
3	32	11
4	54	11
5	115	11
6	327	11
7	1254	11
done	5001	11
0	6	6
1	11	6
2	17	6
3	27	6
4	49	6
5	111	6
6	323	6
7	1247	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	52	6
5	115	6
6	326	6
7	1257	6
done	5000	6
0	6	6
1	11	6
2	18	6
3	28	6
4	50	6
5	110	6
6	319	6
7	1250	6
done	5000	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	7	7
1	14	5
2	22	5
3	36	5
4	69	5
5	159	5
6	477	5
7	1829	5
done	5000	5
0	7	7
1	12	5
2	20	5
3	34	5
4	67	5
5	161	5
6	483	5
7	1855	5
done	5000	5
0	5	5
1	12	5
2	20	5
3	34	5
4	67	5
5	161	5
6	485	5
7	1838	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	34	5
4	77	5
5	216	5
6	734	5
7	3125	5
done	5000	5
0	7	9
1	12	9
2	20	9
3	34	9
4	67	9
5	163	9
6	494	9
7	1853	9
done	5000	9
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	5	5
1	12	3
done	12	1
0	7	11
1	14	11
2	20	11
3	30	11
4	52	11
5	116	11
6	329	11
7	1239	11
done	5000	11
0	6	6
1	11	6
2	18	6
3	28	6
4	50	6
5	110	6
6	319	6
7	1250	6
done	5000	6
0	3	3
1	5	1
done	5	1
0	7	7
1	12	5
2	20	5
3	34	5
4	67	5
5	161	5
6	483	5
7	1855	5
done	5000	5
0	6	6
1	11	6
2	19	6
3	35	6
4	78	6
5	215	6
6	739	6
7	3117	6
done	5001	6
0	6	6
1	11	6
2	19	6
3	35	6
4	78	6
5	215	6
6	739	6
7	3117	6
done	5001	6
0	5	5
1	10	5
2	18	5
3	34	5
4	77	5
5	216	5
6	734	5
7	3125	5
done	5000	5
0	10	11
1	21	10
2	34	10
3	50	10
4	82	10
5	173	10
6	488	10
7	1838	10
done	5001	10
0	9	10
1	18	10
2	30	10
3	45	10
4	79	10
5	172	10
6	495	10
7	1848	10
done	5000	10
0	9	10
1	21	10
2	34	10
3	49	10
4	81	10
5	171	10
6	480	10
7	1822	10
done	5000	10
0	10	21
1	19	21
2	31	21
3	47	21
4	79	21
5	166	21
6	477	21
7	1833	21
done	5000	21
0	9	10
1	18	10
2	30	10
3	45	10
4	79	10
5	172	10
6	495	10
7	1848	10
done	5000	10
0	10	29
1	32	29
2	91	11
3	357	11
4	1741	11
done	5000	11
0	9	10
1	18	10
2	30	10
3	45	10
4	79	10
5	172	10
6	495	10
7	1848	10
done	5000	10
0	9	10
1	18	10
2	30	10
3	45	10
4	79	10
5	172	10
6	495	10
7	1848	10
done	5000	10
0	8	9
1	19	9
2	37	9
3	62	9
4	108	9
5	254	9
6	779	9
7	3071	9
done	5000	9
0	4	5
1	13	5
2	28	3
3	54	3
4	115	3
5	310	3
6	1095	3
done	5000	3
0	10	13
1	34	13
2	94	13
3	384	13
4	1990	13
done	5000	13
0	12	29
1	40	23
2	120	23
3	445	23
4	1479	21
done	5000	21
0	10	19
1	31	19
2	79	19
3	291	19
4	1134	15
done	5000	15
0	8	9
1	18	9
2	33	9
3	60	9
4	109	9
5	237	9
6	695	9
7	2656	9
done	5000	9
0	8	9
1	17	9
2	29	9
3	45	9
4	79	9
5	172	9
6	491	9
7	1843	9
done	5000	9
0	8	9
1	17	9
2	29	9
3	45	9
4	79	9
5	172	9
6	491	9
7	1843	9
done	5000	9
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	11	13
1	28	13
2	54	9
3	105	9
4	242	9
5	699	9
6	2726	9
done	5000	9
0	11	13
1	28	13
2	54	9
3	105	9
4	242	9
5	699	9
6	2726	9
done	5000	9
0	11	13
1	28	13
2	54	9
3	105	9
4	242	9
5	699	9
6	2726	9
done	5000	9

prune222.0ms

Filtered

87 candidates to 133 candidates (-52.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	133	3	136

Merged error: 0b

Counts

136 → 3

regimes110.0ms

Accuracy

100% (0.0b remaining)

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

bsearch67.0ms

Steps

Iters	Range		Point
7	280.39199233801065	54027.26876101495	728.5990004462074
9	-1.7705855973447552e+17	-66910933.9981574	-4012915978297.134

simplify13.0ms

Iterations

Useful iterations: 1 (4.0ms)

Iter	Nodes	Cost
0	62	211
1	95	197
done	95	197

end0.0ms

sample1.3s

Algorithm

intervals

Results

1.1s

8000×

body

valid

Details

sample52.0ms

simplify2.2s

prune14.0ms

localize50.0ms

rewrite160.0ms

series71.0ms

simplify5.2min

prune949.0ms

localize41.0ms

rewrite67.0ms

series39.0ms

simplify7.7min

prune1.2s

localize11.0ms

rewrite51.0ms

series18.0ms

simplify9.5min

prune222.0ms

regimes110.0ms

bsearch67.0ms

simplify13.0ms

end0.0ms

sample1.3s

Profiling