Details

sample45.0ms

Algorithm

intervals

Results

14.0ms	82×	body	1280	valid
4.0ms	174×	body	80	valid
4.0ms	40×	body	640	valid
2.0ms	26×	body	320	valid
1.0ms	12×	body	160	valid

simplify3.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 27.7b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(exp (* a x))
4.2b	(- (exp (* a x)) 1.0)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp`
4×	`add-sqr-sqrt` `*-un-lft-identity`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
1×	`sub-neg` `exp-prod` `flip3--` `exp-to-pow` `diff-log` `flip--` `rem-exp-log` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 24

Calls

2 calls:

2.0ms	(exp (* a x))
5.0ms	(- (exp (* a x)) 1.0)

series12.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(exp (* a x))
8.0ms	(- (exp (* a x)) 1.0)

simplify1.2min

Counts

30 → 30

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	7
2	21	7
3	34	7
4	67	7
5	154	7
6	404	7
7	1357	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	15	7
2	24	7
3	37	7
4	73	7
5	162	7
6	447	7
7	1371	7
done	5000	7
0	8	15
1	13	15
2	20	15
3	28	15
4	51	15
5	107	15
6	248	15
7	701	15
8	2432	15
done	5001	15
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	8	20
1	14	20
2	35	8
3	95	8
4	321	8
5	1344	8
done	5000	8
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	27	7
4	50	7
5	106	7
6	247	7
7	712	7
8	2442	7
done	5000	7
0	9	10
1	27	10
2	58	10
3	127	10
4	323	10
5	1071	10
done	5000	10
0	10	20
1	22	17
2	43	15
3	73	15
4	160	15
5	430	15
6	1433	15
done	5000	15
0	2	2
done	2	2
0	8	13
1	18	12
2	38	10
3	78	10
4	185	10
5	529	10
6	1748	10
done	5000	10
0	6	6
1	10	6
2	16	6
3	24	6
4	47	6
5	103	6
6	240	6
7	699	6
8	2440	6
done	5000	6
0	8	8
1	12	8
2	18	8
3	27	8
4	51	8
5	107	8
6	250	8
7	717	8
8	2455	8
done	5000	8
0	8	8
1	13	8
2	20	8
3	29	8
4	53	8
5	109	8
6	250	8
7	709	8
8	2452	8
done	5000	8
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	2	2
done	2	2
0	2	2
done	2	2
0	5	5
1	8	3
2	16	3
3	29	3
4	62	3
5	158	3
6	476	3
7	1799	3
done	5000	3
0	5	5
1	8	5
2	14	5
3	24	5
4	54	5
5	130	5
6	341	5
7	1111	5
8	4530	5
done	5000	5
0	6	11
1	9	11
2	15	11
3	23	11
4	46	11
5	102	11
6	242	11
7	695	11
8	2435	11
done	5000	11
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	238	5
7	683	5
8	2415	5
done	5000	5
0	6	14
1	12	13
2	31	6
3	79	6
4	190	6
5	652	6
6	3510	6
done	5000	6
0	5	5
1	8	5
2	14	5
3	23	5
4	47	5
5	103	5
6	244	5
7	700	5
8	2457	5
done	5000	5
0	5	5
1	8	5
2	14	5
3	23	5
4	47	5
5	103	5
6	244	5
7	700	5
8	2457	5
done	5000	5
0	17	23
1	48	23
2	173	23
3	447	21
4	1338	21
done	5000	17
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	6	6
1	11	6
2	18	6
3	26	6
4	49	6
5	107	6
6	246	6
7	704	6
8	2436	6
done	5001	6
0	12	15
1	30	15
2	87	15
3	268	13
4	933	13
5	3200	13
done	5000	13
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4
0	4	4
1	7	4
2	13	4
3	21	4
4	44	4
5	100	4
6	239	4
7	696	4
8	2441	4
done	5000	4

prune57.0ms

Filtered

21 candidates to 30 candidates (-42.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	26	4	30
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	27	4	31

Merged error: 2.3b

Counts

31 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 1/6 (* a x))
0.4b	(* (pow x 2) (+ (* 1/6 (* a x)) 1/2))
1.0b	(* a (+ x (* a (* (pow x 2) (+ (* 1/6 (* a x)) 1/2)))))
6.7b	(* a (* (pow x 2) (+ (* 1/6 (* a x)) 1/2)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log`
19×	`add-sqr-sqrt`
18×	`add-cbrt-cube`
17×	`associate-l`
14×	`prod-exp`
13×	`pow1`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`associate-r/` `associate-r*` `cbrt-unprod`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`pow-prod-down` `unswap-sqr`
4×	`unpow-prod-down` `*-commutative` `add-log-exp`
3×	`flip3-+` `flip-+`
2×	`pow-to-exp` `pow-exp` `unpow2` `sqr-pow`

Counts

4 → 96

Calls

4 calls:

6.0ms	(* 1/6 (* a x))
11.0ms	(* (pow x 2) (+ (* 1/6 (* a x)) 1/2))
6.0ms	(* a (+ x (* a (* (pow x 2) (+ (* 1/6 (* a x)) 1/2)))))
12.0ms	(* a (* (pow x 2) (+ (* 1/6 (* a x)) 1/2)))

series60.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 1/6 (* a x))
9.0ms	(* (pow x 2) (+ (* 1/6 (* a x)) 1/2))
29.0ms	(* a (+ x (* a (* (pow x 2) (+ (* 1/6 (* a x)) 1/2)))))
19.0ms	(* a (* (pow x 2) (+ (* 1/6 (* a x)) 1/2)))

simplify5.5min

Counts

