Details

sample53.0ms

Algorithm

intervals

Results

18.0ms

374×

body

valid

simplify3.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	13
1	26	13
2	88	13
3	275	13
4	669	13
5	1180	13
6	1401	13
7	1420	13
done	1420	13

prune4.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: 7.7b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.4b	(* (* z 9.0) t)
7.0b	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 42

Calls

2 calls:

6.0ms	(* (* z 9.0) t)
14.0ms	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series26.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* (* z 9.0) t)
22.0ms	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify53.5s

Counts

48 → 48

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	16
1	28	16
2	54	16
3	91	16
4	107	16
5	123	16
6	142	16
7	158	16
8	163	16
done	163	16
0	15	15
1	28	15
2	52	15
3	85	15
4	97	15
5	109	15
6	128	15
7	154	15
8	164	15
done	164	15
0	14	14
1	30	14
2	100	14
3	299	14
4	708	14
5	1224	14
6	1485	14
7	1527	14
8	1543	14
9	1548	14
done	1548	14
0	14	14
1	27	14
2	92	14
3	303	14
4	771	14
5	1602	14
6	4200	14
done	5000	14
0	19	41
1	41	41
2	161	19
3	797	19
4	4422	17
done	5001	17
0	17	41
1	43	41
2	177	17
3	937	15
4	4919	15
done	5000	15
0	15	29
1	28	29
2	90	29
3	279	29
4	675	29
5	1168	29
6	1398	29
7	1419	29
done	1419	29
0	14	14
1	27	14
2	89	14
3	278	14
4	672	14
5	1168	14
6	1389	14
7	1410	14
done	1410	14
0	15	41
1	35	41
2	155	15
3	816	15
done	5000	15
0	14	14
1	27	14
2	89	14
3	278	14
4	672	14
5	1168	14
6	1389	14
7	1410	14
done	1410	14
0	14	14
1	27	14
2	89	14
3	278	14
4	672	14
5	1168	14
6	1389	14
7	1410	14
done	1410	14
0	10	10
1	17	10
2	37	10
3	83	10
4	143	9
5	164	9
done	164	9
0	4	4
1	9	4
2	11	4
done	11	4
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	9	9
1	21	9
2	66	9
3	185	9
4	380	9
5	443	9
done	443	9
0	13	23
1	22	23
2	41	23
3	67	23
4	71	23
done	71	23
0	12	12
1	19	12
2	36	12
3	61	12
4	63	12
done	63	12
0	12	12
1	19	12
2	36	12
3	61	12
4	63	12
done	63	12
0	12	12
1	19	12
2	36	12
3	61	12
4	63	12
done	63	12
0	3	3
1	5	3
done	5	3
0	11	11
1	21	11
2	50	11
3	103	11
4	185	11
5	276	11
6	317	11
7	321	11
done	321	11
0	5	5
1	10	5
2	12	5
done	12	5
0	13	13
1	23	13
2	47	13
3	96	13
4	153	13
5	287	13
6	469	13
7	571	13
8	589	13
done	589	13
0	11	11
1	21	11
2	50	11
3	103	11
4	185	11
5	276	11
6	317	11
7	321	11
done	321	11
0	14	14
1	24	14
2	45	14
3	73	14
4	76	14
done	76	14
0	14	14
1	24	14
2	45	14
3	73	14
4	76	14
done	76	14
0	13	13
1	23	13
2	47	13
3	96	13
4	153	13
5	287	13
6	469	13
7	571	13
8	589	13
done	589	13
0	17	33
1	57	27
2	224	27
3	871	27
4	2842	27
done	5000	27
0	13	13
1	29	13
2	82	13
3	204	13
4	320	13
5	322	13
done	322	13
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	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	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	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	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	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15
0	1	1
done	1	1
0	1	1
done	1	1
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

prune121.0ms

Filtered

39 candidates to 48 candidates (-23.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	40	8	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	9	49

Merged error: 7.1b

Counts

49 → 9

localize14.0ms

Local error

Found 2 expressions with local error:

0.2b	(* z (* 9.0 t))
7.0b	(/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 42

Calls

2 calls:

6.0ms	(* z (* 9.0 t))
8.0ms	(/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))

series25.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(* z (* 9.0 t))
21.0ms	(/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))

simplify55.9s

