Details

sample31.0ms

Algorithm

intervals

Results

13.0ms

341×

body

valid

simplify3.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	11
1	27	11
2	74	11
3	158	11
4	243	11
5	299	11
6	351	11
7	481	11
8	984	11
9	3627	11
done	5000	11

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* z z) (+ z 1.0))
15.5b	(/ (* x y) (* (* z z) (+ z 1.0)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

15.0ms	(* (* z z) (+ z 1.0))
12.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

series23.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(* (* z z) (+ z 1.0))
17.0ms	(/ (* x y) (* (* z z) (+ z 1.0)))

simplify2.3min

Counts

57 → 57

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	13	16
1	26	15
2	59	15
3	140	15
4	287	15
5	580	15
6	1060	15
7	1387	15
8	1415	15
done	1415	15
0	13	15
1	24	15
2	54	15
3	124	15
4	275	15
5	544	15
6	1023	15
7	1344	15
8	1376	15
done	1376	15
0	12	14
1	30	14
2	62	14
3	115	14
4	237	14
5	463	14
6	904	14
7	1488	14
8	1844	14
9	2784	14
done	5001	14
0	12	15
1	26	14
2	51	14
3	121	14
4	262	14
5	508	14
6	897	14
7	1379	14
8	1424	14
done	1424	14
0	12	14
1	24	14
2	48	14
3	111	14
4	253	14
5	486	14
6	877	14
7	1347	14
8	1398	14
done	1398	14
0	11	13
1	30	13
2	59	13
3	107	13
4	212	13
5	404	13
6	752	13
7	1424	13
8	1764	13
9	2706	13
done	5001	13
0	10	12
1	31	12
2	98	12
3	242	12
4	494	12
5	850	12
6	1406	12
7	2142	12
8	2734	12
done	5001	12
0	10	12
1	28	12
2	77	12
3	174	12
4	292	12
5	437	12
6	735	12
7	1543	12
done	5000	12
0	17	35
1	57	35
2	364	21
3	3477	17
done	5001	17
0	17	35
1	58	35
2	367	19
3	3489	17
done	5001	17
0	15	35
1	49	35
2	342	17
3	3666	17
done	5001	17
0	15	35
1	59	35
2	373	19
3	3815	15
done	5000	15
0	15	35
1	60	35
2	375	17
3	3833	15
done	5001	15
0	13	35
1	51	35
2	349	15
3	4006	13
done	5000	13
0	11	25
1	29	25
2	76	25
3	160	25
4	245	25
5	301	25
6	355	25
7	481	25
8	991	25
9	3616	25
done	5000	25
0	10	12
1	28	12
2	75	12
3	157	12
4	242	12
5	298	12
6	352	12
7	478	12
8	991	12
9	3623	12
done	5001	12
0	11	35
1	36	35
2	175	13
3	1637	13
done	5000	13
0	10	12
1	28	12
2	75	12
3	157	12
4	242	12
5	298	12
6	352	12
7	478	12
8	991	12
9	3623	12
done	5001	12
0	10	12
1	28	12
2	75	12
3	157	12
4	242	12
5	298	12
6	352	12
7	478	12
8	991	12
9	3623	12
done	5001	12
0	4	4
1	9	4
2	11	4
done	11	4
0	6	8
1	20	8
2	57	8
3	100	8
4	119	8
5	136	8
6	181	8
7	319	8
8	839	8
9	3187	8
done	5000	8
0	4	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	9
1	21	9
2	39	9
3	50	9
4	56	9
5	66	9
6	87	9
7	147	9
8	356	9
9	1269	9
done	5001	9
0	9	11
1	27	11
2	75	11
3	176	11
4	329	11
5	448	11
6	616	11
7	976	11
8	2606	11
done	5000	11
0	6	7
1	14	7
2	28	7
3	41	7
4	45	7
done	45	7
0	7	9
1	19	9
2	40	9
3	65	9
4	94	9
5	131	9
6	170	9
7	282	9
8	707	9
9	2787	9
done	5001	9
0	12	15
1	42	15
2	127	15
3	302	15
4	584	15
5	1429	15
done	5001	15
0	10	15
1	26	15
2	90	15
3	314	15
4	848	15
5	1794	15
6	3309	15
done	5000	15
0	5	7
1	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	72	7
7	139	7
8	359	7
9	1282	7
done	5000	7
0	5	7
1	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	72	7
7	139	7
8	359	7
9	1282	7
done	5000	7
0	7	10
1	13	9
2	16	9
done	16	9
0	7	9
1	11	9
2	17	9
3	18	9
done	18	9
0	6	8
1	19	8
2	37	8
3	48	8
4	55	8
5	65	8
6	88	8
7	148	8
8	358	8
9	1287	8
done	5000	8
0	6	8
1	18	8
2	43	8
3	74	8
4	142	8
5	359	8
6	1036	8
7	3708	8
done	5001	8
0	9	23
1	35	23
2	140	13
3	561	9
4	1894	9
done	5000	9
0	9	23
1	36	23
2	141	11
3	566	9
4	1986	9
done	5000	9
0	7	17
1	17	17
2	30	17
3	35	17
4	41	17
5	51	17
6	72	17
7	134	17
8	347	17
9	1257	17
done	5000	17
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	75	8
7	136	8
8	344	8
9	1266	8
done	5000	8
0	7	23
1	27	23
2	126	9
3	526	9
4	1619	9
done	5000	9
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	75	8
7	136	8
8	344	8
9	1266	8
done	5000	8
0	6	8
1	16	8
2	29	8
3	36	8
4	42	8
5	52	8
6	75	8
7	136	8
8	344	8
9	1266	8
done	5000	8
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	3	5
1	4	5
2	6	3
3	11	3
4	17	3
5	27	3
6	50	3
7	113	3
8	331	3
9	1249	3
done	5001	3
0	4	5
1	7	5
2	9	5
done	9	5
0	3	5
1	6	3
2	11	3
3	17	3
4	27	3
5	50	3
6	113	3
7	331	3
8	1249	3
done	5001	3
0	4	5
1	7	5
2	9	5
done	9	5
0	7	13
1	15	13
2	26	13
done	26	13
0	6	8
1	10	8
2	12	8
done	12	8
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	9	3
2	17	3
done	17	3
0	4	5
1	11	5
2	12	5
done	12	5
0	8	11
1	30	11
2	81	11
3	164	11
4	361	11
5	962	11
6	3537	11
done	5000	11
0	6	11
1	14	11
2	40	11
3	115	11
4	256	11
5	453	11
6	862	11
7	2404	11
done	5000	11
0	14	23
1	38	21
2	116	19
3	286	17
4	574	15
5	1040	15
6	1808	15
7	3297	15
8	4241	13
done	5000	13
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7
0	8	9
1	21	9
2	49	9
3	72	7
4	107	7
5	182	7
6	400	7
7	1377	7
done	5001	7

prune116.0ms

Filtered

47 candidates to 57 candidates (-21.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	48	9	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	9	58

Merged error: 2.3b

Counts

58 → 9

localize8.0ms

Local error

Found 2 expressions with local error:

4.4b	(* (/ x (* z z)) (/ y (+ z 1.0)))
8.7b	(/ x (* z z))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-exp-log` `add-cbrt-cube`
24×	`add-sqr-sqrt`
22×	`times-frac`
20×	`*-un-lft-identity`
18×	`associate-r`
14×	`add-cube-cbrt`
9×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
7×	`associate-l`
4×	`pow1` `unswap-sqr`
3×	`div-inv` `distribute-lft-out` `associate-/l*`
2×	`associate-/r/` `add-log-exp`
1×	`frac-times` `frac-2neg` `flip3-+` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `associate-/r` `-commutative` `flip-+`

Counts

2 → 74

Calls

2 calls:

16.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
5.0ms	(/ x (* z z))

series20.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(* (/ x (* z z)) (/ y (+ z 1.0)))
6.0ms	(/ x (* z z))

simplify1.7min

Counts

80 → 80

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	12	7
2	22	7
3	29	7
4	35	7
5	44	7
6	57	7
7	73	7
8	76	7
done	76	7
0	6	7
1	10	7
2	17	7
3	27	7
4	35	7
5	43	7
6	55	7
7	69	7
8	84	7
done	84	7
0	5	6
1	10	6
2	16	6
3	24	6
4	36	6
5	44	6
6	53	6
7	66	6
8	82	6
9	85	6
done	85	6
0	5	6
1	7	6
done	7	6
0	8	17
1	23	17
2	90	11
3	323	7
4	746	7
5	1849	7
done	5000	7
0	8	17
1	24	17
2	93	9
3	339	7
4	806	7
5	1926	7
done	5000	7
0	6	13
1	8	13
done	8	13
0	5	6
1	7	6
done	7	6
0	6	17
1	15	17
2	52	7
3	188	7
4	512	7
5	850	7
6	1977	7
done	5000	7
0	5	6
1	7	6
done	7	6
0	5	6
1	7	6
done	7	6
0	2	2
done	2	2
0	3	4
1	6	4
done	6	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	4	5
1	8	5
done	8	5
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	3	3
done	3	3
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	5	6
1	7	6
2	9	6
3	10	6
done	10	6
0	4	5
1	6	5
2	8	5
3	9	5
done	9	5
0	9	11
1	17	11
2	36	11
3	79	11
4	172	11
5	259	11
6	293	11
7	320	11
8	353	11
9	428	11
10	639	11
11	1468	11
done	5001	11
0	13	16
1	27	15
2	66	15
3	170	15
4	432	15
5	832	15
6	1123	15
7	1201	15
done	1201	15
0	12	15
1	25	14
2	57	14
3	134	14
4	347	14
5	745	14
6	1043	14
7	1130	14
done	1130	14
0	13	15
1	25	15
2	56	15
3	150	15
4	369	15
5	716	15
6	1020	15
7	1100	15
done	1100	15
0	12	14
1	23	14
2	49	14
3	121	14
4	308	14
5	650	14
6	951	14
7	1039	14
done	1039	14
0	12	14
1	23	14
2	42	14
3	105	14
4	264	14
5	598	14
6	865	14
7	1019	14
8	1024	14
done	1024	14
0	11	13
1	21	13
2	37	13
3	85	13
4	213	13
5	510	13
6	866	13
7	1031	13
8	1063	13
done	1063	13
0	10	12
1	21	12
2	54	12
3	134	12
4	367	12
5	839	12
6	1469	12
7	1869	12
8	2040	12
9	2126	12
10	2353	12
11	3248	12
done	5000	12
0	10	12
1	20	12
2	45	12
3	100	12
4	242	12
5	452	12
6	804	12
7	2666	12
done	5000	12
0	17	35
1	59	35
2	261	21
3	1889	15
done	5000	15
0	15	35
1	43	35
2	189	19
3	1232	15
done	5000	15
0	17	35
1	60	35
2	263	19
3	1939	15
done	5001	15
0	15	35
1	44	35
2	188	17
3	1274	15
done	5000	15
0	15	35
1	51	35
2	205	17
3	1052	15
done	5000	15
0	13	35
1	35	35
2	131	15
3	642	15
4	4214	13
done	5001	13
0	11	25
1	19	25
2	38	25
3	81	25
4	175	25
5	262	25
6	296	25
7	323	25
8	356	25
9	429	25
10	642	25
11	1469	25
done	5000	25
0	10	12
1	18	12
2	37	12
3	80	12
4	174	12
5	261	12
6	295	12
7	322	12
8	355	12
9	430	12
10	647	12
11	1481	12
done	5001	12
0	11	35
1	29	35
2	131	13
3	842	13
done	5000	13
0	10	12
1	18	12
2	37	12
3	80	12
4	174	12
5	261	12
6	295	12
7	322	12
8	355	12
9	430	12
10	647	12
11	1481	12
done	5001	12
0	10	12
1	18	12
2	37	12
3	80	12
4	174	12
5	261	12
6	295	12
7	322	12
8	355	12
9	430	12
10	647	12
11	1481	12
done	5001	12
0	3	3
1	4	3
done	4	3
0	5	7
1	15	7
2	28	7
3	35	7
4	41	7
5	51	7
6	72	7
7	139	7
8	359	7
9	1282	7
done	5000	7
0	11	13
1	15	13
done	15	13
0	11	13
1	15	13
done	15	13
0	12	14
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	12	14
1	18	14
2	21	14
3	25	14
4	26	14
done	26	14
0	10	11
1	14	11
2	17	11
3	19	11
4	21	11
5	22	11
done	22	11
0	10	11
1	14	11
2	17	11
3	19	11
4	21	11
5	22	11
done	22	11
0	11	12
1	17	12
2	26	12
3	43	12
4	64	12
5	76	12
6	78	12
done	78	12
0	11	12
1	17	12
2	26	12
3	43	12
4	64	12
5	76	12
6	78	12
done	78	12
0	11	19
1	19	19
2	37	19
3	71	19
4	118	19
5	140	19
6	149	19
done	149	19
0	10	12
1	16	12
2	27	12
3	40	12
4	50	12
5	53	12
done	53	12
0	13	21
1	27	21
2	78	21
3	238	21
4	707	21
5	1519	21
6	1766	21
7	1780	21
done	1780	21
0	12	16
1	22	16
2	50	16
3	136	16
4	336	16
5	565	16
6	638	16
7	646	16
done	646	16
0	10	13
1	21	11
2	55	11
3	193	11
4	484	11
5	636	11
6	642	11
done	642	11
0	10	13
1	21	11
2	55	11
3	193	11
4	484	11
5	636	11
6	642	11
done	642	11
0	12	18
1	22	18
2	51	18
3	128	18
4	305	18
5	508	18
6	542	18
done	542	18
0	11	13
1	19	13
2	38	13
3	81	13
4	153	13
5	203	13
6	210	13
done	210	13
0	9	10
1	18	8
2	39	8
3	96	8
4	204	8
5	225	8
done	225	8
0	9	10
1	18	8
2	39	8
3	96	8
4	204	8
5	225	8
done	225	8
0	11	17
1	23	17
2	51	15
3	172	15
4	375	15
5	611	15
6	700	15
done	700	15
0	10	12
1	20	12
2	39	10
3	113	10
4	194	10
5	272	10
6	317	10
7	319	10
done	319	10
0	7	9
1	16	7
2	34	5
3	70	5
4	157	5
5	201	5
6	211	5
done	211	5
0	7	9
1	16	7
2	34	5
3	70	5
4	157	5
5	201	5
6	211	5
done	211	5
0	6	7
1	13	5
2	31	5
3	43	5
4	60	5
5	69	5
6	81	5
7	83	5
done	83	5
0	6	7
1	11	7
2	22	7
3	35	7
4	45	7
5	48	7
done	48	7
0	12	15
1	32	15
2	60	15
3	120	15
4	259	15
5	628	15
6	2606	15
done	5000	15
0	10	15
1	22	15
2	55	15
3	160	15
4	509	15
5	1311	15
6	2423	15
7	4226	15
done	5001	15
0	10	12
1	16	12
2	19	12
3	23	12
4	24	12
done	24	12
0	10	12
1	16	12
2	19	12
3	23	12
4	24	12
done	24	12
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	8	9
1	14	9
2	23	9
3	40	9
4	76	9
5	98	9
6	106	9
7	112	9
8	119	9
9	127	9
10	132	9
11	134	9
done	134	9
0	9	11
1	17	11
2	36	11
3	79	11
4	172	11
5	259	11
6	293	11
7	320	11
8	353	11
9	428	11
10	639	11
11	1468	11
done	5001	11
0	9	11
1	19	11
2	37	9
3	112	9
4	257	9
5	385	9
6	472	9
7	587	9
8	697	9
9	816	9
10	1216	9
11	3063	9
done	5000	9
0	6	7
1	11	7
2	22	7
3	35	7
4	45	7
5	48	7
done	48	7
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	14	23
1	38	21
2	116	19
3	286	17
4	574	15
5	1040	15
6	1808	15
7	3297	15
8	4241	13
done	5000	13
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23

prune159.0ms

Filtered

65 candidates to 80 candidates (-23.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	70	10	80
Fresh	6	2	8
Picked	1	0	1
Done	0	0	0
Total	77	12	89

Merged error: 0.0b

Counts

89 → 12

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
0.9b	(* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

73×	`add-exp-log`
57×	`add-cbrt-cube`
32×	`prod-exp` `cbrt-unprod`
22×	`cbrt-undiv` `div-exp`
9×	`pow1` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`associate-l`
5×	`frac-times` `associate-*r/`
4×	`add-log-exp`
3×	`times-frac` `pow1/3` `pow-prod-down` `associate-*l/`
1×	`associate-r` `*-commutative` `div-inv`

Counts

4 → 88

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
18.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))

series100.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt x)
25.0ms	(cbrt x)
25.0ms	(cbrt x)
23.0ms	(* (/ (* (cbrt x) (cbrt x)) z) (* (/ (cbrt x) z) (/ y (+ z 1.0))))

simplify6.5min

Counts

100 → 100

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	18
1	25	18
2	72	18
3	210	18
4	615	14
5	1425	11
6	1890	11
7	2142	11
8	2511	11
9	2908	11
10	3681	11
done	5000	11
0	12	18
1	25	18
2	72	18
3	210	18
4	615	14
5	1425	11
6	1890	11
7	2142	11
8	2511	11
9	2908	11
10	3681	11
done	5000	11
0	16	25
1	35	23
2	107	23
3	422	20
4	1593	19
5	3777	18
done	5000	18
0	15	24
1	33	22
2	93	22
3	338	19
4	1201	18
5	3163	17
6	4452	17
7	4814	17
8	4840	17
done	4840	17
0	17	24
1	34	22
2	91	22
3	338	19
4	1237	19
5	3921	18
done	5000	18
0	16	23
1	32	21
2	79	21
3	261	18
4	901	18
5	3262	17
done	5001	17
0	15	22
1	33	20
2	75	20
3	214	20
4	730	17
5	2800	17
done	5001	17
0	17	24
1	34	24
2	101	23
3	401	23
4	1478	19
5	3650	18
6	4878	18
done	5000	18
0	16	23
1	32	23
2	87	22
3	324	22
4	1146	18
5	3084	17
6	4360	17
7	4721	17
8	4747	17
done	4747	17
0	17	23
1	33	23
2	85	22
3	316	22
4	1134	19
5	3593	18
done	5001	18
0	16	22
1	31	22
2	73	21
3	242	21
4	821	18
5	2943	17
done	5000	17
0	15	21
1	31	21
2	72	20
3	196	20
4	651	17
5	2418	17
6	4781	17
done	5000	17
0	17	23
1	34	23
2	88	23
3	331	22
4	1311	22
5	4069	19
done	5001	19
0	16	22
1	32	22
2	76	22
3	271	21
4	1022	21
5	3390	18
done	5001	18
0	16	22
1	32	22
2	73	22
3	261	22
4	1007	22
5	3622	19
done	5000	19
0	15	21
1	30	21
2	63	21
3	207	21
4	755	21
5	2805	18
done	5000	18
0	14	20
1	29	20
2	62	20
3	166	20
4	578	20
5	2165	17
6	4940	17
done	5000	17
0	13	19
1	29	19
2	96	19
3	305	19
4	1069	15
5	3382	12
done	5000	12
0	13	19
1	28	19
2	83	19
3	254	19
4	806	15
5	2239	12
6	4820	12
done	5000	12
0	17	35
1	58	35
2	253	23
3	1728	21
done	5001	21
0	15	35
1	42	35
2	177	21
3	1131	21
done	5001	21
0	20	42
1	67	42
2	281	24
3	1940	22
done	5000	22
0	18	42
1	51	42
2	205	22
3	1345	22
done	5000	22
0	16	42
1	45	42
2	206	20
3	1549	20
done	5000	20
0	20	49
1	70	49
2	326	27
3	2598	21
done	5000	21
0	18	49
1	54	49
2	251	25
3	2018	21
done	5000	21
0	22	56
1	77	56
2	346	28
3	2664	21
done	5000	21
0	20	56
1	61	56
2	269	26
3	2068	21
done	5001	21
0	18	56
1	55	56
2	273	24
3	2249	19
done	5000	19
0	20	49
1	64	49
2	271	25
3	1761	23
done	5000	23
0	18	49
1	48	49
2	195	23
3	1208	23
done	5001	23
0	20	56
1	68	56
2	285	26
3	1828	24
done	5000	24
0	18	56
1	52	56
2	208	24
3	1260	24
done	5000	24
0	16	56
1	46	56
2	213	22
3	1463	22
done	5001	22
0	14	39
1	27	39
2	74	39
3	212	39
4	633	31
5	1441	25
6	1911	25
7	2159	25
8	2535	25
9	2934	25
10	3712	25
done	5000	25
0	13	19
1	26	19
2	73	19
3	213	19
4	617	15
5	1432	12
6	1906	12
7	2159	12
8	2526	12
9	2925	12
10	3707	12
done	5000	12
0	14	56
1	37	56
2	200	20
3	1548	20
done	5000	20
0	13	19
1	26	19
2	73	19
3	213	19
4	617	15
5	1432	12
6	1906	12
7	2159	12
8	2526	12
9	2925	12
10	3707	12
done	5000	12
0	13	19
1	26	19
2	73	19
3	213	19
4	617	15
5	1432	12
6	1906	12
7	2159	12
8	2526	12
9	2925	12
10	3707	12
done	5000	12
0	6	10
1	12	10
2	19	10
3	22	6
4	27	3
5	31	3
6	37	3
7	47	3
8	70	3
9	131	3
10	345	3
11	1271	3
done	5000	3
0	5	7
1	14	7
2	28	7
3	31	7
4	36	7
5	42	7
6	52	7
7	75	7
8	140	7
9	353	7
10	1274	7
done	5001	7
0	8	12
1	16	12
2	39	12
3	70	12
4	97	8
5	109	5
6	114	5
7	120	5
8	130	5
9	151	5
10	212	5
11	426	5
12	1341	5
done	5000	5
0	4	5
1	11	5
2	12	5
done	12	5
0	10	14
1	19	14
2	37	14
3	64	10
4	102	7
5	126	7
6	135	7
7	145	7
8	166	7
9	228	7
10	443	7
11	1380	7
done	5000	7
0	2	3
done	2	3
0	7	12
1	14	12
2	26	12
3	51	12
4	69	8
5	77	5
6	82	5
7	88	5
8	98	5
9	119	5
10	184	5
11	397	5
12	1315	5
done	5000	5
0	13	19
1	24	19
2	52	19
3	105	19
4	219	19
5	411	19
6	512	19
7	563	19
8	627	19
9	682	19
10	754	19
11	806	19
12	826	19
13	828	19
done	828	19
0	13	19
1	24	19
2	52	19
3	105	19
4	219	19
5	411	19
6	512	19
7	563	19
8	627	19
9	682	19
10	754	19
11	806	19
12	826	19
13	828	19
done	828	19
0	12	16
1	23	16
2	61	16
3	157	16
4	430	16
5	1035	16
6	1466	16
7	1726	16
8	1914	16
9	2075	16
10	2202	16
11	2236	16
12	2242	16
13	2244	16
done	2244	16
0	12	16
1	23	16
2	61	16
3	157	16
4	430	16
5	1035	16
6	1466	16
7	1726	16
8	1914	16
9	2075	16
10	2202	16
11	2236	16
12	2242	16
13	2244	16
done	2244	16
0	10	15
1	21	15
2	53	15
3	116	15
4	301	15
5	666	15
6	884	15
7	1017	15
8	1128	15
9	1274	15
10	1519	15
11	2216	15
done	5000	15
0	12	18
1	25	18
2	72	18
3	210	18
4	615	14
5	1425	11
6	1890	11
7	2142	11
8	2511	11
9	2908	11
10	3681	11
done	5000	11
0	12	14
1	25	14
2	64	12
3	214	12
4	687	12
5	1235	12
6	1490	12
7	1752	12
8	2093	12
9	2326	12
10	3045	12
11	4914	12
done	5000	12
0	8	12
1	16	12
2	38	12
3	71	12
4	94	8
5	109	5
6	118	5
7	125	5
8	135	5
9	156	5
10	216	5
11	431	5
12	1367	5
done	5001	5
0	9	14
1	19	14
2	52	14
3	129	14
4	251	10
5	341	7
6	369	7
7	382	7
8	392	7
9	413	7
10	474	7
11	689	7
12	1603	7
done	5000	7
0	11	16
1	22	16
2	55	16
3	132	16
4	333	12
5	571	9
6	670	9
7	765	9
8	881	9
9	1027	9
10	1252	9
11	1508	9
12	2448	9
done	5000	9
0	11	16
1	22	16
2	59	16
3	141	16
4	307	12
5	563	9
6	651	9
7	705	9
8	814	9
9	932	9
10	1142	9
11	1487	9
12	2446	9
done	5000	9
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
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	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
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	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
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	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	14	23
1	38	21
2	116	19
3	286	17
4	574	15
5	1040	15
6	1808	15
7	3297	15
8	4241	13
done	5000	13
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune172.0ms

Filtered

81 candidates to 100 candidates (-23.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	96	4	100
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	102	10	112

Merged error: 0.0b

Counts

112 → 10

localize9.0ms

Local error

Found 2 expressions with local error:

1.2b	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
3.5b	(* (/ x z) (/ y (+ z 1.0)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

91×	`add-exp-log`
55×	`add-cbrt-cube`
40×	`prod-exp`
36×	`add-sqr-sqrt`
34×	`times-frac`
30×	`*-un-lft-identity` `div-exp`
26×	`associate-l`
24×	`add-cube-cbrt`
22×	`cbrt-unprod`
19×	`associate-r`
17×	`cbrt-undiv`
9×	`pow1`
6×	`frac-times` `associate-*r/`
5×	`rec-exp` `1-exp`
4×	`pow-prod-down` `associate-*l/` `unswap-sqr`
3×	`div-inv` `distribute-lft-out`
2×	`associate-/r/` `*-commutative` `add-log-exp`
1×	`flip3-+` `flip-+`

Counts

2 → 116

Calls

2 calls:

16.0ms	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
14.0ms	(* (/ x z) (/ y (+ z 1.0)))

series26.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(* (/ 1 z) (* (/ x z) (/ y (+ z 1.0))))
13.0ms	(* (/ x z) (/ y (+ z 1.0)))

simplify7.5min

Counts

122 → 122

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	23	9
3	40	9
4	76	9
5	98	9
6	106	9
7	112	9
8	119	9
9	127	9
10	132	9
11	134	9
done	134	9
0	12	13
1	22	13
2	45	13
3	101	13
4	190	13
5	298	13
6	409	13
7	462	13
8	464	13
done	464	13
0	11	12
1	20	12
2	38	12
3	80	12
4	162	12
5	263	12
6	368	12
7	425	12
8	426	12
done	426	12
0	11	12
1	20	12
2	35	12
3	75	12
4	156	12
5	273	12
6	374	12
7	444	12
8	455	12
done	455	12
0	10	11
1	18	11
2	30	11
3	60	11
4	128	11
5	234	11
6	369	11
7	453	11
8	475	11
done	475	11
0	9	10
1	18	10
2	38	10
3	78	10
4	187	10
5	355	10
6	511	10
7	647	10
8	721	10
9	741	10
10	757	10
11	792	10
12	842	10
13	871	10
14	874	10
done	874	10
0	9	10
1	17	10
2	32	10
3	59	10
4	136	10
5	258	10
6	516	10
7	1823	10
done	5000	10
0	16	29
1	52	29
2	211	17
3	1227	13
done	5000	13
0	14	29
1	36	29
2	137	15
3	693	13
4	4168	13
done	5001	13
0	14	29
1	48	29
2	180	15
3	790	13
4	4392	13
done	5000	13
0	12	29
1	32	29
2	105	13
3	401	13
4	2094	11
done	5001	11
0	10	21
1	16	21
2	25	21
3	42	21
4	78	21
5	100	21
6	108	21
7	114	21
8	121	21
9	129	21
10	134	21
11	136	21
done	136	21
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	10	29
1	26	29
2	108	11
3	559	11
4	2598	11
done	5000	11
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	3	3
1	4	3
done	4	3
0	4	5
1	11	5
2	12	5
done	12	5
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	12
1	15	12
2	18	12
3	22	12
4	23	12
done	23	12
0	11	12
1	15	12
2	18	12
3	22	12
4	23	12
done	23	12
0	11	12
1	15	12
2	18	12
3	20	12
4	22	12
5	23	12
done	23	12
0	11	12
1	15	12
2	18	12
3	20	12
4	22	12
5	23	12
done	23	12
0	12	13
1	18	13
2	27	13
3	44	13
4	65	13
5	77	13
6	79	13
done	79	13
0	12	13
1	18	13
2	27	13
3	44	13
4	65	13
5	77	13
6	79	13
done	79	13
0	10	17
1	16	17
2	24	17
3	32	17
4	41	17
5	47	17
6	52	17
done	52	17
0	9	10
1	13	10
2	16	10
3	18	10
4	20	10
5	21	10
done	21	10
0	12	19
1	24	19
2	65	19
3	158	19
4	361	19
5	618	19
6	696	19
7	706	19
done	706	19
0	11	14
1	19	14
2	37	14
3	80	14
4	155	14
5	222	14
6	237	14
7	243	14
done	243	14
0	9	11
1	18	9
2	44	9
3	129	9
4	231	9
5	292	9
6	302	9
7	305	9
done	305	9
0	9	11
1	18	9
2	44	9
3	129	9
4	231	9
5	292	9
6	302	9
7	305	9
done	305	9
0	11	16
1	19	16
2	38	16
3	77	16
4	143	16
5	201	16
6	210	16
done	210	16
0	10	11
1	16	11
2	25	11
3	42	11
4	63	11
5	75	11
6	77	11
done	77	11
0	8	8
1	15	6
2	28	6
3	60	6
4	86	6
5	94	6
6	97	6
7	98	6
done	98	6
0	8	8
1	15	6
2	28	6
3	60	6
4	86	6
5	94	6
6	97	6
7	98	6
done	98	6
0	10	15
1	20	15
2	38	13
3	107	13
4	183	13
5	258	13
6	332	13
7	379	13
done	379	13
0	9	10
1	17	10
2	26	8
3	64	8
4	78	8
5	98	8
6	124	8
7	139	8
done	139	8
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	6	7
1	13	5
2	23	3
3	38	3
4	52	3
5	65	3
6	85	3
7	90	3
done	90	3
0	5	5
1	10	3
2	20	3
done	20	3
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	11	13
1	30	13
2	48	13
3	82	13
4	160	13
5	408	13
6	1625	13
done	5000	13
0	10	13
1	20	13
2	43	13
3	115	13
4	306	13
5	680	13
6	1219	13
7	2134	13
8	4994	13
done	5000	13
0	9	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	10	11
1	16	11
2	25	11
3	42	11
4	79	11
5	101	11
6	111	11
7	121	11
8	131	11
9	140	11
10	145	11
11	147	11
done	147	11
0	10	11
1	16	11
2	25	11
3	42	11
4	79	11
5	101	11
6	111	11
7	121	11
8	131	11
9	140	11
10	145	11
11	147	11
done	147	11
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	10	11
1	16	11
2	25	11
3	42	11
4	79	11
5	101	11
6	111	11
7	121	11
8	131	11
9	140	11
10	145	11
11	147	11
done	147	11
0	10	11
1	16	11
2	25	11
3	42	11
4	79	11
5	101	11
6	111	11
7	121	11
8	131	11
9	140	11
10	145	11
11	147	11
done	147	11
0	9	10
1	15	10
2	24	10
3	41	10
4	77	10
5	99	10
6	107	10
7	113	10
8	120	10
9	128	10
10	133	10
11	135	10
done	135	10
0	9	10
1	15	10
2	24	10
3	41	10
4	78	10
5	100	10
6	110	10
7	120	10
8	130	10
9	139	10
10	144	10
11	146	10
done	146	10
0	9	10
1	15	10
2	24	10
3	41	10
4	78	10
5	100	10
6	110	10
7	120	10
8	130	10
9	139	10
10	144	10
11	146	10
done	146	10
0	8	9
1	14	9
2	23	9
3	40	9
4	76	9
5	98	9
6	106	9
7	112	9
8	119	9
9	127	9
10	132	9
11	134	9
done	134	9
0	8	9
1	14	9
2	23	9
3	40	9
4	76	9
5	98	9
6	106	9
7	112	9
8	119	9
9	127	9
10	132	9
11	134	9
done	134	9
0	8	9
1	16	9
2	25	7
3	64	7
4	114	7
5	149	7
6	161	7
7	174	7
8	202	7
9	220	7
10	241	7
11	253	7
done	253	7
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	7
1	11	7
2	14	7
3	18	7
4	19	7
done	19	7
0	11	13
1	24	13
2	63	11
3	213	11
4	685	11
5	1225	11
6	1509	11
7	1769	11
8	2105	11
9	2350	11
10	3032	11
11	4650	11
done	5000	11
0	11	13
1	24	13
2	63	11
3	213	11
4	685	11
5	1225	11
6	1509	11
7	1769	11
8	2105	11
9	2350	11
10	3032	11
11	4650	11
done	5000	11
0	14	17
1	26	17
2	66	16
3	204	16
4	551	15
5	839	15
6	1091	15
7	1176	15
done	1176	15
0	13	16
1	24	16
2	54	15
3	158	15
4	432	14
5	709	14
6	970	14
7	1080	14
8	1086	14
done	1086	14
0	14	16
1	25	16
2	55	15
3	161	15
4	426	15
5	755	15
6	1007	15
7	1117	15
8	1124	15
done	1124	15
0	13	15
1	23	15
2	45	14
3	119	14
4	322	14
5	813	14
6	1225	14
7	1389	14
8	1431	14
done	1431	14
0	12	14
1	22	14
2	46	13
3	111	13
4	304	13
5	813	13
6	1195	13
7	1527	13
8	1661	13
9	1683	13
10	1709	13
11	1772	13
12	1868	13
13	1933	13
14	1944	13
done	1944	13
0	15	18
1	31	17
2	95	16
3	390	16
4	1360	15
5	2227	15
6	2391	15
done	2391	15
0	14	17
1	29	16
2	81	15
3	313	15
4	1052	14
5	1993	14
6	2297	14
7	2301	14
done	2301	14
0	15	17
1	30	16
2	79	15
3	280	15
4	1105	15
5	2049	15
6	2598	15
7	2599	15
done	2599	15
0	14	16
1	28	15
2	67	14
3	211	14
4	801	14
5	2078	14
6	3114	14
7	3181	14
done	3181	14
0	13	15
1	27	14
2	65	13
3	176	13
4	592	13
5	1747	13
6	2938	13
7	3138	13
8	3145	13
9	3155	13
10	3190	13
11	3331	13
12	3545	13
13	3660	13
14	3676	13
done	3676	13
0	16	19
1	34	18
2	96	16
3	356	16
4	1404	15
5	2350	15
6	2530	15
done	2530	15
0	15	18
1	32	17
2	82	15
3	285	15
4	1085	14
5	2109	14
6	2431	14
7	2435	14
done	2435	14
0	16	18
1	33	17
2	80	16
3	278	15
4	1081	15
5	2026	15
6	2584	15
7	2600	15
done	2600	15
0	15	17
1	31	16
2	68	15
3	216	14
4	789	14
5	2070	14
6	3115	14
7	3206	14
done	3206	14
0	14	16
1	30	15
2	65	14
3	177	13
4	575	13
5	1720	13
6	2925	13
7	3083	13
8	3090	13
9	3100	13
10	3135	13
11	3276	13
12	3489	13
13	3609	13
14	3625	13
done	3625	13
0	16	18
1	33	17
2	82	16
3	316	16
4	1069	15
5	1896	15
6	2472	15
7	2533	15
done	2533	15
0	15	17
1	31	16
2	70	15
3	256	15
4	841	14
5	1648	14
6	2214	14
7	2282	14
done	2282	14
0	15	17
1	32	16
2	69	15
3	239	15
4	895	15
5	1926	15
6	2545	15
7	2608	15
done	2608	15
0	14	16
1	30	15
2	59	14
3	187	14
4	682	14
5	1844	14
6	2831	14
7	2917	14
done	2917	14
0	13	15
1	29	14
2	58	13
3	153	13
4	506	13
5	1525	13
6	2593	13
7	3097	13
8	3104	13
9	3114	13
10	3149	13
11	3291	13
12	3508	13
13	3631	13
14	3647	13
done	3647	13
0	12	14
1	28	14
2	84	12
3	293	12
4	994	12
5	2514	12
6	4190	12
done	5000	12
0	12	14
1	27	14
2	74	12
3	268	12
4	978	12
5	2585	12
done	5000	12
0	21	41
1	71	37
2	301	21
3	2451	17
done	5001	17
0	19	41
1	55	37
2	225	19
3	1728	17
done	5000	17
0	21	41
1	70	37
2	270	19
3	1826	17
done	5000	17
0	19	41
1	54	37
2	194	17
3	1222	17
done	5001	17
0	17	41
1	48	37
2	195	15
3	1440	15
done	5001	15
0	21	41
1	71	41
2	304	23
3	2179	19
done	5001	17
0	19	41
1	55	41
2	228	21
3	1480	19
done	5000	17
0	19	41
1	67	41
2	270	21
3	1542	19
done	5000	19
0	17	41
1	51	41
2	193	19
3	995	19
done	5001	17
0	15	41
1	45	41
2	194	17
3	1190	17
done	5000	15
0	13	29
1	26	29
2	65	25
3	215	25
4	688	25
5	1254	25
6	1536	25
7	1799	25
8	2152	25
9	2398	25
10	3083	25
11	4755	25
done	5001	25
0	12	14
1	25	14
2	64	12
3	214	12
4	688	12
5	1246	12
6	1521	12
7	1790	12
8	2153	12
9	2401	12
10	3067	12
11	4751	12
done	5000	12
0	13	41
1	36	41
2	182	13
3	1332	13
done	5001	13
0	12	14
1	25	14
2	64	12
3	214	12
4	688	12
5	1246	12
6	1521	12
7	1790	12
8	2153	12
9	2401	12
10	3067	12
11	4751	12
done	5000	12
0	12	14
1	25	14
2	64	12
3	214	12
4	688	12
5	1246	12
6	1521	12
7	1790	12
8	2153	12
9	2401	12
10	3067	12
11	4751	12
done	5000	12
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	7
1	14	7
2	28	7
3	31	7
4	36	7
5	42	7
6	52	7
7	75	7
8	140	7
9	353	7
10	1274	7
done	5001	7
0	7	7
1	15	5
2	36	5
3	71	5
4	87	5
5	103	5
6	109	5
done	109	5
0	4	5
1	11	5
2	12	5
done	12	5
0	9	9
1	18	7
2	39	7
3	61	7
4	94	7
5	105	7
6	109	7
done	109	7
0	2	3
done	2	3
0	6	7
1	13	7
2	21	5
3	62	5
4	105	5
5	107	5
done	107	5
0	12	14
1	23	14
2	50	14
3	103	14
4	217	14
5	410	14
6	511	14
7	562	14
8	626	14
9	682	14
10	755	14
11	807	14
12	827	14
13	829	14
done	829	14
0	12	14
1	23	14
2	50	14
3	103	14
4	217	14
5	410	14
6	511	14
7	562	14
8	626	14
9	682	14
10	755	14
11	807	14
12	827	14
13	829	14
done	829	14
0	13	15
1	26	14
2	65	14
3	168	12
4	663	12
5	1541	12
6	2271	12
7	2832	12
8	3594	12
9	3867	12
10	4341	12
11	4397	12
done	4397	12
0	13	15
1	26	14
2	65	14
3	168	12
4	663	12
5	1541	12
6	2271	12
7	2832	12
8	3594	12
9	3867	12
10	4341	12
11	4397	12
done	4397	12
0	12	14
1	25	13
2	64	13
3	159	11
4	634	11
5	1247	11
6	1517	11
7	1784	11
8	2147	11
9	2393	11
10	3094	11
11	4770	11
done	5000	11
0	13	15
1	26	14
2	65	14
3	168	12
4	663	12
5	1541	12
6	2271	12
7	2832	12
8	3594	12
9	3867	12
10	4341	12
11	4397	12
done	4397	12
0	13	15
1	26	14
2	65	14
3	168	12
4	663	12
5	1541	12
6	2271	12
7	2832	12
8	3594	12
9	3867	12
10	4341	12
11	4397	12
done	4397	12
0	12	14
1	25	13
2	64	13
3	159	11
4	634	11
5	1247	11
6	1517	11
7	1784	11
8	2147	11
9	2393	11
10	3094	11
11	4770	11
done	5000	11
0	12	14
1	25	14
2	64	12
3	222	12
4	744	12
5	1599	12
6	2357	12
7	2896	12
8	3678	12
9	3950	12
10	4421	12
11	4473	12
done	4473	12
0	12	14
1	25	14
2	64	12
3	222	12
4	744	12
5	1599	12
6	2357	12
7	2896	12
8	3678	12
9	3950	12
10	4421	12
11	4473	12
done	4473	12
0	11	13
1	24	13
2	63	11
3	213	11
4	685	11
5	1225	11
6	1509	11
7	1769	11
8	2105	11
9	2350	11
10	3032	11
11	4650	11
done	5000	11
0	11	13
1	24	13
2	63	11
3	213	11
4	685	11
5	1225	11
6	1509	11
7	1769	11
8	2105	11
9	2350	11
10	3032	11
11	4650	11
done	5000	11
0	11	13
1	24	13
2	63	11
3	213	11
4	685	11
5	1225	11
6	1509	11
7	1769	11
8	2105	11
9	2350	11
10	3032	11
11	4650	11
done	5000	11
0	7	7
1	15	7
2	29	5
3	72	5
4	93	5
5	94	5
done	94	5
0	8	9
1	18	9
2	43	7
3	127	7
4	282	7
5	329	7
6	335	7
done	335	7
0	10	11
1	21	11
2	46	9
3	136	9
4	323	9
5	490	9
6	605	9
7	713	9
8	812	9
9	866	9
10	966	9
11	988	9
12	991	9
done	991	9
0	10	11
1	21	9
2	54	9
3	135	9
4	282	9
5	388	9
6	501	9
7	567	9
8	670	9
9	772	9
10	829	9
11	929	9
12	946	9
13	948	9
done	948	9
0	13	21
1	34	19
2	89	17
3	198	15
4	336	13
5	560	13
6	989	13
7	1838	13
8	2703	13
9	3126	13
10	3629	13
11	4649	13
done	5001	13
0	18	27
1	49	27
2	170	25
3	608	23
4	2306	19
done	5000	19
0	18	27
1	49	27
2	170	25
3	608	23
4	2306	19
done	5000	19
0	14	23
1	38	21
2	116	19
3	286	17
4	574	15
5	1040	15
6	1808	15
7	3297	15
8	4241	13
done	5000	13
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23
0	18	27
1	50	27
2	152	27
3	515	25
4	1688	23
done	5001	23

prune159.0ms

Filtered

94 candidates to 122 candidates (-29.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	122	10	132

Merged error: 0b

Counts

132 → 10

regimes379.0ms

Accuracy

16.7% (2.7b remaining)

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

bsearch1.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	28
1	20	28
done	20	28

end0.0ms

sample870.0ms

Algorithm

intervals

Results

416.0ms

10745×

body

valid

Details

sample31.0ms

simplify3.4s

prune3.0ms

localize8.0ms

rewrite29.0ms

series23.0ms

simplify2.3min

prune116.0ms

localize8.0ms

rewrite24.0ms

series20.0ms

simplify1.7min

prune159.0ms

localize12.0ms

rewrite26.0ms

series100.0ms

simplify6.5min

prune172.0ms

localize9.0ms

rewrite36.0ms

series26.0ms

simplify7.5min

prune159.0ms

regimes379.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample870.0ms

Profiling