Details

sample94.0ms

Algorithm

intervals

Results

22.0ms	314×	body	80	nan
18.0ms	294×	body	80	valid

simplify6.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	16
1	30	16
2	83	16
3	224	16
4	618	16
5	1608	16
6	3229	16
done	5001	16

prune6.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: 0.1b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- a 0.5) b)
0.0b	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
0.1b	(- (+ (+ x y) z) (* z (log t)))
0.3b	(* z (log t))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
18×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt` `log-prod`
10×	`sum-log`
9×	`pow1`
8×	`add-exp-log` `associate-l` `add-cbrt-cube`
7×	`associate-r`
6×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `diff-log` `associate-*l/` `flip--` `associate--r+`
4×	`frac-add`
3×	`associate-+l+`
2×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `flip3-+` `log-pow` `flip-+` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 90

Calls

4 calls:

7.0ms	(* (- a 0.5) b)
13.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
10.0ms	(- (+ (+ x y) z) (* z (log t)))
5.0ms	(* z (log t))

series77.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (- a 0.5) b)
46.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
17.0ms	(- (+ (+ x y) z) (* z (log t)))
9.0ms	(* z (log t))

simplify2.7min

Counts

102 → 102

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	13	14
1	23	13
2	55	10
3	138	10
4	400	10
5	1237	10
6	4408	10
done	5000	10
0	12	13
1	23	12
2	50	10
3	127	10
4	378	10
5	1178	10
6	4236	10
done	5000	10
0	11	12
1	22	11
2	52	10
3	135	10
4	369	10
5	1086	10
6	4151	10
done	5000	10
0	10	11
1	19	11
2	46	11
3	86	11
4	117	11
5	158	11
6	245	11
7	427	11
8	502	11
9	596	11
10	677	11
11	697	11
12	755	11
13	864	11
14	960	11
15	1026	11
done	1026	11
0	10	11
1	22	11
2	64	10
3	150	10
4	341	10
5	990	10
6	3968	10
done	5001	10
0	11	23
1	20	23
2	47	23
3	87	23
4	118	23
5	159	23
6	245	23
7	427	23
8	502	23
9	598	23
10	677	23
11	697	23
12	755	23
13	864	23
14	960	23
15	1026	23
done	1026	23
0	10	11
1	19	11
2	46	11
3	86	11
4	117	11
5	158	11
6	245	11
7	427	11
8	502	11
9	596	11
10	677	11
11	697	11
12	755	11
13	864	11
14	960	11
15	1026	11
done	1026	11
0	11	32
1	21	32
2	74	12
3	415	12
4	3311	12
done	5001	12
0	10	11
1	19	11
2	46	11
3	86	11
4	117	11
5	158	11
6	245	11
7	427	11
8	502	11
9	596	11
10	677	11
11	697	11
12	755	11
13	864	11
14	960	11
15	1026	11
done	1026	11
0	10	11
1	19	11
2	46	11
3	86	11
4	117	11
5	158	11
6	245	11
7	427	11
8	502	11
9	596	11
10	677	11
11	697	11
12	755	11
13	864	11
14	960	11
15	1026	11
done	1026	11
0	12	14
1	35	14
2	124	14
3	512	14
4	1918	14
done	5000	14
0	13	32
1	39	27
2	137	27
3	531	26
4	2841	26
done	5000	26
0	5	5
1	10	5
2	12	5
done	12	5
0	11	21
1	34	21
2	122	21
3	438	21
4	2107	21
done	5001	21
0	9	10
1	17	10
2	40	10
3	69	10
4	76	10
5	94	10
done	94	10
0	11	14
1	22	14
2	55	13
3	124	13
4	264	13
5	407	13
6	682	13
7	1314	13
8	1617	13
9	1722	13
10	1862	13
11	2076	13
12	2449	13
done	2449	13
0	10	11
1	19	11
2	46	11
3	86	11
4	119	11
5	160	11
6	246	11
7	428	11
8	503	11
9	598	11
10	679	11
11	699	11
12	757	11
13	866	11
14	964	11
15	1028	11
done	1028	11
0	9	10
1	20	9
2	47	7
3	84	5
4	165	5
5	226	5
6	274	5
7	302	5
8	337	5
9	361	5
done	361	5
0	11	14
1	22	14
2	55	13
3	124	13
4	264	13
5	407	13
6	682	13
7	1314	13
8	1617	13
9	1722	13
10	1862	13
11	2076	13
12	2449	13
done	2449	13
0	10	11
1	19	11
2	46	11
3	86	11
4	119	11
5	160	11
6	246	11
7	428	11
8	503	11
9	598	11
10	679	11
11	699	11
12	757	11
13	866	11
14	964	11
15	1028	11
done	1028	11
0	9	10
1	20	9
2	47	7
3	84	5
4	165	5
5	226	5
6	274	5
7	302	5
8	337	5
9	361	5
done	361	5
0	5	6
1	8	6
2	15	6
3	18	6
4	22	6
5	29	6
6	30	6
done	30	6
0	5	5
1	10	5
2	12	5
done	12	5
0	20	21
1	38	20
2	99	17
3	306	16
4	1443	16
done	5000	16
0	19	20
1	38	19
2	94	16
3	288	16
4	1343	16
done	5001	16
0	18	19
1	37	18
2	95	16
3	284	16
4	1290	16
done	5000	16
0	17	18
1	37	17
2	108	17
3	316	16
4	1216	16
done	5001	16
0	16	17
1	31	17
2	84	17
3	225	17
4	610	17
5	1571	17
6	3186	17
done	5000	17
0	16	17
1	34	17
2	102	17
3	323	16
4	1067	16
5	4111	16
done	5000	16
0	17	35
1	32	35
2	85	35
3	226	35
4	617	35
5	1598	35
6	3207	35
done	5000	35
0	16	17
1	31	17
2	84	17
3	225	17
4	610	17
5	1571	17
6	3186	17
done	5000	17
0	17	50
1	45	50
2	170	18
3	1261	18
done	5002	18
0	16	17
1	31	17
2	84	17
3	225	17
4	610	17
5	1571	17
6	3186	17
done	5000	17
0	16	17
1	31	17
2	84	17
3	225	17
4	610	17
5	1571	17
6	3186	17
done	5000	17
0	32	69
1	103	62
2	375	62
3	1941	61
done	5000	61
0	21	44
1	61	37
2	230	37
3	1243	36
done	5001	36
0	28	61
1	87	56
2	324	56
3	1750	55
done	5001	55
0	17	36
1	51	31
2	192	31
3	906	30
done	5001	30
0	28	54
1	85	52
2	300	52
3	1693	41
done	5001	41
0	17	22
1	39	20
2	133	20
3	695	20
4	2737	20
done	5001	20
0	23	46
1	65	46
2	242	46
3	1417	35
done	5000	31
0	13	14
1	29	14
2	95	14
3	332	14
4	1015	14
5	4351	14
done	5000	14
0	18	20
1	47	20
2	143	20
3	650	20
4	4144	20
done	5000	20
0	19	50
1	48	44
2	171	44
3	959	39
done	5000	39
0	17	33
1	41	33
2	141	33
3	691	33
4	4193	33
done	5000	33
0	15	16
1	31	16
2	91	16
3	256	16
4	698	16
5	1815	16
6	3809	16
done	5000	16
0	11	11
1	20	11
2	30	10
3	41	10
4	55	10
5	63	10
6	75	10
7	109	10
8	165	10
9	225	10
10	233	10
11	234	10
done	234	10
0	11	12
1	20	12
2	43	12
3	79	12
4	160	12
5	281	12
6	388	12
7	527	12
8	663	12
9	729	12
10	838	12
11	934	12
12	998	12
done	998	12
0	11	11
1	20	11
2	30	10
3	41	10
4	55	10
5	63	10
6	75	10
7	109	10
8	165	10
9	225	10
10	233	10
11	234	10
done	234	10
0	10	10
1	16	10
2	30	10
3	52	10
4	83	10
5	96	10
6	109	10
7	130	10
8	172	10
9	212	10
10	213	10
done	213	10
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	9	17
1	18	17
2	56	9
3	180	9
4	619	7
5	2374	7
done	5000	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	285	7
4	864	7
5	2739	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	9
1	12	9
2	21	9
3	38	9
4	50	9
5	58	9
done	58	9
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	308	9
5	980	9
6	4487	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	969	4
7	2269	4
done	5000	4
0	13	15
1	28	14
2	69	12
3	190	10
4	455	10
5	757	10
6	1005	10
7	1193	10
8	1322	10
9	1477	10
10	1690	10
11	1813	10
12	1886	10
done	1886	10
0	14	17
1	32	15
2	79	13
3	199	10
4	354	10
5	625	10
6	978	10
7	1190	10
8	1329	10
9	1505	10
10	1617	10
11	1789	10
done	1789	10
0	14	17
1	29	17
2	76	17
3	197	17
4	408	15
5	1020	15
6	2193	10
done	5001	10
0	13	15
1	28	14
2	69	12
3	190	10
4	455	10
5	757	10
6	1005	10
7	1193	10
8	1322	10
9	1477	10
10	1690	10
11	1813	10
12	1886	10
done	1886	10
0	17	21
1	37	19
2	81	17
3	218	12
4	468	12
5	843	12
6	1179	12
7	1577	12
8	1840	12
9	1914	12
10	1920	12
done	1920	12
0	17	21
1	34	21
2	76	21
3	212	19
4	487	17
5	1378	17
6	3468	12
done	5000	12
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune178.0ms

Filtered

77 candidates to 102 candidates (-32.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	95	7	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	7	103

Merged error: 0b

Counts

103 → 7

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (+ (* (- 1 (log t)) z) y))
0.0b	(+ (+ x (+ (* (- 1 (log t)) z) y)) (* (- a 0.5) b))
0.0b	(+ (* (- 1 (log t)) z) y)
0.3b	(* (- 1 (log t)) z)

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
12×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
10×	`sum-log`
7×	`pow1` `associate-l`
6×	`add-exp-log` `add-cube-cbrt` `associate-*l/` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`frac-add`
3×	`+-commutative` `flip3--` `associate-r` `flip--`
2×	`distribute-lft-out--` `difference-of-squares`
1×	`associate-+l+` `associate-+r+` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

4 → 67

Calls

4 calls:

9.0ms	(+ x (+ (* (- 1 (log t)) z) y))
14.0ms	(+ (+ x (+ (* (- 1 (log t)) z) y)) (* (- a 0.5) b))
8.0ms	(+ (* (- 1 (log t)) z) y)
8.0ms	(* (- 1 (log t)) z)

series110.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(+ x (+ (* (- 1 (log t)) z) y))
54.0ms	(+ (+ x (+ (* (- 1 (log t)) z) y)) (* (- a 0.5) b))
20.0ms	(+ (* (- 1 (log t)) z) y)
18.0ms	(* (- 1 (log t)) z)

simplify2.9min

Counts

79 → 79

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	8	8
1	13	8
2	14	8
done	14	8
0	7	7
1	15	7
2	23	7
3	28	7
4	32	7
done	32	7
0	7	7
1	14	7
2	32	7
3	50	5
4	90	5
5	170	5
6	359	5
7	911	5
8	3131	5
done	5001	5
0	10	20
1	21	20
2	59	10
3	184	10
4	639	8
5	2676	8
done	5000	8
0	8	15
1	13	15
2	20	15
3	25	15
4	29	15
done	29	15
0	7	7
1	12	7
2	19	7
3	24	7
4	28	7
done	28	7
0	8	20
1	23	20
2	77	8
3	288	8
4	836	8
5	2705	8
done	5001	8
0	7	7
1	12	7
2	19	7
3	24	7
4	28	7
done	28	7
0	7	7
1	12	7
2	19	7
3	24	7
4	28	7
done	28	7
0	8	8
1	13	8
2	14	8
done	14	8
0	8	8
1	13	8
2	14	8
done	14	8
0	8	10
1	15	10
2	24	10
3	41	10
4	99	10
5	164	10
6	204	10
done	204	10
0	7	7
1	12	7
2	19	7
3	24	7
4	49	7
5	91	7
6	107	7
done	107	7
0	5	6
1	10	4
2	18	4
3	27	4
4	36	4
5	42	4
done	42	4
0	7	7
1	12	7
2	13	7
done	13	7
0	7	7
1	12	7
2	13	7
done	13	7
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	8	8
1	13	7
2	20	7
3	25	7
4	29	7
done	29	7
0	7	7
1	12	7
2	19	7
3	24	7
4	28	7
done	28	7
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	6	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	9	10
1	27	8
2	51	8
3	103	8
4	217	8
5	511	8
6	1719	8
done	5000	8
0	8	11
1	16	9
2	33	9
3	75	9
4	150	9
5	352	9
6	594	9
7	1140	9
8	4219	9
done	5001	9
0	10	10
1	20	9
2	39	9
3	65	8
4	130	8
5	266	8
6	600	8
7	1760	8
done	5000	8
0	9	9
1	15	9
2	22	9
3	31	9
4	40	9
5	43	9
6	49	9
7	57	9
8	70	9
9	83	9
10	92	9
11	101	9
12	121	9
13	134	9
14	139	9
15	154	9
16	190	9
17	255	9
18	353	9
19	421	9
done	421	9
0	9	9
1	18	9
2	30	9
3	54	9
4	100	8
5	193	8
6	415	8
7	1112	8
8	4018	8
done	5000	8
0	10	19
1	16	19
2	23	19
3	32	19
4	41	19
5	44	19
6	50	19
7	58	19
8	71	19
9	84	19
10	93	19
11	102	19
12	122	19
13	135	19
14	140	19
15	155	19
16	191	19
17	256	19
18	350	19
19	414	19
done	414	19
0	9	9
1	15	9
2	22	9
3	31	9
4	40	9
5	43	9
6	49	9
7	57	9
8	70	9
9	83	9
10	92	9
11	101	9
12	121	9
13	134	9
14	139	9
15	154	9
16	190	9
17	255	9
18	353	9
19	421	9
done	421	9
0	10	26
1	29	26
2	84	10
3	314	10
4	1320	10
done	5000	10
0	9	9
1	15	9
2	22	9
3	31	9
4	40	9
5	43	9
6	49	9
7	57	9
8	70	9
9	83	9
10	92	9
11	101	9
12	121	9
13	134	9
14	139	9
15	154	9
16	190	9
17	255	9
18	353	9
19	421	9
done	421	9
0	9	9
1	15	9
2	22	9
3	31	9
4	40	9
5	43	9
6	49	9
7	57	9
8	70	9
9	83	9
10	92	9
11	101	9
12	121	9
13	134	9
14	139	9
15	154	9
16	190	9
17	255	9
18	353	9
19	421	9
done	421	9
0	11	12
1	33	12
2	78	12
3	238	12
4	701	12
5	2307	12
done	5001	12
0	12	26
1	34	24
2	89	24
3	260	19
4	794	19
5	2479	19
done	5000	19
0	10	17
1	27	17
2	64	17
3	174	17
4	518	17
5	1590	17
done	5000	17
0	8	8
1	15	8
2	23	8
3	34	8
4	48	8
5	56	8
6	67	8
7	86	8
8	116	8
9	129	8
10	140	8
11	161	8
12	198	8
13	263	8
14	361	8
15	425	8
done	425	8
0	20	20
1	41	19
2	104	18
3	240	17
4	806	16
5	3786	16
done	5000	16
0	19	19
1	39	18
2	92	17
3	211	17
4	681	16
5	2910	16
done	5001	16
0	18	18
1	38	17
2	87	17
3	208	17
4	636	17
5	2240	16
done	5000	16
0	17	17
1	32	17
2	65	17
3	137	17
4	344	17
5	855	17
6	1737	17
7	3774	17
done	5001	17
0	17	17
1	35	17
2	82	17
3	205	17
4	581	17
5	1791	17
done	5000	17
0	18	35
1	33	35
2	66	35
3	140	35
4	349	35
5	853	35
6	1721	35
7	3757	35
done	5001	35
0	17	17
1	32	17
2	65	17
3	137	17
4	344	17
5	855	17
6	1737	17
7	3774	17
done	5001	17
0	18	50
1	46	50
2	175	18
3	1141	18
done	5001	18
0	17	17
1	32	17
2	65	17
3	137	17
4	344	17
5	855	17
6	1737	17
7	3774	17
done	5001	17
0	17	17
1	32	17
2	65	17
3	137	17
4	344	17
5	855	17
6	1737	17
7	3774	17
done	5001	17
0	33	69
1	100	58
2	294	58
3	1205	58
done	5001	58
0	22	44
1	62	33
2	184	33
3	735	33
4	4367	33
done	5000	33
0	29	61
1	84	52
2	243	52
3	1010	52
done	5000	48
0	18	36
1	52	27
2	146	27
3	521	27
4	2656	27
done	5001	27
0	29	54
1	81	52
2	247	52
3	1175	41
done	5002	41
0	18	22
1	42	20
2	105	20
3	342	20
4	1185	20
done	5000	20
0	24	46
1	61	46
2	188	46
3	884	35
4	4716	31
done	5000	31
0	14	14
1	32	14
2	67	14
3	162	14
4	504	14
5	1748	14
done	5001	14
0	19	20
1	48	20
2	134	20
3	502	20
4	2406	20
done	5000	20
0	20	50
1	55	44
2	198	44
3	873	39
done	5001	39
0	18	33
1	48	33
2	163	33
3	631	33
4	3558	33
done	5000	33
0	16	16
1	32	16
2	72	16
3	162	16
4	453	16
5	1232	16
6	3039	16
done	5000	16
0	14	14
1	26	14
2	46	14
3	80	14
4	160	14
5	299	14
6	524	14
7	1084	14
8	1958	14
9	2271	14
10	2511	14
11	2609	14
12	2671	14
done	2671	14
0	13	13
1	26	12
2	57	11
3	102	10
4	234	10
5	531	10
6	1303	10
7	4155	10
done	5000	10
0	12	12
1	24	11
2	45	11
3	85	11
4	179	10
5	383	10
6	867	10
7	2611	10
done	5001	10
0	11	11
1	20	11
2	33	11
3	52	11
4	79	11
5	96	11
6	124	11
7	176	11
8	289	11
9	375	11
10	444	11
11	522	11
12	599	11
13	619	11
14	677	11
15	786	11
16	880	11
17	944	11
done	944	11
0	11	11
1	23	11
2	43	11
3	80	11
4	153	11
5	284	10
6	579	10
7	1684	10
done	5001	10
0	12	23
1	21	23
2	34	23
3	53	23
4	80	23
5	97	23
6	125	23
7	177	23
8	290	23
9	376	23
10	445	23
11	527	23
12	602	23
13	622	23
14	680	23
15	789	23
16	887	23
17	951	23
done	951	23
0	11	11
1	20	11
2	33	11
3	52	11
4	79	11
5	96	11
6	124	11
7	176	11
8	289	11
9	375	11
10	444	11
11	522	11
12	599	11
13	619	11
14	677	11
15	786	11
16	880	11
17	944	11
done	944	11
0	12	32
1	34	32
2	115	12
3	488	12
4	3224	12
done	5000	12
0	11	11
1	20	11
2	33	11
3	52	11
4	79	11
5	96	11
6	124	11
7	176	11
8	289	11
9	375	11
10	444	11
11	522	11
12	599	11
13	619	11
14	677	11
15	786	11
16	880	11
17	944	11
done	944	11
0	11	11
1	20	11
2	33	11
3	52	11
4	79	11
5	96	11
6	124	11
7	176	11
8	289	11
9	375	11
10	444	11
11	522	11
12	599	11
13	619	11
14	677	11
15	786	11
16	880	11
17	944	11
done	944	11
0	13	14
1	33	14
2	65	14
3	159	14
4	572	14
5	3048	14
done	5000	14
0	14	32
1	40	23
2	109	23
3	366	23
4	1542	23
done	5000	23
0	12	21
1	29	21
2	77	21
3	258	21
4	1048	21
done	5000	21
0	10	10
1	20	10
2	36	10
3	68	10
4	139	10
5	278	10
6	433	10
7	668	10
8	793	10
9	808	10
done	808	10
0	10	10
1	19	10
2	32	10
3	51	10
4	78	10
5	95	10
6	123	10
7	175	10
8	287	10
9	371	10
10	440	10
11	518	10
12	595	10
13	615	10
14	673	10
15	782	10
16	878	10
17	940	10
done	940	10
0	8	8
1	14	8
2	21	8
3	30	8
4	39	8
5	42	8
6	48	8
7	56	8
8	69	8
9	82	8
10	91	8
11	100	8
12	120	8
13	133	8
14	138	8
15	153	8
16	189	8
17	254	8
18	350	8
19	412	8
done	412	8
0	8	9
1	16	8
2	31	6
3	65	6
4	85	6
5	123	6
6	182	6
7	221	6
8	265	6
9	351	6
10	391	6
11	477	6
12	552	6
13	558	6
done	558	6
0	9	11
1	20	7
2	50	6
3	82	6
4	122	6
5	154	6
6	208	6
7	278	6
8	319	6
9	386	6
10	406	6
11	491	6
12	577	6
13	590	6
done	590	6
0	10	11
1	20	11
2	47	11
3	109	11
4	244	11
5	432	6
6	905	6
7	2981	6
done	5001	6
0	11	13
1	23	12
2	49	10
3	98	8
4	196	8
5	320	8
6	422	8
7	499	8
8	588	8
9	699	8
10	846	8
11	973	8
12	1044	8
done	1044	8
0	12	15
1	27	13
2	60	11
3	114	8
4	189	8
5	320	8
6	463	8
7	590	8
8	774	8
9	842	8
10	877	8
done	877	8
0	12	15
1	24	15
2	55	15
3	111	13
4	209	13
5	507	10
6	964	8
7	3797	8
done	5001	8
0	13	15
1	30	12
2	73	10
3	189	10
4	471	10
5	718	10
6	980	10
7	1175	10
8	1309	10
9	1513	10
10	1705	10
11	1889	10
done	1889	10
0	8	9
1	15	9
2	30	7
3	38	7
4	45	7
5	56	7
6	79	7
7	106	7
8	135	7
9	149	7
10	170	7
11	193	7
12	194	7
done	194	7
0	8	9
1	15	9
2	30	7
3	38	7
4	45	7
5	56	7
6	79	7
7	106	7
8	135	7
9	149	7
10	170	7
11	193	7
12	194	7
done	194	7
0	13	15
1	30	12
2	73	10
3	189	10
4	471	10
5	718	10
6	980	10
7	1175	10
8	1309	10
9	1513	10
10	1705	10
11	1889	10
done	1889	10
0	14	17
1	32	15
2	79	13
3	199	10
4	354	10
5	625	10
6	978	10
7	1190	10
8	1329	10
9	1505	10
10	1617	10
11	1789	10
done	1789	10
0	14	17
1	29	17
2	76	17
3	197	17
4	408	15
5	1020	15
6	2193	10
done	5001	10

prune154.0ms

Filtered

64 candidates to 79 candidates (-23.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	79	7	86

Merged error: 0b

Counts

86 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x y) (+ (- z (* z (log t))) (* (- a 0.5) b)))
0.0b	(+ (- z (* z (log t))) (* (- a 0.5) b))
0.2b	(- z (* z (log t)))
0.3b	(* z (log t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-log-exp`
24×	`frac-add`
15×	`*-un-lft-identity` `sum-log`
13×	`flip3--` `flip--`
12×	`add-sqr-sqrt` `log-prod` `associate-*l/`
10×	`add-cube-cbrt` `flip3-+` `flip-+`
7×	`pow1`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `add-cbrt-cube` `associate--r+`
4×	`diff-log` `associate-r`
3×	`associate-+l+` `associate-l` `distribute-lft-out`
2×	`+-commutative` `associate-+l-` `sub-neg`
1×	`associate-+r-` `associate-+r+` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 95