Counts

48 → 48

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	16
1	28	16
2	54	16
3	91	16
4	107	16
5	123	16
6	142	16
7	158	16
8	163	16
done	163	16
0	15	15
1	28	15
2	52	15
3	85	15
4	97	15
5	109	15
6	128	15
7	154	15
8	164	15
done	164	15
0	14	14
1	30	14
2	100	14
3	297	14
4	699	14
5	1204	14
6	1424	14
7	1460	14
8	1476	14
9	1481	14
done	1481	14
0	14	14
1	27	14
2	92	14
3	301	14
4	762	14
5	1569	14
6	4083	14
done	5000	14
0	19	41
1	41	41
2	161	19
3	797	19
4	4432	17
done	5001	17
0	17	41
1	43	41
2	177	17
3	937	15
4	4949	15
done	5000	15
0	15	29
1	28	29
2	90	29
3	277	29
4	664	29
5	1143	29
6	1363	29
7	1382	29
done	1382	29
0	14	14
1	27	14
2	89	14
3	276	14
4	665	14
5	1156	14
6	1368	14
7	1390	14
done	1390	14
0	15	41
1	35	41
2	155	15
3	814	15
done	5001	15
0	14	14
1	27	14
2	89	14
3	276	14
4	665	14
5	1156	14
6	1368	14
7	1390	14
done	1390	14
0	14	14
1	27	14
2	89	14
3	276	14
4	665	14
5	1156	14
6	1368	14
7	1390	14
done	1390	14
0	10	10
1	17	10
2	37	10
3	83	10
4	143	9
5	164	9
done	164	9
0	4	4
1	9	4
2	11	4
done	11	4
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	9	9
1	21	9
2	70	9
3	200	9
4	375	9
5	431	9
6	437	9
done	437	9
0	13	23
1	22	23
2	41	23
3	67	23
4	71	23
done	71	23
0	12	12
1	19	12
2	36	12
3	61	12
4	65	12
done	65	12
0	12	12
1	19	12
2	36	12
3	61	12
4	65	12
done	65	12
0	12	12
1	19	12
2	36	12
3	61	12
4	65	12
done	65	12
0	3	3
1	5	3
done	5	3
0	11	11
1	21	11
2	50	11
3	105	11
4	184	11
5	262	11
6	308	11
7	316	11
done	316	11
0	5	5
1	10	5
2	12	5
done	12	5
0	13	13
1	23	13
2	47	13
3	96	13
4	155	13
5	289	13
6	471	13
7	573	13
8	591	13
done	591	13
0	11	11
1	21	11
2	50	11
3	105	11
4	184	11
5	262	11
6	308	11
7	316	11
done	316	11
0	14	14
1	24	14
2	45	14
3	73	14
4	76	14
done	76	14
0	14	14
1	24	14
2	45	14
3	73	14
4	76	14
done	76	14
0	13	13
1	23	13
2	47	13
3	96	13
4	155	13
5	289	13
6	471	13
7	573	13
8	591	13
done	591	13
0	17	33
1	57	27
2	225	27
3	888	27
4	2805	27
done	5000	27
0	13	13
1	29	13
2	82	13
3	204	13
4	318	13
5	320	13
done	320	13
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	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	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	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	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	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15
0	1	1
done	1	1
0	1	1
done	1	1
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

prune91.0ms

Filtered

36 candidates to 48 candidates (-33.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

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

Merged error: 7.1b

Counts

57 → 9

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
0.2b	(* 4.5 (/ (* t z) a))
5.3b	(/ (* x y) a)
6.8b	(/ (* t z) a)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
13×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
7×	`associate-r`
6×	`pow1` `cbrt-undiv` `div-exp` `prod-exp` `associate-/r*` `cbrt-unprod` `add-log-exp`
5×	`associate-*r/`
3×	`associate-l` `div-inv`
2×	`frac-2neg` `clear-num` `associate-/l*`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `frac-sub` `flip--` `sub-div` `unswap-sqr`

Counts

4 → 83

Calls

4 calls:

6.0ms	(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
7.0ms	(* 4.5 (/ (* t z) a))
5.0ms	(/ (* x y) a)
5.0ms	(/ (* t z) a)

series48.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a)))
7.0ms	(* 4.5 (/ (* t z) a))
9.0ms	(/ (* x y) a)
6.0ms	(/ (* t z) a)