108 → 108

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	13
1	31	13
2	104	13
3	223	13
4	301	13
5	316	13
6	365	13
7	510	13
8	962	13
9	2691	13
done	5000	13
0	14	16
1	24	16
2	36	16
done	36	16
0	14	16
1	24	16
2	36	16
done	36	16
0	14	16
1	30	16
2	51	16
3	70	16
4	88	16
5	98	16
6	120	16
7	185	16
8	399	16
9	1325	16
done	5000	16
0	13	15
1	34	15
2	92	15
3	160	15
4	198	15
5	212	15
6	253	15
7	358	15
8	688	15
9	2002	15
done	5000	15
0	12	14
1	35	14
2	115	14
3	257	14
4	355	14
5	372	14
6	421	14
7	568	14
8	1019	14
9	2736	14
done	5001	14
0	12	14
1	34	14
2	114	14
3	280	14
4	515	14
5	1029	14
6	3581	14
done	5001	14
0	17	41
1	55	37
2	252	19
3	1400	19
done	5000	19
0	15	41
1	48	41
2	242	17
3	1344	17
done	5001	17
0	13	29
1	33	29
2	106	29
3	229	29
4	323	29
5	338	29
6	387	29
7	539	29
8	982	29
9	2706	29
done	5000	29
0	12	14
1	32	14
2	105	14
3	225	14
4	302	14
5	317	14
6	368	14
7	515	14
8	962	14
9	2680	14
done	5001	14
0	13	41
1	43	41
2	199	15
3	1103	15
done	5000	15
0	12	14
1	32	14
2	105	14
3	225	14
4	302	14
5	317	14
6	368	14
7	515	14
8	962	14
9	2680	14
done	5001	14
0	12	14
1	32	14
2	105	14
3	225	14
4	302	14
5	317	14
6	368	14
7	515	14
8	962	14
9	2680	14
done	5001	14
0	9	11
1	24	11
2	82	11
3	166	11
4	212	9
5	226	9
6	277	9
7	431	9
8	880	9
9	2587	9
done	5000	9
0	7	7
1	16	7
2	41	7
3	60	7
4	68	7
5	78	7
6	100	7
7	166	7
8	380	7
9	1312	7
done	5000	7
0	9	11
1	24	11
2	80	11
3	166	11
4	213	9
5	227	9
6	276	9
7	425	9
8	869	9
9	2588	9
done	5000	9
0	7	7
1	16	7
2	41	7
3	58	7
4	67	7
5	77	7
6	99	7
7	164	7
8	382	7
9	1309	7
done	5000	7
0	9	11
1	24	11
2	80	11
3	168	11
4	222	9
5	236	9
6	287	9
7	439	9
8	889	9
9	2588	9
done	5000	9
0	7	7
1	16	7
2	41	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	9	11
1	24	11
2	78	11
3	168	11
4	227	9
5	241	9
6	292	9
7	436	9
8	887	9
9	2575	9
done	5000	9
0	7	7
1	16	7
2	41	7
3	60	7
4	68	7
5	78	7
6	100	7
7	166	7
8	380	7
9	1312	7
done	5000	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	12	14
1	32	14
2	106	14
3	249	14
4	465	14
5	510	14
6	567	14
7	747	14
8	1292	14
9	3352	14
done	5000	14
0	12	14
1	32	14
2	106	14
3	249	14
4	465	14
5	510	14
6	567	14
7	747	14
8	1292	14
9	3352	14
done	5000	14
0	11	13
1	31	13
2	104	13
3	223	13
4	301	13
5	316	13
6	365	13
7	510	13
8	962	13
9	2691	13
done	5000	13
0	14	17
1	52	15
2	187	15
3	783	15
4	3334	15
done	5000	15
0	13	21
1	40	17
2	130	17
3	446	17
4	1568	17
5	3336	15
done	5000	15
0	13	17
1	39	17
2	119	17
3	294	17
4	519	17
5	689	17
6	795	17
7	1095	17
8	1952	17
done	5001	17
0	15	19
1	37	19
2	110	19
3	235	19
4	316	19
5	346	19
6	416	19
7	567	19
8	1011	19
9	2727	19
done	5000	19
0	14	18
1	43	18
2	124	18
3	302	18
4	531	18
5	661	18
6	776	18
7	1065	18
8	1916	18
done	5001	18
0	14	18
1	42	18
2	130	18
3	336	18
4	689	18
5	1300	18
6	3195	18
done	5000	18
0	17	53
1	57	53
2	232	21
3	1028	21
done	5001	21
0	15	37
1	41	37
2	121	37
3	294	37
4	546	37
5	739	37
6	841	37
7	1130	37
8	1983	37
done	5000	37
0	14	18
1	40	18
2	120	18
3	295	18
4	538	18
5	708	18
6	812	18
7	1110	18
8	1973	18
done	5001	18
0	15	53
1	51	53
2	201	19
3	747	19
4	3718	19
done	5001	19
0	14	18
1	40	18
2	120	18
3	295	18
4	538	18
5	708	18
6	812	18
7	1110	18
8	1973	18
done	5001	18
0	14	18
1	40	18
2	120	18
3	295	18
4	538	18
5	708	18
6	812	18
7	1110	18
8	1973	18
done	5001	18
0	15	19
1	37	19
2	110	19
3	235	19
4	316	19
5	343	19
6	408	19
7	551	19
8	1002	19
9	2714	19
done	5000	19
0	15	19
1	37	19
2	110	19
3	235	19
4	316	19
5	343	19
6	408	19
7	551	19
8	1002	19
9	2714	19
done	5000	19
0	3	3
1	4	3
done	4	3
0	12	15
1	35	15
2	122	15
3	320	15
4	525	15
5	560	15
6	623	15
7	865	15
8	1701	15
done	5000	15
0	3	3
1	4	3
done	4	3
0	12	15
1	33	15
2	112	15
3	276	15
4	481	15
5	632	15
6	693	15
7	939	15
8	1781	15
done	5001	15
0	15	35
1	39	35
2	114	35
3	241	35
4	340	35
5	367	35
6	434	35
7	580	35
8	1020	35
9	2705	35
done	5001	35
0	14	18
1	36	18
2	109	18
3	240	18
4	320	18
5	347	18
6	412	18
7	552	18
8	994	18
9	2710	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	14	18
1	42	18
2	128	18
3	333	18
4	750	18
5	1272	18
6	1392	18
7	1729	18
8	2904	18
done	5000	18
0	14	18
1	42	18
2	128	18
3	333	18
4	750	18
5	1272	18
6	1392	18
7	1729	18
8	2904	18
done	5000	18
0	13	17
1	39	17
2	119	17
3	294	17
4	519	17
5	689	17
6	795	17
7	1095	17
8	1952	17
done	5001	17
0	16	21
1	58	21
2	210	21
3	879	21
done	5001	21
0	15	33
1	47	33
2	201	33
3	998	29
done	5000	29
0	12	13
1	19	13
2	25	13
done	25	13
0	12	13
1	19	13
2	25	13
done	25	13
0	12	13
1	25	13
2	40	13
3	49	13
4	55	13
5	65	13
6	89	13
7	150	13
8	368	13
9	1292	13
done	5000	13
0	11	12
1	31	12
2	85	12
3	143	12
4	164	12
5	178	12
6	217	12
7	318	12
8	645	12
9	1963	12
done	5000	12
0	11	12
1	30	12
2	92	12
3	179	12
4	313	12
5	812	12
6	2840	12
done	5000	12
0	14	35
1	46	31
2	196	15
3	921	15
done	5000	15
0	12	25
1	29	25
2	79	25
3	127	25
4	140	25
5	154	25
6	195	25
7	294	25
8	626	25
9	1942	25
done	5001	25
0	11	12
1	28	12
2	78	12
3	126	12
4	139	12
5	153	12
6	192	12
7	294	12
8	618	12
9	1928	12
done	5000	12
0	12	35
1	39	35
2	188	13
3	798	13
4	3820	13
done	5000	13
0	11	12
1	28	12
2	78	12
3	126	12
4	139	12
5	153	12
6	192	12
7	294	12
8	618	12
9	1928	12
done	5000	12
0	11	12
1	28	12
2	78	12
3	126	12
4	139	12
5	153	12
6	192	12
7	294	12
8	618	12
9	1928	12
done	5000	12
0	12	13
1	23	13
2	44	10
3	61	10
4	96	10
5	217	10
6	657	10
7	2648	10
done	5000	10
0	12	13
1	23	13
2	44	10
3	61	10
4	96	10
5	217	10
6	657	10
7	2648	10
done	5000	10
0	9	10
1	15	10
2	21	10
done	21	10
0	9	10
1	15	10
2	21	10
done	21	10
0	12	13
1	23	13
2	38	11
3	43	11
4	49	11
5	59	11
6	81	11
7	147	11
8	363	11
9	1280	11
done	5000	11
0	12	13
1	23	13
2	38	11
3	43	11
4	49	11
5	59	11
6	81	11
7	147	11
8	363	11
9	1280	11
done	5000	11
0	12	14
1	22	12
2	41	10
3	55	10
4	91	10
5	208	10
6	635	10
7	2548	10
done	5000	10
0	12	14
1	22	12
2	41	10
3	55	10
4	91	10
5	208	10
6	635	10
7	2548	10
done	5000	10
0	8	9
1	20	9
2	59	9
3	97	9
4	115	7
5	129	7
6	170	7
7	269	7
8	604	7
9	1936	7
done	5001	7
0	5	5
1	11	5
2	26	5
3	31	5
4	37	5
5	47	5
6	69	5
7	129	5
8	344	5
9	1278	5
done	5001	5
0	8	9
1	20	9
2	59	9
3	98	9
4	114	7
5	128	7
6	169	7
7	275	7
8	599	7
9	1913	7
done	5000	7
0	5	5
1	11	5
2	26	5
3	31	5
4	37	5
5	47	5
6	69	5
7	129	5
8	344	5
9	1278	5
done	5001	5
0	12	21
1	25	21
2	58	21
3	68	21
4	74	21
5	84	21
6	106	21
7	165	21
8	375	21
9	1296	21
done	5000	21
0	11	12
1	22	12
2	43	12
3	48	12
4	54	12
5	64	12
6	88	12
7	147	12
8	362	12
9	1287	12
done	5000	12
0	5	5
1	12	3
2	29	3
3	58	3
4	100	3
5	202	3
6	488	3
7	1755	3
done	5000	3
0	11	12
1	28	12
2	78	12
3	175	12
4	454	12
5	1402	12
done	5000	12
0	11	12
1	28	12
2	78	9
3	151	9
4	376	9
5	1194	9
6	4531	9
done	5000	9
0	10	11
1	27	11
2	77	11
3	133	11
4	154	11
5	168	11
6	207	11
7	308	11
8	645	11
9	1952	11
done	5001	11
0	8	9
1	20	9
2	35	9
3	46	9
4	48	9
done	48	9
0	11	12
1	28	12
2	54	12
3	86	12
4	99	12
5	109	12
6	133	12
7	193	12
8	403	12
9	1352	12
done	5000	12
0	11	12
1	28	12
2	56	10
3	88	10
4	99	10
5	109	10
6	133	10
7	195	10
8	405	10
9	1350	10
done	5000	10
0	10	11
1	27	11
2	77	11
3	133	11
4	154	11
5	168	11
6	207	11
7	308	11
8	645	11
9	1952	11
done	5001	11
0	11	13
1	27	11
2	67	9
3	136	9
4	355	9
5	1190	9
6	4728	9
done	5000	9
0	13	15
1	48	13
2	160	13
3	654	13
4	2711	13
done	5000	13
0	12	19
1	36	15
2	110	15
3	328	15
4	924	15
5	1822	15
6	2491	15
7	3860	15
done	5001	15
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	52	6
4	110	6
5	241	6
6	589	6
7	1747	6
done	5000	6
0	11	17
1	26	13
2	82	9
3	261	9
4	790	7
5	2138	7
done	5000	7
0	9	17
1	28	13
2	86	7
3	302	7
4	783	7
5	1454	7
6	2421	7
done	5001	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	22	15
2	91	7
3	400	7
4	1142	7
5	1487	7
6	2280	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	14	17
1	37	17
2	121	17
3	261	15
4	580	15
5	1288	13
6	3988	13
done	5000	13
0	14	17
1	37	17
2	121	17
3	261	15
4	580	15
5	1288	13
6	3988	13
done	5000	13
0	14	17
1	37	17
2	121	17
3	261	15
4	580	15
5	1288	13
6	3988	13
done	5000	13
0	10	13
1	24	13
2	77	13
3	131	11
4	179	11
5	204	11
6	256	11
7	392	11
8	935	11
9	2857	11
done	5000	11
0	17	23
1	48	23
2	173	23
3	449	21
4	1334	21
5	4906	17
done	5000	17
0	17	23
1	48	23
2	173	23
3	449	21
4	1334	21
5	4906	17
done	5000	17
0	12	13
1	29	13
2	80	13
3	150	11
4	281	11
5	639	11
6	1915	11
done	5000	11
0	12	13
1	29	13
2	80	13
3	150	11
4	281	11
5	639	11
6	1915	11
done	5000	11
0	12	13
1	29	13
2	80	13
3	150	11
4	281	11
5	639	11
6	1915	11
done	5000	11
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune198.0ms