Calls

4 calls:

13.0ms	(+ (+ x y) (+ (- z (* z (log t))) (* (- a 0.5) b)))
7.0ms	(+ (- z (* z (log t))) (* (- a 0.5) b))
4.0ms	(- z (* z (log t)))
5.0ms	(* z (log t))

series89.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(+ (+ x y) (+ (- z (* z (log t))) (* (- a 0.5) b)))
21.0ms	(+ (- z (* z (log t))) (* (- a 0.5) b))
9.0ms	(- z (* z (log t)))
8.0ms	(* z (log t))

simplify3.9min

Counts

107 → 107

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	15	3
3	25	3
4	48	3
5	104	3
6	245	3
7	707	3
8	2686	3
done	5000	3
0	8	14
1	15	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	1
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	7	8
1	11	7
2	20	6
3	41	6
4	81	6
5	186	6
6	519	6
7	1834	5
done	5001	5
0	6	7
1	9	7
2	16	7
3	19	7
4	26	7
5	34	7
6	35	7
done	35	7
0	6	7
1	12	7
2	25	6
3	45	6
4	86	6
5	205	6
6	598	5
7	2198	5
done	5000	5
0	7	15
1	10	15
2	17	15
3	20	15
4	24	15
5	31	15
6	32	15
done	32	15
0	6	7
1	9	7
2	16	7
3	19	7
4	23	7
5	30	7
6	31	7
done	31	7
0	7	20
1	11	20
2	32	8
3	106	8
4	397	8
5	1607	8
done	5000	8
0	6	7
1	9	7
2	16	7
3	19	7
4	23	7
5	30	7
6	31	7
done	31	7
0	6	7
1	9	7
2	16	7
3	19	7
4	23	7
5	30	7
6	31	7
done	31	7
0	8	10
1	26	10
2	82	10
3	292	10
4	865	10
5	2803	10
done	5000	10
0	9	20
1	23	15
2	58	15
3	95	13
4	137	13
5	207	13
6	244	13
7	274	13
8	282	13
done	282	13
0	5	5
1	10	5
2	12	5
done	12	5
0	7	13
1	19	13
2	54	11
3	123	11
4	188	11
5	415	11
6	759	11
7	1639	11
8	4469	11
done	5001	11
0	5	6
1	7	6
2	10	6
3	14	6
4	20	6
done	20	6
0	7	10
1	12	10
2	25	9
3	51	9
4	90	9
5	114	9
6	139	9
7	180	9
8	281	9
9	331	9
10	374	9
11	455	9
12	672	9
13	717	9
done	717	9
0	6	7
1	9	7
2	16	7
3	19	7
4	23	7
5	30	7
6	31	7
done	31	7
0	5	6
1	10	5
2	17	3
done	17	1
0	7	10
1	12	10
2	25	9
3	51	9
4	90	9
5	114	9
6	139	9
7	180	9
8	281	9
9	331	9
10	374	9
11	455	9
12	672	9
13	717	9
done	717	9
0	6	7
1	9	7
2	16	7
3	19	7
4	23	7
5	30	7
6	31	7
done	31	7
0	5	6
1	10	5
2	17	3
done	17	1
0	5	5
1	10	5
2	12	5
done	12	5
0	14	15
1	26	14
2	61	12
3	135	12
4	411	12
5	1789	12
done	5001	12
0	13	14
1	27	13
2	67	13
3	144	12
4	394	12
5	1569	12
done	5000	12
0	12	13
1	21	13
2	44	13
3	80	13
4	161	13
5	280	13
6	387	13
7	526	13
8	662	13
9	728	13
10	837	13
11	935	13
12	999	13
done	999	13
0	12	13
1	24	13
2	59	13
3	141	12
4	344	12
5	1068	12
done	5001	12
0	13	27
1	22	27
2	45	27
3	81	27
4	162	27
5	282	27
6	389	27
7	528	27
8	666	27
9	732	27
10	841	27
11	939	27
12	1003	27
done	1003	27
0	12	13
1	21	13
2	44	13
3	80	13
4	161	13
5	280	13
6	387	13
7	526	13
8	662	13
9	728	13
10	837	13
11	935	13
12	999	13
done	999	13
0	13	38
1	35	38
2	118	14
3	617	14
4	4654	14
done	5000	14
0	12	13
1	21	13
2	44	13
3	80	13
4	161	13
5	280	13
6	387	13
7	526	13
8	662	13
9	728	13
10	837	13
11	935	13
12	999	13
done	999	13
0	12	13
1	21	13
2	44	13
3	80	13
4	161	13
5	280	13
6	387	13
7	526	13
8	662	13
9	728	13
10	837	13
11	935	13
12	999	13
done	999	13
0	28	53
1	86	46
2	277	46
3	1214	44
done	5000	44
0	17	32
1	45	25
2	151	25
3	630	23
4	2570	23
done	5000	23
0	24	45
1	70	40
2	226	40
3	1025	38
done	5000	34
0	13	24
1	35	19
2	113	19
3	352	17
4	992	17
5	2576	17
6	4729	17
done	5000	17
0	24	42
1	68	40
2	213	38
3	942	33
4	4713	33
done	5000	33
0	13	18
1	29	16
2	85	16
3	261	16
4	729	16
5	2013	16
6	3378	16
7	4408	16
8	4621	16
done	4621	16
0	19	34
1	48	34
2	155	32
3	657	27
4	2711	23
done	5000	23
0	9	10
1	19	10
2	47	10
3	98	10
4	203	10
5	369	10
6	404	10
7	547	10
8	579	10
done	579	10
0	14	16
1	37	16
2	101	16
3	330	16
4	1148	16
5	4069	16
done	5000	16
0	15	38
1	38	32
2	127	32
3	477	31
4	1799	31
done	5000	31
0	13	25
1	31	25
2	101	25
3	351	25
4	1272	25
5	4713	25
done	5000	25
0	11	12
1	21	12
2	51	12
3	98	12
4	208	12
5	332	12
6	473	12
7	654	12
8	696	12
9	754	12
10	863	12
11	957	12
12	1019	12
done	1019	12
0	11	11
1	20	11
2	30	10
3	41	10
4	55	10
5	63	10
6	75	10
7	109	10
8	165	10
9	225	10
10	233	10
11	234	10
done	234	10
0	11	11
1	20	11
2	30	10
3	41	10
4	55	10
5	63	10
6	75	10
7	109	10
8	165	10
9	225	10
10	233	10
11	234	10
done	234	10
0	10	10
1	16	10
2	30	10
3	52	10
4	83	10
5	96	10
6	109	10
7	130	10
8	172	10
9	212	10
10	213	10
done	213	10
0	20	21
1	40	19
2	105	17
3	305	16
4	1273	16
done	5001	16
0	19	20
1	41	18
2	111	17
3	303	17
4	1174	16
done	5001	16
0	18	19
1	36	18
2	90	17
3	265	17
4	971	16
5	4142	16
done	5000	16
0	19	20
1	38	19
2	94	17
3	271	16
4	1166	16
done	5001	16
0	18	19
1	39	18
2	100	17
3	275	17
4	1081	16
done	5000	16
0	17	18
1	36	17
2	91	17
3	286	17
4	1005	16
5	4022	16
done	5000	16
0	16	17
1	31	17
2	81	17
3	245	17
4	698	17
5	1925	17
6	4342	17
done	5000	17
0	16	17
1	34	17
2	100	17
3	329	17
4	1093	16
5	3419	16
done	5000	16
0	17	35
1	32	35
2	82	35
3	244	35
4	690	35
5	1898	35
6	4320	35
done	5000	35
0	16	17
1	31	17
2	81	17
3	245	17
4	698	17
5	1925	17
6	4342	17
done	5000	17
0	17	50
1	45	50
2	199	18
3	1378	18
done	5001	18
0	16	17
1	31	17
2	81	17
3	245	17
4	698	17
5	1925	17
6	4342	17
done	5000	17
0	16	17
1	31	17
2	81	17
3	245	17
4	698	17
5	1925	17
6	4342	17
done	5000	17
0	42	106
1	135	90
2	513	90
3	3003	82
done	5001	82
0	25	44
1	64	35
2	233	35
3	1259	33
done	5000	33
0	38	90
1	119	78
2	435	78
3	2352	70
done	5001	70
0	21	36
1	54	29
2	189	29
3	852	27
done	5000	27
0	38	81
1	117	75
2	422	73
3	2274	68
done	5000	68
0	21	30
1	48	26
2	161	26
3	726	26
4	4185	26
done	5000	26
0	34	65
1	101	63
2	344	61
3	1694	56
done	5001	56
0	17	22
1	38	20
2	117	20
3	446	20
4	2209	20
done	5000	20
0	32	75
1	102	67
2	353	67
3	1840	66
done	5001	66
0	23	50
1	61	42
2	204	42
3	948	41
done	5000	41
0	28	58
1	72	56
2	212	56
3	886	43
done	5000	43
0	19	24
1	38	22
2	97	22
3	290	22
4	1309	22
done	5000	22
0	38	98
1	120	84
2	486	84
3	2961	70
done	5001	70
0	21	36
1	54	29
2	207	29
3	1098	27
done	5000	27
0	34	82
1	104	72
2	408	72
3	2301	58
done	5000	58
0	17	28
1	44	23
2	163	23
3	694	21
4	2983	21
done	5000	21
0	34	73
1	102	69
2	395	67
3	2192	58
done	5001	58
0	17	22
1	38	20
2	135	20
3	588	20
4	2435	20
done	5001	20
0	29	57
1	82	57
2	310	55
3	1589	46
done	5000	46
0	13	14
1	28	14
2	91	14
3	312	14
4	1012	14
5	3378	14
done	5001	14
0	28	67
1	87	61
2	328	61
3	1754	56
done	5001	56
0	19	42
1	51	36
2	174	36
3	774	35
4	3730	35
done	5000	35
0	23	50
1	53	50
2	181	50
3	835	37
4	4847	33
done	5000	33
0	15	16
1	28	16
2	71	16
3	204	16
4	658	16
5	2045	16
done	5000	16
0	18	20
1	42	20
2	106	20
3	339	20
4	1904	20
done	5000	20
0	19	50
1	55	37
2	201	37
3	1019	37
done	5000	37
0	17	33
1	44	33
2	143	33
3	704	33
4	4914	33
done	5000	33
0	15	16
1	31	16
2	81	16
3	218	16
4	693	16
5	1984	16
6	4620	16
done	5000	16
0	15	16
1	30	16
2	80	16
3	246	16
4	695	16
5	1920	16
6	4352	16
done	5000	16
0	15	16
1	30	16
2	80	16
3	246	16
4	695	16
5	1920	16
6	4352	16
done	5000	16
0	9	10
1	18	10
2	43	10
3	83	10
4	118	10
5	176	10
6	323	10
7	413	10
8	542	10
9	637	10
10	660	10
11	718	10
12	827	10
13	927	10
14	995	10
done	995	10
0	13	14
1	25	14
2	60	14
3	143	14
4	339	14
5	765	14
6	1210	14
7	1877	14
8	2311	14
9	2447	14
10	2644	14
11	2740	14
12	2804	14
done	2804	14
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	8	9
1	13	9
2	24	9
3	43	6
4	67	4
5	188	4
6	969	4
7	2269	4
done	5000	4
0	8	9
1	16	8
2	31	6
3	65	6
4	85	6
5	123	6
6	182	6
7	221	6
8	265	6
9	351	6
10	391	6
11	477	6
12	552	6
13	558	6
done	558	6
0	9	11
1	20	7
2	50	6
3	82	6
4	122	6
5	154	6
6	208	6
7	278	6
8	319	6
9	386	6
10	406	6
11	491	6
12	577	6
13	590	6
done	590	6
0	11	13
1	25	12
2	66	12
3	177	9
4	460	7
5	1400	6
done	5000	6
0	13	15
1	26	14
2	50	12
3	95	10
4	206	10
5	296	10
6	435	10
7	529	10
8	606	10
9	722	10
10	874	10
11	996	10
12	1064	10
done	1064	10
0	17	21
1	37	19
2	81	17
3	218	12
4	468	12
5	843	12
6	1179	12
7	1577	12
8	1840	12
9	1914	12
10	1920	12
done	1920	12
0	17	21
1	34	21
2	76	21
3	212	19
4	487	17
5	1378	17
6	3468	12
done	5000	12
0	13	15
1	28	14
2	69	12
3	190	10
4	455	10
5	757	10
6	1005	10
7	1193	10
8	1322	10
9	1477	10
10	1690	10
11	1813	10
12	1886	10
done	1886	10
0	17	21
1	37	19
2	81	17
3	218	12
4	468	12
5	843	12
6	1179	12
7	1577	12
8	1840	12
9	1914	12
10	1920	12
done	1920	12
0	17	21
1	34	21
2	76	21
3	212	19
4	487	17
5	1378	17
6	3468	12
done	5000	12