simplify1.4min

Counts

95 → 95

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	11	11
1	19	11
2	39	11
3	71	11
4	111	11
5	179	11
6	278	11
7	382	11
8	453	11
9	549	11
10	552	11
done	552	11
0	10	10
1	19	10
2	33	10
3	68	10
4	111	10
5	162	10
6	237	10
7	342	10
8	457	10
9	556	10
10	561	10
done	561	10
0	9	9
1	16	9
2	32	9
3	70	9
4	129	9
5	217	9
6	299	9
7	407	9
8	482	9
9	579	9
10	582	9
done	582	9
0	8	8
1	17	8
2	40	8
3	90	8
4	198	8
5	315	8
6	434	8
7	533	8
8	616	8
9	697	8
10	706	8
done	706	8
0	8	8
1	16	8
2	36	8
3	75	8
4	177	8
5	416	8
6	1009	8
7	3894	8
done	5000	8
0	15	23
1	36	23
2	182	15
3	1169	15
done	5000	15
0	13	23
1	38	23
2	187	13
3	1302	11
done	5000	11
0	11	23
1	27	23
2	103	11
3	484	11
4	2946	9
done	5001	9
0	9	17
1	15	17
2	29	17
3	50	17
4	79	17
5	90	17
done	90	17
0	8	8
1	14	8
2	28	8
3	49	8
4	78	8
5	89	8
done	89	8
0	9	23
1	25	23
2	100	9
3	516	9
4	2985	9
done	5000	9
0	8	8
1	14	8
2	28	8
3	49	8
4	78	8
5	89	8
done	89	8
0	8	8
1	14	8
2	28	8
3	49	8
4	78	8
5	89	8
done	89	8
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	9
1	13	9
2	17	9
3	20	9
4	21	9
done	21	9
0	9	15
1	15	15
2	21	15
3	24	15
4	25	15
done	25	15
0	8	8
1	12	8
2	16	8
3	19	8
4	20	8
done	20	8
0	7	9
1	12	9
2	23	9
3	36	9
4	48	9
done	48	9
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	16	3
3	22	3
4	30	3
done	30	3
0	3	3
1	6	1
done	6	1
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	14	8
2	28	8
3	49	8
4	78	8
5	89	8
done	89	8
0	8	8
1	14	8
2	28	8
3	49	8
4	78	8
5	89	8
done	89	8
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	5	5
1	9	5
2	15	5
done	15	5
0	16	17
1	34	16
2	75	16
3	172	16
4	494	16
5	1408	16
done	5001	16
0	15	16
1	29	16
2	66	16
3	142	16
4	277	16
5	364	16
6	374	16
done	374	16
0	15	16
1	32	16
2	79	16
3	181	16
4	435	16
5	1048	16
6	4210	16
done	5000	16
0	16	33
1	30	33
2	67	33
3	143	33
4	278	33
5	365	33
6	375	33
done	375	33
0	15	16
1	29	16
2	66	16
3	142	16
4	277	16
5	364	16
6	374	16
done	374	16
0	16	47
1	31	47
2	82	17
3	277	17
4	1550	17
done	5001	17
0	15	16
1	29	16
2	66	16
3	142	16
4	277	16
5	364	16
6	374	16
done	374	16
0	15	16
1	29	16
2	66	16
3	142	16
4	277	16
5	364	16
6	374	16
done	374	16
0	11	11
1	21	11
2	44	11
3	71	11
4	75	11
done	75	11
0	14	15
1	30	15
2	82	13
3	208	13
4	320	13
5	327	13
done	327	13
0	2	3
done	2	3
0	17	19
1	50	19
2	193	19
3	1007	19
done	5000	19
0	18	47
1	55	39
2	210	39
3	910	39
4	4301	37
done	5000	37
0	8	8
1	18	8
2	44	8
3	105	8
4	205	8
5	276	8
6	286	8
done	286	8
0	16	31
1	47	31
2	164	31
3	681	31
4	3148	31
done	5000	31
0	14	15
1	27	15
2	55	15
3	97	15
4	155	15
5	177	15
done	177	15
0	8	8
1	18	8
2	44	8
3	105	8
4	205	8
5	276	8
6	286	8
done	286	8
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15