Filtered

86 candidates to 108 candidates (-25.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	108	4	112

Merged error: 0.0b

Counts

112 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

1.0b	(* a (+ x (/ (* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x) (- (* 1/6 (* a x)) 1/2))))
1.0b	(* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x)
6.3b	(+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x)))
7.4b	(/ (* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x) (- (* 1/6 (* a x)) 1/2))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`add-exp-log` `add-cbrt-cube`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt`
8×	`pow1`
7×	`associate-r`
6×	`associate-l` `add-log-exp`
4×	`flip3-+` `associate-*l/` `flip-+`
3×	`times-frac` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `associate-/r/` `-commutative` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `distribute-rgt-in` `flip3--` `frac-2neg` `distribute-lft-in` `clear-num` `sum-log` `flip--` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

4 → 79

Calls

4 calls:

13.0ms	(* a (+ x (/ (* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x) (- (* 1/6 (* a x)) 1/2))))
9.0ms	(* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x)
6.0ms	(+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x)))
18.0ms	(/ (* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x) (- (* 1/6 (* a x)) 1/2))

series132.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* a (+ x (/ (* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x) (- (* 1/6 (* a x)) 1/2))))
32.0ms	(* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x)
21.0ms	(+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x)))
33.0ms	(/ (* (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) x) (- (* 1/6 (* a x)) 1/2))

simplify4.4min

Counts

91 → 91

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	19	26
1	47	26
2	118	26
3	323	26
4	709	26
5	1653	26
done	5000	26
0	18	25
1	47	25
2	125	25
3	372	25
4	933	25
5	2649	25
done	5001	25
0	17	24
1	46	24
2	133	24
3	404	24
4	1050	22
5	3373	22
done	5000	22
0	17	24
1	43	24
2	122	24
3	375	24
4	997	22
5	3272	22
done	5000	22
0	22	71
1	72	71
2	315	29
3	1855	29
done	5001	29
0	20	71
1	62	71
2	269	27
3	1504	25
done	5001	25
0	18	49
1	44	49
2	123	49
3	377	49
4	1002	45
5	3264	45
done	5001	45
0	17	24
1	43	24
2	122	24
3	373	24
4	988	22
5	3241	22
done	5000	22
0	18	71
1	51	71
2	166	25
3	682	25
4	3915	23
done	5001	23
0	17	24
1	43	24
2	122	24
3	373	24
4	988	22
5	3241	22
done	5000	22
0	17	24
1	43	24
2	122	24
3	373	24
4	988	22
5	3241	22
done	5000	22
0	12	16
1	34	16
2	105	16
3	400	15
4	1722	15
done	5000	15
0	8	8
1	15	8
2	25	8
3	45	7
4	70	7
done	70	7
0	17	31
1	42	31
2	106	31
3	298	31
4	620	31
5	1592	31
done	5000	31
0	9	10
1	16	10
2	23	10
done	23	10
0	16	22
1	39	22
2	103	22
3	293	22
4	636	22
5	1549	22
done	5000	22
0	9	10
1	16	10
2	23	10
done	23	10
0	12	15
1	31	13
2	90	13
3	281	13
4	644	13
5	1570	13
done	5000	13
0	8	9
1	15	9
2	22	9
done	22	9
0	9	9
1	18	9
2	25	9
3	27	9
done	27	9
0	16	23
1	45	23
2	150	23
3	486	23
4	1370	21
done	5000	21
0	18	33
1	49	33
2	135	33
3	382	33
4	979	33
5	3335	33
done	5000	33
0	17	24
1	43	24
2	119	24
3	353	24
4	913	24
5	2925	24
done	5000	24
0	13	17
1	35	15
2	108	15
3	343	15
4	992	15
5	2732	15
done	5000	15
0	8	9
1	18	9
2	33	9
3	58	7
4	84	7
5	221	7
6	1038	7
done	5000	7
0	18	27
1	59	25
2	183	25
3	742	25
4	3105	25
done	5001	25
0	18	31
1	53	27
2	167	27
3	547	27
4	1856	27
done	5001	27
0	19	49
1	75	41
2	326	33
3	2446	33
done	5000	33
0	15	21
1	40	21
2	128	21
3	465	21
4	2025	21
done	5000	21
0	12	15
1	35	14
2	113	14
3	398	14
4	1149	14
5	4303	14
done	5000	14
0	11	14
1	28	14
2	85	14
3	271	14
4	618	14
5	1523	14
done	5000	14
0	11	14
1	31	14
2	99	14
3	336	14
4	975	14
5	3652	14
done	5000	14
0	12	29
1	29	29
2	86	29
3	274	29
4	638	29
5	1560	29
done	5000	29
0	11	14
1	28	14
2	85	14
3	271	14
4	615	14
5	1511	14
done	5001	14
0	12	41
1	42	41
2	170	15
3	1064	15
done	5001	15
0	11	14
1	28	14
2	85	14
3	271	14
4	615	14
5	1511	14
done	5001	14
0	11	14
1	28	14
2	85	14
3	271	14
4	615	14
5	1511	14
done	5001	14
0	12	17
1	46	17
2	184	17
3	1173	15
done	5000	15
0	14	41
1	57	33
2	256	25
3	1768	25
done	5000	25
0	12	27
1	48	23
2	201	17
3	1298	17
done	5000	17
0	10	13
1	28	13
2	97	13
3	313	13
4	637	13
5	1548	13
done	5000	13
0	11	15
1	29	15
2	94	15
3	321	15
4	867	15
5	2536	15
done	5000	15
0	13	17
1	31	17
2	88	17
3	284	17
4	667	17
5	1582	17
done	5001	17
0	12	16
1	33	16
2	99	16
3	325	16
4	905	16
5	2570	16
done	5000	16
0	12	16
1	32	16
2	106	16
3	371	16
4	1163	16
5	4146	16
done	5000	16
0	15	47
1	51	47
2	204	19
3	1242	19
done	5000	19
0	13	33
1	31	33
2	96	33
3	331	33
4	902	33
5	2556	33
done	5001	33
0	12	16
1	30	16
2	95	16
3	322	16
4	893	16
5	2553	16
done	5000	16
0	13	47
1	41	47
2	157	17
3	773	17
done	5001	17
0	12	16
1	30	16
2	95	16
3	322	16
4	893	16
5	2553	16
done	5000	16
0	12	16
1	30	16
2	95	16
3	322	16
4	893	16
5	2553	16
done	5000	16
0	13	17
1	31	17
2	88	17
3	284	17
4	664	17
5	1567	17
done	5001	17
0	13	17
1	31	17
2	88	17
3	284	17
4	664	17
5	1567	17
done	5001	17
0	13	19
1	33	19
2	100	19
3	362	19
4	1393	19
done	5000	19
0	12	16
1	30	16
2	95	16
3	345	16
4	1157	16
5	3409	16
done	5000	16
0	12	15
1	32	13
2	100	13
3	356	13
4	1162	13
5	2713	13
done	5000	13
0	12	16
1	30	16
2	87	16
3	275	16
4	618	16
5	1526	16
done	5000	16
0	12	16
1	30	16
2	87	16
3	275	16
4	618	16
5	1526	16
done	5000	16
0	11	15
1	29	15
2	94	15
3	321	15
4	867	15
5	2536	15
done	5000	15
0	13	19
1	48	19
2	194	19
3	1257	17
done	5000	17
0	13	29
1	50	25
2	213	19
3	1361	19
done	5001	19
0	18	27
1	50	27
2	138	27
3	429	27
4	1281	25
5	4818	25
done	5000	25
0	20	29
1	48	29
2	127	29
3	382	29
4	1015	27
5	3299	27
done	5000	27
0	19	28
1	54	28
2	143	28
3	434	28
4	1328	26
5	4913	26
done	5000	26
0	19	28
1	53	28
2	149	28
3	460	28
4	1398	26
done	5000	26
0	22	83
1	68	83
2	238	31
3	957	31
4	4692	27
done	5000	27
0	20	57
1	52	57
2	140	57
3	434	57
4	1328	53
5	4948	53
done	5000	53
0	19	28
1	51	28
2	139	28
3	435	28
4	1250	26
5	4768	26
done	5000	26
0	20	83
1	62	83
2	219	29
3	809	29
4	3165	27
done	5000	27
0	19	28
1	51	28
2	139	28
3	435	28
4	1250	26
5	4768	26
done	5000	26
0	19	28
1	51	28
2	139	28
3	435	28
4	1250	26
5	4768	26
done	5000	26
0	20	29
1	48	29
2	127	29
3	382	29
4	1012	27
5	3291	27
done	5000	27
0	20	29
1	48	29
2	127	29
3	382	29
4	1012	27
5	3291	27
done	5000	27
0	3	3
1	4	3
done	4	3
0	17	25
1	46	25
2	134	25
3	434	25
4	1376	23
done	5000	23
0	3	3
1	4	3
done	4	3
0	17	25
1	46	25
2	134	25
3	436	25
4	1264	23
5	4808	21
done	5000	21
0	20	55
1	50	55
2	131	55
3	395	55
4	1012	51
5	3302	51
done	5000	51
0	19	28
1	47	28
2	126	28
3	385	28
4	1004	26
5	3334	26
done	5000	26
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	19	28
1	53	28
2	141	28
3	432	28
4	1411	26
done	5001	26
0	19	28
1	53	28
2	141	28
3	432	28
4	1411	26
done	5001	26
0	18	27
1	50	27
2	138	27
3	429	27
4	1281	25
5	4818	25
done	5000	25
0	20	31
1	66	31
2	210	31
3	839	31
4	4835	29
done	5000	29
0	20	53
1	56	53
2	173	53
3	647	53
4	3074	49
done	5000	49
0	14	17
1	37	17
2	121	17
3	261	15
4	580	15
5	1288	13
6	3988	13
done	5000	13
0	14	17
1	37	17
2	121	17
3	261	15
4	580	15
5	1288	13
6	3988	13
done	5000	13
0	14	17
1	37	17
2	121	17
3	261	15
4	580	15
5	1288	13
6	3988	13
done	5000	13
0	5	5
1	9	5
2	15	5
done	15	5
0	12	15
1	35	15
2	108	15
3	363	15
4	1232	15
5	4776	13
done	5000	13
0	12	15
1	35	15
2	108	15
3	363	15
4	1232	15
5	4776	13
done	5000	13
0	7	7
1	16	7
2	42	7
3	59	7
4	68	7
5	78	7
6	100	7
7	166	7
8	376	7
9	1321	7
done	5000	7
0	15	17
1	40	17
2	132	17
3	387	17
4	1123	17
5	2817	15
done	5001	15
0	15	17
1	40	17
2	132	17
3	387	17
4	1123	17
5	2817	15
done	5001	15
0	10	13
1	24	13
2	77	13
3	131	11
4	179	11
5	204	11
6	256	11
7	392	11
8	935	11
9	2857	11
done	5000	11
0	17	23
1	48	23
2	173	23
3	449	21
4	1334	21
5	4906	17
done	5000	17
0	17	23
1	48	23
2	173	23
3	449	21
4	1334	21
5	4906	17
done	5000	17

prune212.0ms

Filtered

79 candidates to 91 candidates (-15.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	89	2	91
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	90	5	95

Merged error: 0.0b

Counts

95 → 5

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) (- 1/6 (/ (/ 1/2 a) x)))
0.2b	(/ (/ 1/2 a) x)
0.3b	(pow (* a x) 3)
6.3b	(+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x)))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
95×	`add-sqr-sqrt`
67×	`*-un-lft-identity`
59×	`add-cube-cbrt`
16×	`associate-/l*`
14×	`add-exp-log` `add-cbrt-cube`
12×	`difference-of-squares`
10×	`associate-/r*`
7×	`pow1`
6×	`div-inv` `add-log-exp`
4×	`cbrt-undiv` `div-exp` `distribute-lft-out--`
3×	`pow-unpow` `associate-/l/`
2×	`pow-pow` `frac-2neg` `flip3-+` `pow-exp` `clear-num` `associate-/r/` `flip-+` `rem-cube-cbrt`
1×	`+-commutative` `cube-mult` `pow-to-exp` `unpow-prod-down` `flip3--` `unpow3` `cube-prod` `pow-prod-down` `prod-exp` `sum-log` `flip--` `cbrt-unprod` `sqr-pow`

Counts

4 → 150

Calls

4 calls:

29.0ms	(/ (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) (- 1/6 (/ (/ 1/2 a) x)))
7.0ms	(/ (/ 1/2 a) x)
5.0ms	(pow (* a x) 3)
6.0ms	(+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x)))

series61.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/ (+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x))) (- 1/6 (/ (/ 1/2 a) x)))
4.0ms	(/ (/ 1/2 a) x)
8.0ms	(pow (* a x) 3)
20.0ms	(+ (* (pow (* a x) 3) 1/36) (* -1/4 (* a x)))

simplify4.7min

Counts

162 → 162

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	35	14
2	113	14
3	398	14
4	1149	14
5	4303	14
done	5000	14
0	11	14
1	28	14
2	85	14
3	271	14
4	618	14
5	1523	14
done	5000	14
0	11	14
1	31	14
2	99	14
3	336	14
4	975	14
5	3652	14
done	5000	14
0	12	29
1	29	29
2	86	29
3	274	29
4	638	29
5	1560	29
done	5000	29
0	11	14
1	28	14
2	85	14
3	271	14
4	615	14
5	1511	14
done	5001	14
0	12	41
1	42	41
2	170	15
3	1064	15
done	5001	15
0	11	14
1	28	14
2	85	14
3	271	14
4	615	14
5	1511	14
done	5001	14
0	11	14
1	28	14
2	85	14
3	271	14
4	615	14
5	1511	14
done	5001	14
0	12	17
1	46	17
2	184	17
3	1173	15
done	5000	15
0	14	41
1	57	33
2	256	25
3	1768	25
done	5000	25
0	12	27
1	48	23
2	201	17
3	1298	17
done	5000	17
0	10	13
1	28	13
2	97	13
3	313	13
4	637	13
5	1548	13
done	5000	13
0	7	7
1	9	7
2	17	7
done	17	7
0	6	6
1	11	6
2	18	6
3	19	6
done	19	6
0	6	6
1	11	6
2	18	6
3	19	6
done	19	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	9
1	12	9
2	19	9
3	43	9
4	99	9
5	258	9
6	875	9
7	3292	9
done	5000	9
0	6	6
1	11	6
2	16	6
3	34	6
4	75	6
5	181	6
6	560	6
7	2175	6
done	5000	6
0	5	5
1	13	3
2	20	3
3	31	3
4	53	3
5	117	3
6	322	3
7	1262	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	12	7
2	23	7
done	23	7
0	6	6
1	20	6
2	68	6
3	183	6
4	421	6
5	1029	6
6	3802	6
done	5000	6
0	6	6
1	18	6
2	61	6
3	176	6
4	433	6
5	1308	6
6	4878	6
done	5000	6
0	7	13
1	18	7
2	53	7
3	130	7
4	230	7
5	613	7
6	2363	7
done	5000	7
0	6	6
1	18	3
2	53	3
3	131	3
4	236	3
5	609	3
6	2439	3
done	5000	3
0	7	17
1	23	11
2	102	7
3	695	7
done	5000	7
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	3	3
1	11	3
2	17	3
3	27	3
4	50	3
5	113	3
6	327	3
7	1246	3
done	5000	3
0	4	7
1	12	7
2	23	7
done	23	7
0	6	6
1	18	6
2	54	6
3	132	6
4	237	6
5	618	6
6	2372	6
done	5000	6
0	6	6
1	18	6
2	54	6
3	132	6
4	237	6
5	618	6
6	2372	6
done	5000	6
0	7	7
1	13	5
2	19	5
3	29	5
4	50	5
5	112	5
6	333	5
7	1269	5
done	5000	5
0	7	7
1	13	5
2	19	5
3	29	5
4	50	5
5	112	5
6	333	5
7	1269	5
done	5000	5
0	8	8
1	14	8
2	25	8
3	41	8
4	50	8
5	58	8
6	73	8
7	99	8
8	108	8
done	108	8
0	7	7
1	12	7
2	19	7
3	34	7
4	48	7
5	52	7
6	60	7
7	75	7
8	101	7
9	110	7
done	110	7
0	6	6
1	11	6
2	21	6
3	33	6
4	50	6
5	62	6
6	70	6
7	83	6
8	97	6
9	113	6
10	117	6
done	117	6
0	6	6
1	8	6
2	11	6
done	11	6
0	11	17
1	27	13
2	78	9
3	243	9
4	783	9
5	2171	7
done	5000	7
0	9	17
1	24	17
2	82	9
3	314	7
4	1240	7
5	3217	7
done	5001	7
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	16	17
2	50	7
3	197	7
4	884	7
5	2391	7
6	3731	7
done	5001	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	7	3
done	7	3
0	2	2
done	2	2
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	12
1	10	12
2	12	12
3	13	12
done	13	12
0	7	7
done	7	7
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	6	6
done	6	6
0	8	10
1	10	10
done	10	10
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	6	6
1	8	4
2	10	4
done	10	4
0	6	6
done	6	6
0	11	17
1	21	17
2	56	17
3	144	17
4	270	17
5	304	17
done	304	17
0	8	8
1	10	8
2	13	8
done	13	8
0	10	14
1	18	14
2	41	14
3	78	14
4	119	14
5	125	14
done	125	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	7	7
1	9	7
2	12	7
done	12	7
0	10	14
1	16	14
2	32	14
3	68	14
4	110	14
5	120	14
done	120	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	13	11
2	24	11
3	37	11
4	47	11
done	47	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	7	7
1	9	7
2	12	7
done	12	7
0	9	13
1	17	11
2	46	11
3	103	11
4	121	11
done	121	11
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	8
2	34	8
3	56	8
4	57	8
done	57	8
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	6	6
1	8	6
2	11	6
done	11	6
0	10	14
1	16	14
2	28	14
3	55	14
4	60	14
done	60	14
0	8	8
1	10	8
2	13	8
done	13	8
0	9	11
1	13	11
2	19	11
3	27	11
done	27	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	7	7
1	9	7
2	12	7
done	12	7
0	9	11
1	13	11
2	19	11
3	25	11
done	25	11
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	8	8
1	10	8
2	13	8
done	13	8
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	8
2	23	8
3	31	8
done	31	8
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	11	5
2	17	5
done	17	5
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	2
done	9	2
0	6	6
1	8	6
2	11	6
done	11	6
0	9	13
1	17	13
2	29	13
3	56	13
4	62	13
done	62	13
0	7	7
1	9	7
2	12	7
done	12	7
0	8	10
1	14	10
2	20	10
3	28	10
done	28	10
0	7	7
1	9	7
2	12	7
done	12	7
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	6	6
1	8	6
2	11	6
done	11	6
0	8	10
1	14	10
2	20	10
3	26	10
done	26	10
0	7	7
1	9	7
2	12	7
done	12	7
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	9	7
2	12	7
done	12	7
0	5	6
1	9	4
2	16	4
done	16	4
0	6	6
1	8	6
2	11	6
done	11	6
0	6	9
1	12	7
2	16	7
3	26	7
4	28	7
done	28	7
0	6	6
1	8	6
2	11	6
done	11	6
0	5	6
1	9	4
2	11	4
3	15	4
done	15	4
0	6	6
1	8	6
2	11	6
done	11	6
0	3	5
1	7	1
done	7	1
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	9	7
done	9	7
0	6	6
1	8	6
2	11	6
done	11	6
0	4	4
1	6	4
done	6	4
0	6	6
1	8	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	7	5
2	10	5
done	10	5
0	5	7
1	7	7
done	7	7
0	6	6
1	10	6
2	13	6
done	13	6
0	4	4
done	4	4
0	6	6
1	10	6
2	13	6
done	13	6
0	3	3
1	5	1
done	5	1
0	5	5
1	9	5
2	12	5
done	12	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	7	9
1	11	9
2	17	9
3	23	9
done	23	9
0	6	6
1	8	6
2	11	6
done	11	6
0	5	5
1	9	3
2	16	3
done	16	3
0	6	6
done	6	6
0	6	6
done	6	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	7	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	6	6
1	8	6
2	11	6
3	12	6
4	14	6
5	16	6
6	17	6
done	17	6
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	7	5
2	10	5
3	11	5
4	13	5
5	15	5
6	16	5
done	16	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	3	3
1	4	3
done	4	3
0	18	23
1	40	23
2	106	23
3	298	23
4	638	23
5	1577	23
done	5001	23
0	17	22
1	40	22
2	107	22
3	308	22
4	641	22
5	1582	22
done	5000	22
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1532	22
done	5000	22
0	20	65
1	61	65
2	239	25
3	1269	23
done	5000	23
0	18	45
1	38	45
2	103	45
3	296	45
4	628	45
5	1552	45
done	5001	45
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1532	22
done	5000	22
0	18	65
1	45	65
2	141	23
3	545	23
4	2784	23
done	5000	23
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1532	22
done	5000	22
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1532	22
done	5000	22
0	11	14
1	31	14
2	108	13
3	406	13
4	1497	13
5	4290	13
done	5001	13
0	8	8
1	12	8
2	25	8
3	37	7
4	41	7
5	43	7
done	43	7
0	20	47
1	46	47
2	120	47
3	335	47
4	708	47
5	1610	47
done	5001	47
0	18	23
1	38	23
2	103	23
3	296	23
4	626	23
5	1530	23
done	5001	23
0	19	38
1	41	38
2	108	38
3	308	38
4	642	38
5	1536	38
done	5000	38
0	18	23
1	38	23
2	103	23
3	296	23
4	626	23
5	1530	23
done	5001	23
0	14	31
1	35	29
2	98	29
3	293	29
4	654	29
5	1559	29
done	5000	29
0	17	22
1	37	22
2	102	22
3	288	22
4	616	22
5	1515	22
done	5000	22
0	20	39
1	41	39
2	102	39
3	297	39
4	643	39
5	1539	39
done	5000	39
0	19	24
1	39	24
2	99	24
3	292	24
4	630	24
5	1540	24
done	5000	24
0	21	40
1	41	40
2	100	40
3	295	40
4	621	40
5	1527	40
done	5001	40
0	20	25
1	39	25
2	99	25
3	289	25
4	604	25
5	1522	25
done	5001	25
0	22	41
1	44	41
2	106	41
3	291	41
4	616	41
5	1530	41
done	5000	41
0	21	26
1	42	26
2	107	26
3	299	26
4	633	26
5	1546	26
done	5001	26
0	14	31
1	35	29
2	98	29
3	293	29
4	654	29
5	1559	29
done	5000	29
0	17	22
1	37	22
2	102	22
3	288	22
4	616	22
5	1515	22
done	5000	22
0	19	32
1	41	32
2	106	32
3	306	32
4	648	32
5	1556	32
done	5000	32
0	18	23
1	38	23
2	103	23
3	296	23
4	626	23
5	1530	23
done	5001	23
0	18	23
1	38	23
2	103	23
3	296	23
4	626	23
5	1530	23
done	5001	23
0	18	23
1	38	23
2	103	23
3	296	23
4	626	23
5	1530	23
done	5001	23
0	13	16
1	32	14
2	91	14
3	278	14
4	641	14
5	1550	14
done	5000	14
0	17	22
1	37	22
2	102	22
3	288	22
4	616	22
5	1515	22
done	5000	22
0	19	24
1	38	24
2	97	24
3	278	24
4	599	24
5	1513	24
done	5001	24
0	19	24
1	39	24
2	99	24
3	292	24
4	630	24
5	1540	24
done	5000	24
0	20	25
1	38	25
2	95	25
3	281	25
4	614	25
5	1520	25
done	5000	25
0	20	25
1	39	25
2	99	25
3	289	25
4	604	25
5	1522	25
done	5001	25
0	21	26
1	41	26
2	101	26
3	295	26
4	629	26
5	1543	26
done	5000	26
0	21	26
1	42	26
2	107	26
3	299	26
4	633	26
5	1546	26
done	5001	26
0	13	16
1	32	14
2	91	14
3	278	14
4	641	14
5	1550	14
done	5000	14
0	17	22
1	37	22
2	102	22
3	288	22
4	616	22
5	1515	22
done	5000	22
0	11	19
1	19	19
2	28	19
3	34	19
done	34	19
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1529	22
done	5000	22
0	10	10
1	16	10
2	25	10
3	31	10
done	31	10
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1529	22
done	5000	22
0	2	3
1	4	1
done	4	1
0	16	21
1	36	21
2	101	21
3	295	21
4	665	21
5	1598	21
done	5001	21
0	11	11
1	16	11
2	19	11
done	19	11
0	18	23
1	38	23
2	98	23
3	285	23
4	622	23
5	1542	23
done	5000	23
0	12	12
1	15	12
done	15	12
0	19	24
1	38	24
2	98	24
3	284	24
4	597	24
5	1525	24
done	5000	24
0	13	13
1	18	13
2	21	13
done	21	13
0	20	25
1	41	25
2	106	25
3	306	25
4	635	25
5	1565	25
done	5000	25
0	2	3
1	4	1
done	4	1
0	16	21
1	36	21
2	101	21
3	295	21
4	665	21
5	1598	21
done	5001	21
0	9	9
1	15	9
2	24	9
3	30	9
done	30	9
0	16	21
1	39	21
2	110	21
3	326	21
4	717	21
5	2069	21
done	5000	21
0	18	31
1	40	31
2	105	31
3	298	31
4	631	31
5	1594	31
done	5000	31
0	17	22
1	37	22
2	102	22
3	288	22
4	618	22
5	1529	22
done	5000	22
0	12	15
1	31	13
2	90	13
3	281	13
4	644	13
5	1570	13
done	5000	13
0	18	23
1	37	23
2	96	23
3	279	23
4	588	23
5	1508	23
done	5001	23
0	19	24
1	37	24
2	94	24
3	284	24
4	601	24
5	1527	24
done	5000	24
0	20	25
1	40	25
2	100	25
3	287	25
4	628	25
5	1539	25
done	5000	25
0	12	15
1	31	13
2	90	13
3	281	13
4	644	13
5	1570	13
done	5000	13
0	17	22
1	40	22
2	111	22
3	320	22
4	689	22
5	1615	22
done	5001	22
0	17	22
1	40	22
2	111	22
3	320	22
4	689	22
5	1615	22
done	5001	22
0	16	21
1	39	21
2	110	21
3	326	21
4	717	21
5	2069	21
done	5000	21
0	18	25
1	51	23
2	152	23
3	568	23
4	1999	23
done	5001	23
0	18	29
1	45	27
2	131	27
3	431	25
4	1033	25
5	2394	25
done	5000	25
0	20	49
1	73	41
2	325	33
3	2417	33
done	5000	33
0	16	21
1	38	21
2	127	21
3	454	21
4	1987	21
done	5000	21
0	5	5
1	9	5
2	15	5
done	15	5
0	12	15
1	35	15
2	108	15
3	363	15
4	1232	15
5	4776	13
done	5000	13
0	12	15
1	35	15
2	108	15
3	363	15
4	1232	15
5	4776	13
done	5000	13
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	6	7
1	20	7
2	57	7
3	170	7
4	534	7
5	2108	5
done	5000	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	15	19
1	42	19
2	164	19
3	431	17
4	1300	17
5	4854	15
done	5000	15
0	15	19
1	42	19
2	164	19
3	431	17
4	1300	17
5	4854	15
done	5000	15
0	15	19
1	42	19
2	164	19
3	431	17
4	1300	17
5	4854	15
done	5000	15

prune327.0ms

Filtered

132 candidates to 162 candidates (-22.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	163	4	167

Merged error: 0.0b

Counts

167 → 4

regimes241.0ms

Accuracy

98.1% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 21.2b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	49
1	35	49
done	35	49

end0.0ms

sample1.1s

Algorithm

intervals

Results

440.0ms	2767×	body	1280	valid
149.0ms	1308×	body	640	valid
133.0ms	5333×	body	80	valid
57.0ms	771×	body	320	valid
23.0ms	381×	body	160	valid

Details

sample45.0ms

simplify3.0s

prune3.0ms

localize5.0ms

rewrite8.0ms

series12.0ms

simplify1.2min

prune57.0ms

localize11.0ms

rewrite39.0ms

series60.0ms

simplify5.5min

prune198.0ms

localize16.0ms

rewrite49.0ms

series132.0ms

simplify4.4min

prune212.0ms

localize15.0ms

rewrite53.0ms

series61.0ms

simplify4.7min

prune327.0ms

regimes241.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.1s

Profiling