prune178.0ms

Filtered

89 candidates to 107 candidates (-20.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	107	7	114

Merged error: 0b

Counts

114 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* z (log (cbrt t)))
0.3b	(+ (* (* 2 (log (cbrt t))) z) (* z (log (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

24×	`log-prod`
18×	`cbrt-prod` `add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`associate-r`
3×	`pow1/3` `associate-l`
2×	`log-pow`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

6.0ms	(* z (log (cbrt t)))
9.0ms	(+ (* (* 2 (log (cbrt t))) z) (* z (log (cbrt t))))
1.0ms	(cbrt t)
2.0ms	(cbrt t)

series106.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* z (log (cbrt t)))
33.0ms	(+ (* (* 2 (log (cbrt t))) z) (* z (log (cbrt t))))
25.0ms	(cbrt t)
25.0ms	(cbrt t)

simplify1.1min

Counts

89 → 89

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
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	11	15
1	22	14
2	51	8
3	113	8
4	284	6
5	965	6
6	4857	3
done	5000	3
0	10	14
1	15	14
2	29	8
3	48	8
4	62	8
5	68	8
done	68	8
0	10	14
1	18	14
2	43	8
3	83	8
4	207	6
5	636	6
6	2268	3
done	5000	3
0	11	29
1	16	29
2	30	17
3	43	17
4	48	17
done	48	17
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	11	41
1	29	41
2	108	9
3	514	9
4	2346	9
done	5000	9
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	10	14
1	15	14
2	29	8
3	42	8
4	47	8
done	47	8
0	12	17
1	34	17
2	118	17
3	491	9
4	1713	9
5	4206	9
done	5001	9
0	13	41
1	42	35
2	133	31
3	419	23
4	1045	13
5	3415	13
done	5001	13
0	11	27
1	33	27
2	115	19
3	326	17
4	624	15
5	1251	15
6	2015	13
7	3873	13
done	5000	13
0	9	13
1	15	13
2	30	11
3	40	9
4	44	9
done	44	9
0	12	17
1	18	17
2	28	15
3	30	15
done	30	15
0	12	14
1	18	14
2	28	12
3	30	12
done	30	12
0	12	13
1	20	12
2	30	10
3	32	10
done	32	10
0	12	18
1	20	18
2	35	14
3	54	12
4	72	12
5	78	12
6	87	12
7	101	12
8	110	12
done	110	12
0	11	14
1	17	14
2	27	12
3	29	12
done	29	12
0	11	12
1	19	11
2	29	9
3	31	7
4	36	7
done	36	7
0	12	17
1	20	15
2	28	15
done	28	15
0	12	14
1	20	12
2	28	12
done	28	12
0	12	13
1	22	10
2	30	10
done	30	10
0	12	18
1	22	16
2	37	14
3	56	12
4	69	12
5	75	12
6	84	12
7	98	12
8	107	12
done	107	12
0	11	14
1	19	12
2	27	12
done	27	12
0	11	12
1	21	9
2	29	7
3	34	7
done	34	7
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	16	4
3	26	4
4	49	4
5	107	4
6	245	4
7	701	4
8	2717	4
done	5001	4
0	9	17
1	16	17
2	41	9
3	78	9
4	138	7
5	268	7
6	671	7
7	2479	7
done	5000	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	7
5	151	7
6	291	7
7	753	7
8	2713	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	8	9
done	8	9
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	7	9
1	8	9
done	8	9
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	4
done	8	4
0	5	5
1	6	5
done	6	5
0	7	10
1	10	10
2	16	8
3	22	8
4	26	8
done	26	8
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	7	3
done	7	1
0	5	5
1	6	5
done	6	5
0	3	3
1	4	3
done	4	3
0	3	3
1	6	1
done	6	1
0	7	11
1	10	11
2	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	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	174	2
6	360	2
7	911	2
8	3082	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	7	7
1	17	6
2	18	4
3	23	4
done	23	4
0	8	9
1	16	7
2	26	4
3	45	4
4	53	4
5	70	4
6	105	4
done	105	4
0	17	18
1	35	17
2	73	15
3	190	15
4	578	13
5	1984	12
done	5000	12
0	9	9
1	22	8
2	43	6
3	53	6
done	53	6
0	10	11
1	21	9
2	43	6
3	85	6
4	114	6
5	181	6
6	233	6
done	233	6
0	15	16
1	30	15
2	56	13
3	137	13
4	386	12
5	1035	10
6	2624	9
done	5000	9

prune117.0ms

Filtered

71 candidates to 89 candidates (-25.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	89	7	96

Merged error: 0b

Counts

96 → 7

regimes1.2s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	16
1	23	16
done	23	16

end0.0ms

sample2.5s

Algorithm

intervals

Results

586.0ms	9141×	body	80	valid
520.0ms	9164×	body	80	nan
0.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample94.0ms

simplify6.5s

prune6.0ms

localize14.0ms

rewrite39.0ms

series77.0ms

simplify2.7min

prune178.0ms

localize15.0ms

rewrite42.0ms

series110.0ms

simplify2.9min

prune154.0ms

localize14.0ms

rewrite34.0ms

series89.0ms

simplify3.9min

prune178.0ms

localize24.0ms

rewrite21.0ms

series106.0ms

simplify1.1min

prune117.0ms

regimes1.2s

bsearch0.0ms

simplify2.0ms

end0.0ms

sample2.5s

Profiling