prune160.0ms

Filtered

73 candidates to 95 candidates (-30.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	89	6	95
Fresh	3	3	6
Picked	1	0	1
Done	1	1	2
Total	94	10	104

Merged error: 0b

Counts

104 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ t (/ a z))))
0.2b	(* 4.5 (/ t (/ a z)))
5.3b	(/ (* x y) a)
5.5b	(/ t (/ a z))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

147×	`times-frac`
93×	`add-sqr-sqrt`
84×	`add-cube-cbrt` `*-un-lft-identity`
44×	`associate-r`
23×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/r*`
10×	`div-inv`
8×	`cbrt-undiv` `div-exp`
6×	`pow1` `add-log-exp`
4×	`prod-exp` `cbrt-unprod` `associate-/l*`
3×	`associate-r/` `associate-l*` `unswap-sqr`
2×	`frac-2neg` `clear-num` `associate-/r/`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `*-commutative` `frac-sub` `flip--`

Counts

4 → 170

Calls

4 calls:

6.0ms	(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ t (/ a z))))
16.0ms	(* 4.5 (/ t (/ a z)))
5.0ms	(/ (* x y) a)
6.0ms	(/ t (/ a z))

series50.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(- (* 0.5 (/ (* x y) a)) (* 4.5 (/ t (/ a z))))
7.0ms	(* 4.5 (/ t (/ a z)))
5.0ms	(/ (* x y) a)
7.0ms	(/ t (/ a z))

simplify1.6min

Counts

182 → 182

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	8
1	14	8
2	22	8
3	35	8
4	39	8
5	47	8
6	62	8
7	88	8
8	97	8
done	97	8
0	7	7
1	12	7
2	17	7
3	24	7
4	37	7
5	41	7
6	49	7
7	64	7
8	90	7
9	99	7
done	99	7
0	6	6
1	11	6
2	21	6
3	30	6
4	42	6
5	61	6
6	70	6
7	81	6
8	99	6
9	119	6
10	125	6
done	125	6
0	6	6
1	8	6
2	13	6
3	20	6
4	30	6
5	57	6
6	123	6
7	292	6
8	829	6
9	3097	6
done	5000	6
0	11	17
1	25	17
2	105	11
3	478	9
4	1839	7
done	5000	7
0	9	17
1	24	17
2	82	9
3	318	7
4	1287	7
5	3403	7
done	5000	7
0	7	13
1	9	13
2	12	13
3	13	13
4	15	13
5	17	13
6	18	13
done	18	13
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	17
1	16	17
2	54	7
3	227	7
4	922	7
5	2669	7
done	5001	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	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	9	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	7
done	7	7
0	8	10
1	10	10
2	12	10
3	13	10
done	13	10
0	7	7
done	7	7
0	11	17
1	21	17
2	57	17
3	146	17
4	272	17
5	365	17
6	401	17
7	411	17
done	411	17
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	14
1	16	14
2	34	14
3	78	14
4	124	14
5	144	14
6	149	14
7	150	14
done	150	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
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	10	14
1	16	14
2	31	14
3	59	14
4	95	14
5	117	14
6	127	14
7	136	14
8	137	14
done	137	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	22	11
3	32	11
4	42	11
5	46	11
6	48	11
7	49	11
done	49	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
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	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
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	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
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	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
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	7
1	9	5
2	15	5
3	20	5
done	20	5
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	7
1	7	7
2	9	7
3	10	7
done	10	7
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	8	12
1	10	12
done	10	12
0	7	7
done	7	7
0	7	7
done	7	7
0	7	7
done	7	7
0	10	14
1	18	14
2	39	14
3	70	14
4	96	14
5	130	14
6	156	14
7	166	14
8	167	14
done	167	14
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	11
1	13	11
2	21	11
3	34	11
4	42	11
5	48	11
6	51	11
done	51	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
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	9	11
1	13	11
2	20	11
3	28	11
4	32	11
5	41	11
6	47	11
7	52	11
done	52	11
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
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	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
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	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
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	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
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	4	4
1	6	2
2	8	2
done	8	2
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	4	4
done	4	4
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	7	11
1	11	11
done	11	11
0	6	6
done	6	6
0	6	6
1	8	6
done	8	6
0	6	6
done	6	6
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
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	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
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	9
1	12	7
2	23	7
3	32	7
done	32	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	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
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	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
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	5	6
1	9	4
2	14	4
done	14	4
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	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
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	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
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	3	5
1	6	1
done	6	1
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	2	3
1	4	1
done	4	1
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	3	3
1	5	3
done	5	3
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	5	5
1	7	5
2	10	5
done	10	5
0	7	11
1	9	11
done	9	11
0	6	6
done	6	6
0	9	13
1	17	13
2	38	13
3	67	13
4	93	13
5	126	13
6	150	13
7	160	13
8	161	13
done	161	13
0	8	10
1	12	10
2	20	10
3	33	10
4	41	10
5	47	10
6	50	10
done	50	10
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	8	10
1	12	10
2	19	10
3	27	10
4	31	10
5	40	10
6	46	10
7	51	10
done	51	10
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	10	4
2	16	4
3	21	4
done	21	4
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
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	5	5
1	7	5
2	10	5
done	10	5
0	3	3
done	3	3
0	8	8
1	13	8
2	20	8
3	26	8
4	32	8
5	41	8
6	54	8
7	72	8
8	88	8
9	95	8
10	112	8
11	114	8
done	114	8
0	7	7
1	13	7
2	19	7
3	28	7
4	31	7
5	37	7
6	46	7
7	59	7
8	77	7
9	93	7
10	100	7
11	117	7
12	119	7
done	119	7
0	6	6
1	12	6
2	24	6
3	43	6
4	59	6
5	67	6
6	79	6
7	97	6
8	113	6
9	120	6
10	137	6
11	139	6
done	139	6
0	6	6
1	9	6
2	13	6
3	18	6
4	27	6
5	40	6
6	73	6
7	156	6
8	369	6
9	1012	6
10	4069	6
done	5000	6
0	11	17
1	26	17
2	122	11
3	554	11
4	2264	9
done	5000	9
0	9	17
1	28	17
2	129	9
3	692	7
4	2636	7
5	4904	7
done	5000	7
0	7	13
1	10	13
2	14	13
3	17	13
4	18	13
done	18	13
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	7	17
1	17	17
2	58	7
3	237	7
4	990	7
5	2904	7
done	5001	7
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	3	3
1	5	3
done	5	3
0	5	5
1	8	5
2	10	5
done	10	5
0	7	9
1	15	9
2	29	9
3	42	9
4	46	9
done	46	9
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	3	3
done	3	3
0	7	7
1	12	7
2	24	7
3	47	7
4	59	7
5	74	7
6	80	7
7	83	7
done	83	7
0	11	11
1	20	11
2	41	11
3	84	11
4	148	11
5	224	11
6	310	11
7	444	11
8	468	11
9	469	11
done	469	11
0	10	10
1	18	10
2	31	10
3	58	10
4	116	10
5	188	10
6	254	10
7	368	10
8	527	10
9	540	10
done	540	10
0	9	9
1	15	9
2	29	9
3	53	9
4	96	9
5	187	9
6	237	9
7	320	9
8	447	9
9	601	9
10	606	9
done	606	9
0	8	8
1	16	8
2	37	8
3	84	8
4	145	8
5	244	8
6	367	8
7	466	8
8	552	8
9	639	8
10	648	8
done	648	8
0	8	8
1	15	8
2	33	8
3	79	8
4	166	8
5	401	8
6	1019	8
7	3820	8
done	5001	8
0	15	23
1	35	23
2	158	15
3	1047	13
done	5000	13
0	13	23
1	34	23
2	140	13
3	753	11
done	5000	11
0	11	23
1	26	23
2	99	11
3	501	11
4	3075	9
done	5000	9
0	9	17
1	14	17
2	26	17
3	49	17
4	61	17
5	76	17
6	82	17
7	85	17
done	85	17
0	8	8
1	13	8
2	25	8
3	48	8
4	60	8
5	75	8
6	81	8
7	84	8
done	84	8
0	9	23
1	24	23
2	100	9
3	546	9
4	3342	9
done	5001	9
0	8	8
1	13	8
2	25	8
3	48	8
4	60	8
5	75	8
6	81	8
7	84	8
done	84	8
0	8	8
1	13	8
2	25	8
3	48	8
4	60	8
5	75	8
6	81	8
7	84	8
done	84	8
0	9	9
1	12	9
2	15	9
3	16	9
4	18	9
5	20	9
6	21	9
done	21	9
0	9	9
1	12	9
2	15	9
3	16	9
4	18	9
5	20	9
6	21	9
done	21	9
0	10	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	10	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	11	11
1	16	11
2	28	11
3	51	11
4	63	11
5	78	11
6	84	11
7	87	11
done	87	11
0	11	11
1	16	11
2	28	11
3	51	11
4	63	11
5	78	11
6	84	11
7	87	11
done	87	11
0	9	15
1	14	15
2	19	15
3	20	15
4	22	15
5	24	15
6	25	15
done	25	15
0	8	8
1	11	8
2	14	8
3	15	8
4	17	8
5	19	8
6	20	8
done	20	8
0	11	17
1	20	17
2	49	17
3	88	17
4	144	17
5	156	17
done	156	17
0	10	12
1	15	12
2	25	12
3	40	12
4	53	12
5	55	12
done	55	12
0	13	19
1	26	19
2	84	19
3	294	19
4	843	19
5	1532	19
6	1749	19
7	1767	19
done	1767	19
0	12	16
1	21	16
2	55	16
3	175	16
4	422	16
5	623	16
6	683	16
7	690	16
done	690	16
0	11	15
1	22	13
2	61	13
3	224	13
4	376	13
5	454	13
6	472	13
done	472	13
0	12	16
1	21	16
2	52	16
3	134	16
4	310	16
5	487	16
6	545	16
7	570	16
done	570	16
0	11	13
1	18	13
2	41	13
3	88	13
4	161	13
5	204	13
6	216	13
7	223	13
done	223	13
0	10	12
1	19	10
2	41	10
3	108	10
4	152	10
5	166	10
6	186	10
7	192	10
done	192	10
0	11	15
1	22	15
2	53	13
3	148	13
4	482	13
5	917	13
6	1051	13
done	1051	13
0	10	12
1	19	12
2	42	10
3	100	10
4	271	10
5	419	10
6	424	10
done	424	10
0	8	11
1	17	9
2	37	7
3	104	7
4	164	7
5	228	7
6	235	7
done	235	7
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	7	9
1	12	9
2	22	9
3	37	9
4	50	9
5	52	9
done	52	9
0	10	14
1	15	14
2	26	14
3	40	14
4	52	14
done	52	14
0	9	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	12	16
1	23	16
2	61	16
3	171	16
4	368	16
5	593	16
6	673	16
7	697	16
8	698	16
done	698	16
0	11	13
1	18	13
2	37	13
3	99	13
4	177	13
5	246	13
6	263	13
7	266	13
done	266	13
0	10	12
1	19	10
2	43	10
3	125	10
4	191	10
5	229	10
6	251	10
done	251	10
0	11	13
1	18	13
2	36	13
3	80	13
4	128	13
5	182	13
6	208	13
7	226	13
8	227	13
done	227	13
0	10	10
1	15	10
2	27	10
3	50	10
4	62	10
5	77	10
6	83	10
7	86	10
done	86	10
0	9	9
1	16	7
2	28	7
3	56	7
4	71	7
5	77	7
6	90	7
7	91	7
done	91	7
0	10	12
1	19	12
2	37	10
3	81	10
4	178	10
5	352	10
6	418	10
done	418	10
0	9	9
1	16	9
2	28	7
3	51	7
4	90	7
5	144	7
6	147	7
done	147	7
0	7	8
1	14	6
2	25	4
3	44	4
4	63	4
5	88	4
done	88	4
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	9	13
1	16	13
2	26	11
3	34	11
4	52	11
5	83	11
6	88	11
done	88	11
0	8	8
1	13	8
2	16	6
3	17	6
4	22	6
5	23	6
done	23	6
0	11	15
1	24	15
2	61	13
3	146	13
4	343	13
5	537	13
6	588	13
7	600	13
done	600	13
0	10	12
1	19	12
2	38	10
3	82	10
4	166	10
5	266	10
6	291	10
7	307	10
done	307	10
0	8	11
1	17	9
2	35	7
3	57	7
4	60	7
5	68	7
6	76	7
7	78	7
done	78	7
0	10	12
1	19	12
2	37	10
3	69	10
4	145	10
5	197	10
6	201	10
7	204	10
done	204	10
0	9	9
1	16	9
2	28	7
3	43	7
4	71	7
5	87	7
6	89	7
7	91	7
done	91	7
0	7	8
1	14	6
2	23	4
3	24	4
done	24	4
0	8	11
1	17	7
2	39	7
3	73	7
4	102	7
5	141	7
6	173	7
7	185	7
done	185	7
0	7	8
1	14	4
2	26	4
3	36	4
4	41	4
5	57	4
6	73	4
7	79	4
done	79	4
0	5	7
1	11	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	5	5
1	10	5
2	13	3
3	14	3
4	19	3
5	21	3
done	21	3
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	8	8
1	13	8
2	25	8
3	48	8
4	60	8
5	75	8
6	81	8
7	84	8
done	84	8
0	8	8
1	13	8
2	25	8
3	48	8
4	60	8
5	75	8
6	81	8
7	84	8
done	84	8
0	7	7
1	12	7
2	24	7
3	47	7
4	59	7
5	74	7
6	80	7
7	83	7
done	83	7
0	3	3
1	4	3
done	4	3
0	16	17
1	33	16
2	72	16
3	182	16
4	488	16
5	1426	16
done	5001	16
0	15	16
1	28	16
2	63	16
3	144	16
4	248	16
5	318	16
6	351	16
7	367	16
8	369	16
done	369	16
0	15	16
1	31	16
2	76	16
3	188	16
4	421	16
5	1063	16
6	4825	16
done	5000	16
0	16	33
1	29	33
2	64	33
3	145	33
4	249	33
5	319	33
6	352	33
7	368	33
8	369	33
done	369	33
0	15	16
1	28	16
2	63	16
3	144	16
4	248	16
5	318	16
6	351	16
7	367	16
8	369	16
done	369	16
0	16	47
1	30	47
2	79	17
3	279	17
4	1621	17
done	5001	17
0	15	16
1	28	16
2	63	16
3	144	16
4	248	16
5	318	16
6	351	16
7	367	16
8	369	16
done	369	16
0	15	16
1	28	16
2	63	16
3	144	16
4	248	16
5	318	16
6	351	16
7	367	16
8	369	16
done	369	16
0	14	15
1	29	15
2	75	15
3	183	15
4	290	13
5	387	13
6	436	13
7	446	13
done	446	13
0	4	5
1	7	5
2	9	5
done	9	5
0	17	19
1	49	19
2	191	19
3	1023	19
done	5000	19
0	18	47
1	54	39
2	210	39
3	955	39
4	4322	39
done	5000	39
0	8	8
1	17	8
2	43	8
3	103	8
4	178	8
5	232	8
6	265	8
7	281	8
8	282	8
done	282	8
0	16	31
1	46	31
2	164	31
3	720	31
4	3251	31
done	5001	31
0	14	15
1	26	15
2	52	15
3	96	15
4	137	15
5	163	15
6	169	15
7	172	15
done	172	15
0	8	8
1	17	8
2	43	8
3	103	8
4	178	8
5	232	8
6	265	8
7	281	8
8	282	8
done	282	8
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15
0	14	15
1	28	15
2	65	15
3	141	15
4	276	15
5	363	15
6	373	15
done	373	15

prune197.0ms

Filtered

151 candidates to 182 candidates (-20.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	182	10	192

Merged error: 0b

Counts

192 → 10

regimes1.6s

Accuracy

46.4% (4.3b remaining)

Error of 4.8b against oracle of 0.4b and baseline of 8.5b

bsearch1.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	99
1	51	99
done	51	99

end0.0ms

sample1.3s

Algorithm

intervals

Results

567.0ms

11204×

body

valid

Details

sample53.0ms

simplify3.2s

prune4.0ms

localize10.0ms

rewrite22.0ms

series26.0ms

simplify53.5s

prune121.0ms

localize14.0ms

rewrite15.0ms

series25.0ms

simplify55.9s

prune91.0ms

localize12.0ms

rewrite26.0ms

series48.0ms

simplify1.4min

prune160.0ms

localize13.0ms

rewrite44.0ms

series50.0ms

simplify1.6min

prune197.0ms

regimes1.6s

bsearch1.0ms

simplify7.0ms

end0.0ms

sample1.3s

Profiling