Details

sample142.0ms

Algorithm

intervals

Results

49.0ms	733×	body	80	nan
12.0ms	176×	body	80	valid
11.0ms	33×	body	640	valid
6.0ms	26×	body	320	valid
4.0ms	7×	body	1280	valid
2.0ms	14×	body	160	valid

simplify152.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	21	13
2	29	13
3	35	13
4	41	13
5	56	13
6	83	13
7	119	13
8	145	13
9	152	13
10	169	13
11	173	13
done	173	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: 9.4b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(* z (log (- 1.0 y)))
0.3b	(* x (log y))
6.0b	(log (- 1.0 y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
21×	`log-prod`
18×	`*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`pow1`
8×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `associate-r`
7×	`add-cbrt-cube`
6×	`associate-l`
3×	`log-pow` `distribute-lft-out--` `add-log-exp` `difference-of-squares`
2×	`log-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`flip3--` `rem-log-exp` `flip--`

Counts

3 → 70

Calls

3 calls:

7.0ms	(* z (log (- 1.0 y)))
5.0ms	(* x (log y))
4.0ms	(log (- 1.0 y))

series20.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* z (log (- 1.0 y)))
8.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

simplify1.1min

Counts

79 → 79

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	81	8
4	172	8
5	521	8
6	2302	8
done	5001	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	3
2	8	3
done	8	3
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
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	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	15	7
done	15	7
0	7	7
1	12	7
2	20	5
3	30	5
4	53	5
5	109	5
6	253	5
7	715	5
8	2712	5
done	5000	5
0	10	20
1	19	20
2	45	10
3	85	10
4	143	8
5	270	8
6	680	8
7	2499	8
done	5001	8
0	8	15
1	11	15
2	12	15
done	12	15
0	7	7
1	10	7
2	11	7
done	11	7
0	8	20
1	21	20
2	51	8
3	94	8
4	108	8
5	154	8
6	289	8
7	744	8
8	2766	8
done	5001	8
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	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	8	12
1	13	12
2	20	9
3	26	9
4	30	9
done	30	9
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	7
1	10	7
2	11	7
done	11	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	10	8
done	10	8
0	8	8
1	11	8
2	12	8
done	12	8
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	10	6
done	10	6
0	8	12
1	13	12
2	20	9
3	26	9
4	30	9
done	30	9
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	7
1	10	7
2	11	7
done	11	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	10	6
done	10	6
0	8	8
1	10	8
done	10	8
0	8	8
1	11	8
2	12	8
done	12	8
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	8	13
1	13	13
2	16	13
done	16	13
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
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	6	6
1	9	6
2	10	6
done	10	6
0	12	16
1	29	16
2	79	16
3	156	16
4	303	16
5	532	14
6	799	14
7	1185	14
8	1630	14
9	3483	14
done	5001	14
0	16	22
1	41	20
2	95	15
3	253	15
4	612	15
5	1558	13
done	5000	13
0	17	21
1	40	20
2	93	15
3	258	15
4	768	14
5	1995	13
done	5001	13
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	974	4
7	2318	4
done	5001	4
0	16	22
1	40	22
2	119	22
3	285	20
4	780	20
5	1790	18
6	2874	16
7	4579	16
done	5000	16
0	20	26
1	47	24
2	99	24
3	240	19
4	602	18
5	1828	17
done	5001	17
0	20	25
1	45	24
2	94	22
3	214	17
4	556	17
5	1741	17
done	5000	17

prune173.0ms

Filtered

60 candidates to 79 candidates (-31.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	71	8	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	72	8	80

Merged error: 0.1b

Counts

80 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (log y)) (* z (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0)))))
0.0b	(* z (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))
0.0b	(* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))
0.3b	(* x (log y))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `log-prod`
18×	`add-cube-cbrt` `*-un-lft-identity`
17×	`distribute-rgt-in` `distribute-lft-in`
12×	`associate--l+`
11×	`pow1`
10×	`add-exp-log` `associate-+r+` `associate-r` `add-cbrt-cube`
9×	`associate-l`
6×	`associate-+l+` `add-log-exp`
4×	`sub-neg` `associate-*r/`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`flip3-+` `flip-+`
1×	`+-commutative` `flip3--` `sum-log` `log-pow` `flip--`

Counts

4 → 104

Calls

4 calls:

7.0ms	(+ (* x (log y)) (* z (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0)))))
7.0ms	(* z (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))
13.0ms	(* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))
5.0ms	(* x (log y))

series72.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(+ (* x (log y)) (* z (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0)))))
19.0ms	(* z (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))
10.0ms	(* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))
8.0ms	(* x (log y))

simplify7.7min

Counts

116 → 116

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	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	10	12
1	29	12
2	60	12
3	101	12
4	151	12
5	208	12
6	238	12
7	302	12
8	519	12
9	1437	12
done	5000	12
0	10	12
1	28	12
2	66	12
3	128	12
4	227	12
5	482	12
6	1225	12
7	4065	12
done	5000	12
0	13	35
1	41	35
2	165	15
3	739	15
4	3799	13
done	5000	13
0	11	25
1	27	25
2	57	25
3	98	25
4	147	25
5	203	25
6	232	25
7	293	25
8	514	25
9	1462	25
done	5000	25
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	35
1	37	35
2	137	13
3	520	13
4	2104	13
done	5000	13
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	8	9
1	17	9
2	46	9
3	87	9
4	136	9
5	191	9
6	219	9
7	276	9
8	483	9
9	1405	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	19	9
2	48	9
3	92	9
4	143	9
5	195	9
6	224	9
7	285	9
8	500	9
9	1415	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	11	23
1	23	23
2	47	23
3	66	23
4	83	23
5	97	23
6	121	23
7	181	23
8	395	23
9	1303	23
done	5000	23
0	10	12
1	20	12
2	42	12
3	61	12
4	78	12
5	92	12
6	114	12
7	178	12
8	390	12
9	1322	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	12	15
1	42	15
2	147	15
3	542	15
4	2597	15
done	5001	15
0	11	21
1	31	21
2	103	21
3	319	19
4	1079	19
5	3003	15
done	5000	15
0	13	16
1	32	16
2	80	16
3	180	16
4	407	16
5	910	16
6	1832	16
7	2899	16
8	3857	16
done	5000	16
0	15	18
1	34	18
2	76	18
3	149	18
4	283	18
5	488	18
6	652	18
7	840	18
8	1321	18
9	2244	18
done	5000	18
0	14	17
1	36	17
2	85	17
3	185	17
4	408	17
5	942	17
6	1893	17
7	2976	17
8	3949	17
done	5000	17
0	14	17
1	35	17
2	88	17
3	214	17
4	535	16
5	1458	16
6	4036	16
done	5000	16
0	17	50
1	42	50
2	127	20
3	440	20
4	2367	18
done	5000	18
0	15	35
1	34	35
2	82	35
3	182	35
4	407	35
5	910	35
6	1852	35
7	2926	35
8	3884	35
done	5000	35
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1908	17
7	2993	17
8	3962	17
done	5001	17
0	15	50
1	44	50
2	139	18
3	490	18
4	2450	18
done	5001	18
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1908	17
7	2993	17
8	3962	17
done	5001	17
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1908	17
7	2993	17
8	3962	17
done	5001	17
0	15	18
1	34	18
2	76	18
3	149	18
4	283	18
5	488	18
6	652	18
7	840	18
8	1321	18
9	2244	18
done	5000	18
0	15	18
1	34	18
2	76	18
3	149	18
4	283	18
5	488	18
6	652	18
7	840	18
8	1321	18
9	2244	18
done	5000	18
0	4	4
1	5	4
done	5	4
0	12	14
1	35	14
2	102	14
3	286	13
4	709	13
5	1477	13
6	2430	13
7	2758	13
8	2987	13
9	3933	13
done	5001	13
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1893	17
7	2983	17
8	3952	17
done	5000	17
0	5	5
1	6	5
done	6	5
0	14	17
1	33	17
2	81	17
3	180	17
4	411	17
5	975	17
6	2095	17
7	3743	17
done	5000	17
0	4	4
1	7	3
done	7	1
0	13	16
1	32	16
2	80	16
3	180	16
4	407	16
5	910	16
6	1832	16
7	2899	16
8	3857	16
done	5000	16
0	4	4
1	5	4
done	5	4
0	12	14
1	35	14
2	102	14
3	286	13
4	709	13
5	1477	13
6	2430	13
7	2758	13
8	2987	13
9	3933	13
done	5001	13
0	4	4
1	5	4
done	5	4
0	12	14
1	35	14
2	96	14
3	248	13
4	581	13
5	1224	13
6	2140	13
7	2658	13
8	2918	13
9	3844	13
done	5000	13
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1899	17
7	2984	17
8	3956	17
done	5001	17
0	5	5
1	6	5
done	6	5
0	14	17
1	33	17
2	81	17
3	180	17
4	411	17
5	974	17
6	2080	17
7	3703	17
done	5001	17
0	4	4
1	7	3
done	7	1
0	13	16
1	32	16
2	80	16
3	180	16
4	407	16
5	914	16
6	1858	16
7	2922	16
8	3882	16
done	5000	16
0	4	4
1	5	4
done	5	4
0	12	14
1	35	14
2	96	14
3	248	13
4	581	13
5	1224	13
6	2140	13
7	2658	13
8	2918	13
9	3844	13
done	5000	13
0	15	33
1	36	33
2	80	33
3	153	33
4	288	33
5	494	33
6	659	33
7	849	33
8	1347	33
9	2272	33
done	5001	33
0	14	17
1	33	17
2	75	17
3	148	17
4	284	17
5	493	17
6	662	17
7	851	17
8	1359	17
9	2289	17
done	5000	17
0	3	3
1	6	1
done	6	1
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1913	17
7	3016	17
8	3986	17
done	5000	17
0	14	17
1	33	17
2	81	17
3	181	17
4	408	17
5	938	17
6	1913	17
7	3016	17
8	3986	17
done	5000	17
0	13	16
1	32	16
2	80	16
3	180	16
4	407	16
5	910	16
6	1832	16
7	2899	16
8	3857	16
done	5000	16
0	16	20
1	50	20
2	152	20
3	639	20
4	3324	20
done	5001	20
0	15	31
1	44	31
2	145	31
3	514	31
4	2190	31
done	5000	31
0	19	23
1	46	22
2	106	21
3	258	21
4	694	20
5	2104	20
done	5001	20
0	18	22
1	39	22
2	87	22
3	191	22
4	420	22
5	969	22
6	1953	22
7	3107	22
8	4193	22
done	5000	22
0	18	22
1	42	22
2	100	21
3	230	21
4	579	20
5	1621	20
done	5000	20
0	19	45
1	40	45
2	88	45
3	192	45
4	425	45
5	954	45
6	1968	45
7	3155	45
8	4254	45
done	5000	45
0	18	22
1	39	22
2	87	22
3	191	22
4	420	22
5	969	22
6	1953	22
7	3107	22
8	4193	22
done	5000	22
0	19	65
1	53	65
2	165	23
3	571	23
4	2736	23
done	5000	23
0	18	22
1	39	22
2	87	22
3	191	22
4	420	22
5	969	22
6	1953	22
7	3107	22
8	4193	22
done	5000	22
0	18	22
1	39	22
2	87	22
3	191	22
4	420	22
5	969	22
6	1953	22
7	3107	22
8	4193	22
done	5000	22
0	20	25
1	59	25
2	174	25
3	496	25
4	1713	25
done	5000	25
0	21	65
1	67	48
2	203	48
3	680	48
4	3019	48
done	5000	48
0	19	43
1	58	43
2	159	43
3	473	43
4	2096	43
done	5000	43
0	17	21
1	39	21
2	94	21
3	211	21
4	533	21
5	1504	21
6	3339	21
done	5001	21
0	9	9
1	12	9
done	12	9
0	11	13
1	16	13
2	22	12
3	32	12
4	36	12
done	36	12
0	10	10
1	13	10
done	13	10
0	9	9
1	14	8
done	14	6
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	11	13
1	16	13
2	22	12
3	32	12
4	36	12
done	36	12
0	10	10
1	13	10
done	13	10
0	9	9
1	14	8
done	14	6
0	9	9
1	12	9
done	12	9
0	18	22
1	39	22
2	87	22
3	191	22
4	421	22
5	971	22
6	1983	22
7	3132	22
8	4219	22
done	5000	22
0	18	22
1	39	22
2	87	22
3	191	22
4	421	22
5	971	22
6	1983	22
7	3132	22
8	4219	22
done	5000	22
0	17	21
1	38	21
2	86	21
3	190	21
4	419	21
5	975	21
6	1985	21
7	3184	21
8	4266	21
done	5000	21
0	18	22
1	39	22
2	87	22
3	191	22
4	421	22
5	964	22
6	1959	22
7	3116	22
8	4193	22
done	5000	22
0	18	22
1	39	22
2	87	22
3	191	22
4	421	22
5	964	22
6	1959	22
7	3116	22
8	4193	22
done	5000	22
0	17	21
1	38	21
2	86	21
3	190	21
4	419	21
5	971	21
6	1964	21
7	3144	21
8	4238	21
done	5000	21
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	974	4
7	2318	4
done	5001	4
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	16	20
1	33	19
2	71	17
3	137	13
4	187	13
5	239	13
6	341	13
7	513	13
8	557	13
9	630	13
10	696	13
done	696	13
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12

prune296.0ms

Filtered

91 candidates to 116 candidates (-27.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	114	10	124

Merged error: 0.1b

Counts

124 → 10

localize23.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x (log y)) (* z (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0)))))
0.0b	(* z (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))
0.3b	(* x (log y))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 85

Calls

3 calls:

7.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0)))))
16.0ms	(* z (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))
5.0ms	(* x (log y))

series62.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0)))))
18.0ms	(* z (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))
8.0ms	(* x (log y))

simplify6.7min

Counts

94 → 94

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	14	18
1	32	16
2	82	16
3	184	16
4	411	16
5	931	16
6	2011	16
7	3457	16
8	4763	16
done	5000	16
0	16	20
1	34	18
2	78	18
3	155	18
4	292	18
5	513	18
6	750	18
7	1085	18
8	1314	18
9	2243	18
done	5001	18
0	15	19
1	36	17
2	87	17
3	189	17
4	417	17
5	941	17
6	2037	17
7	3510	17
8	4933	17
done	5000	17
0	15	19
1	35	17
2	90	17
3	226	17
4	595	16
5	1706	16
done	5001	16
0	18	56
1	42	50
2	129	20
3	477	20
4	2795	18
done	5000	18
0	16	39
1	34	35
2	84	35
3	186	35
4	414	35
5	937	35
6	2002	35
7	3463	35
8	4782	35
done	5001	35
0	15	19
1	33	17
2	83	17
3	185	17
4	413	17
5	963	17
6	2071	17
7	3560	17
8	4997	17
done	5000	17
0	16	56
1	44	50
2	141	18
3	517	18
4	2825	18
done	5001	18
0	15	19
1	33	17
2	83	17
3	185	17
4	413	17
5	963	17
6	2071	17
7	3560	17
8	4997	17
done	5000	17
0	15	19
1	33	17
2	83	17
3	185	17
4	413	17
5	963	17
6	2071	17
7	3560	17
8	4997	17
done	5000	17
0	16	20
1	34	18
2	78	18
3	155	18
4	292	18
5	513	18
6	750	18
7	1085	18
8	1314	18
9	2243	18
done	5001	18
0	16	20
1	34	18
2	78	18
3	155	18
4	292	18
5	513	18
6	750	18
7	1085	18
8	1314	18
9	2243	18
done	5001	18
0	4	4
1	5	4
done	5	4
0	13	16
1	32	14
2	98	14
3	270	13
4	726	13
5	1482	13
6	2455	13
7	2752	13
8	2985	13
9	3929	13
done	5000	13
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	15	19
1	33	17
2	83	17
3	185	17
4	411	17
5	961	17
6	2076	17
7	3562	17
8	4975	17
done	5000	17
0	5	5
1	6	5
done	6	5
0	15	19
1	33	17
2	83	17
3	184	17
4	414	17
5	1004	17
6	2249	17
7	4263	17
done	5001	17
0	4	4
1	7	3
done	7	1
0	14	18
1	32	16
2	82	16
3	184	16
4	411	16
5	931	16
6	2011	16
7	3457	16
8	4763	16
done	5000	16
0	4	4
1	5	4
done	5	4
0	13	16
1	32	14
2	98	14
3	270	13
4	726	13
5	1482	13
6	2455	13
7	2752	13
8	2985	13
9	3929	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	13	16
1	32	14
2	90	14
3	242	13
4	614	13
5	1275	13
6	2208	13
7	2682	13
8	2942	13
9	3880	13
done	5001	13
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	15	19
1	33	17
2	83	17
3	185	17
4	413	17
5	965	17
6	2042	17
7	3514	17
8	4886	17
done	5000	17
0	5	5
1	6	5
done	6	5
0	15	19
1	33	17
2	83	17
3	184	17
4	416	17
5	1004	17
6	2244	17
7	4262	17
done	5001	17
0	4	4
1	7	3
done	7	1
0	14	18
1	32	16
2	82	16
3	184	16
4	412	16
5	932	16
6	2004	16
7	3466	16
8	4794	16
done	5000	16
0	4	4
1	5	4
done	5	4
0	13	16
1	32	14
2	90	14
3	242	13
4	614	13
5	1275	13
6	2208	13
7	2682	13
8	2942	13
9	3880	13
done	5001	13
0	16	37
1	36	33
2	82	33
3	159	33
4	297	33
5	519	33
6	756	33
7	1097	33
8	1323	33
9	2242	33
done	5000	33
0	15	19
1	33	17
2	77	17
3	154	17
4	292	17
5	520	17
6	756	17
7	1085	17
8	1316	17
9	2251	17
done	5000	17
0	3	3
1	6	1
done	6	1
0	16	20
1	37	18
2	69	18
3	110	18
4	158	18
5	213	18
6	241	18
7	304	18
8	509	18
9	1437	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	15	19
1	33	17
2	83	17
3	185	17
4	411	17
5	959	17
6	2069	17
7	3536	17
8	4990	17
done	5000	17
0	15	19
1	33	17
2	83	17
3	185	17
4	411	17
5	959	17
6	2069	17
7	3536	17
8	4990	17
done	5000	17
0	14	18
1	32	16
2	82	16
3	184	16
4	411	16
5	931	16
6	2011	16
7	3457	16
8	4763	16
done	5000	16
0	17	22
1	45	20
2	133	20
3	502	20
4	2686	20
done	5000	20
0	16	35
1	41	31
2	142	31
3	539	31
4	2639	31
done	5000	31
0	20	25
1	46	22
2	108	21
3	270	21
4	760	20
5	2358	20
done	5001	20
0	19	24
1	39	22
2	89	22
3	195	22
4	436	22
5	1011	22
6	2136	22
7	3674	22
done	5000	22
0	19	24
1	42	22
2	102	21
3	239	21
4	620	20
5	1747	20
done	5001	20
0	20	49
1	40	45
2	90	45
3	196	45
4	437	45
5	1004	45
6	2153	45
7	3732	45
done	5001	45
0	19	24
1	39	22
2	89	22
3	195	22
4	436	22
5	1011	22
6	2136	22
7	3674	22
done	5000	22
0	20	71
1	53	65
2	167	23
3	607	23
4	3117	23
done	5000	23
0	19	24
1	39	22
2	89	22
3	195	22
4	436	22
5	1011	22
6	2136	22
7	3674	22
done	5000	22
0	19	24
1	39	22
2	89	22
3	195	22
4	436	22
5	1011	22
6	2136	22
7	3674	22
done	5000	22
0	21	27
1	59	25
2	176	25
3	532	25
4	2188	25
done	5000	25
0	22	71
1	67	48
2	205	48
3	726	48
4	3488	48
done	5001	48
0	20	47
1	58	43
2	161	43
3	505	43
4	2430	43
done	5000	43
0	18	23
1	39	21
2	96	21
3	224	21
4	579	21
5	1575	21
6	3410	21
done	5000	21
0	9	9
1	12	9
done	12	9
0	11	13
1	16	13
2	22	12
3	32	12
4	36	12
done	36	12
0	10	10
1	13	10
done	13	10
0	9	9
1	14	8
done	14	6
0	9	9
1	12	9
done	12	9
0	9	9
1	12	9
done	12	9
0	11	13
1	16	13
2	22	12
3	32	12
4	36	12
done	36	12
0	10	10
1	13	10
done	13	10
0	9	9
1	14	8
done	14	6
0	9	9
1	12	9
done	12	9
0	19	24
1	39	22
2	89	22
3	195	22
4	437	22
5	1009	22
6	2114	22
7	3646	22
done	5000	22
0	19	24
1	39	22
2	89	22
3	195	22
4	437	22
5	1009	22
6	2114	22
7	3646	22
done	5000	22
0	18	23
1	38	21
2	88	21
3	194	21
4	436	21
5	1025	21
6	2174	21
7	3708	21
done	5001	21
0	19	24
1	39	22
2	89	22
3	195	22
4	437	22
5	1019	22
6	2136	22
7	3685	22
done	5001	22
0	19	24
1	39	22
2	89	22
3	195	22
4	437	22
5	1019	22
6	2136	22
7	3685	22
done	5001	22
0	18	23
1	38	21
2	88	21
3	194	21
4	436	21
5	1026	21
6	2192	21
7	3740	21
done	5000	21
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	974	4
7	2318	4
done	5001	4
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	16	20
1	33	19
2	71	17
3	137	13
4	187	13
5	239	13
6	341	13
7	513	13
8	557	13
9	630	13
10	696	13
done	696	13
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12

prune244.0ms

Filtered

73 candidates to 94 candidates (-28.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	94	10	104

Merged error: 0.1b

Counts

104 → 10

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- (log 1.0) (exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))))
0.0b	(* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))
0.3b	(* x (log y))
5.8b	(exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
15×	`pow1` `add-cube-cbrt`
13×	`log-prod` `associate-r`
10×	`add-exp-log` `add-cbrt-cube`
9×	`distribute-rgt-in` `distribute-lft-in` `associate-l`
6×	`associate-*r/` `associate--l+`
5×	`exp-prod`
4×	`pow-prod-down` `log-pow` `add-log-exp`
3×	`prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sub-neg` `log-div` `flip3-+` `exp-diff` `flip-+` `distribute-lft-out--`
1×	`flip3--` `exp-sum` `flip--` `rem-exp-log` `difference-of-squares`

Counts

4 → 96

Calls

4 calls:

16.0ms	(* z (- (log 1.0) (exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))))
13.0ms	(* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))
6.0ms	(* x (log y))
13.0ms	(exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))

series55.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* z (- (log 1.0) (exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))))
11.0ms	(* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))
14.0ms	(* x (log y))
11.0ms	(exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))

simplify6.4min

Counts

108 → 108

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	13	28
1	34	28
2	68	28
3	114	28
4	179	28
5	273	28
6	398	28
7	831	28
8	2703	28
done	5000	28
0	12	14
1	31	14
2	62	14
3	103	14
4	151	14
5	208	14
6	238	14
7	304	14
8	521	14
9	1454	14
done	5000	14
0	2	2
1	5	1
done	5	1
0	3	3
done	3	1
0	10	11
1	19	9
2	41	9
3	60	9
4	77	9
5	91	9
6	113	9
7	170	9
8	372	9
9	1303	9
done	5001	9
0	14	17
1	47	15
2	156	15
3	553	15
4	2609	15
done	5000	15
0	14	31
1	38	27
2	118	27
3	394	21
4	1161	21
5	3302	17
done	5000	17
0	13	23
1	36	21
2	115	21
3	344	19
4	1126	19
5	3057	15
done	5000	15
0	10	11
1	20	9
2	43	9
3	62	9
4	78	9
5	92	9
6	114	9
7	180	9
8	400	9
9	1319	9
done	5000	9
0	12	14
1	31	12
2	65	12
3	107	12
4	156	12
5	212	12
6	242	12
7	303	12
8	510	12
9	1444	12
done	5000	12
0	12	14
1	31	12
2	72	12
3	133	12
4	219	12
5	446	12
6	1105	12
7	3605	12
done	5001	12
0	13	29
1	32	25
2	66	25
3	108	25
4	156	25
5	211	25
6	241	25
7	303	25
8	511	25
9	1434	25
done	5000	25
0	12	14
1	31	12
2	65	12
3	107	12
4	156	12
5	212	12
6	242	12
7	303	12
8	510	12
9	1444	12
done	5000	12
0	13	41
1	35	35
2	111	13
3	438	13
4	1708	13
done	5000	13
0	12	14
1	31	12
2	65	12
3	107	12
4	156	12
5	212	12
6	242	12
7	303	12
8	510	12
9	1444	12
done	5000	12
0	12	14
1	31	12
2	65	12
3	107	12
4	156	12
5	212	12
6	242	12
7	303	12
8	510	12
9	1444	12
done	5000	12
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	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	10	12
1	29	12
2	60	12
3	101	12
4	151	12
5	208	12
6	238	12
7	302	12
8	519	12
9	1437	12
done	5000	12
0	10	12
1	28	12
2	66	12
3	128	12
4	227	12
5	482	12
6	1225	12
7	4065	12
done	5000	12
0	13	35
1	41	35
2	165	15
3	739	15
4	3799	13
done	5000	13
0	11	25
1	27	25
2	57	25
3	98	25
4	147	25
5	203	25
6	232	25
7	293	25
8	514	25
9	1462	25
done	5000	25
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	35
1	37	35
2	137	13
3	520	13
4	2104	13
done	5000	13
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	8	9
1	17	9
2	46	9
3	87	9
4	136	9
5	191	9
6	219	9
7	276	9
8	483	9
9	1405	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	19	9
2	48	9
3	92	9
4	143	9
5	195	9
6	224	9
7	285	9
8	500	9
9	1415	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	11	23
1	23	23
2	47	23
3	66	23
4	83	23
5	97	23
6	121	23
7	181	23
8	395	23
9	1303	23
done	5000	23
0	10	12
1	20	12
2	42	12
3	61	12
4	78	12
5	92	12
6	114	12
7	178	12
8	390	12
9	1322	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	12	15
1	42	15
2	147	15
3	542	15
4	2597	15
done	5001	15
0	11	21
1	31	21
2	103	21
3	319	19
4	1079	19
5	3003	15
done	5000	15
0	15	18
1	37	16
2	89	16
3	194	16
4	415	16
5	935	16
6	1868	16
7	2945	16
8	3902	16
done	5001	16
0	17	20
1	39	18
2	85	18
3	163	18
4	297	18
5	502	18
6	662	18
7	856	18
8	1346	18
9	2284	18
done	5001	18
0	16	19
1	41	17
2	94	17
3	199	17
4	422	17
5	941	17
6	1893	17
7	2987	17
8	3961	17
done	5001	17
0	16	19
1	40	17
2	97	17
3	228	17
4	549	16
5	1462	16
6	4070	16
done	5001	16
0	19	56
1	47	50
2	136	20
3	457	20
4	2371	18
done	5000	18
0	17	39
1	39	35
2	91	35
3	196	35
4	422	35
5	949	35
6	1900	35
7	3000	35
8	3977	35
done	5000	35
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	935	17
6	1874	17
7	2953	17
8	3923	17
done	5000	17
0	17	56
1	49	50
2	148	18
3	506	18
4	2478	18
done	5000	18
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	935	17
6	1874	17
7	2953	17
8	3923	17
done	5000	17
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	935	17
6	1874	17
7	2953	17
8	3923	17
done	5000	17
0	17	20
1	39	18
2	85	18
3	163	18
4	297	18
5	502	18
6	662	18
7	856	18
8	1346	18
9	2284	18
done	5001	18
0	17	20
1	39	18
2	85	18
3	163	18
4	297	18
5	502	18
6	662	18
7	856	18
8	1346	18
9	2284	18
done	5001	18
0	4	4
1	5	4
done	5	4
0	14	16
1	36	14
2	92	14
3	241	14
4	584	13
5	1389	13
6	2318	13
7	2768	13
8	3005	13
9	3952	13
done	5000	13
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	940	17
6	1890	17
7	2995	17
8	3977	17
done	5001	17
0	5	5
1	6	5
done	6	5
0	16	19
1	38	17
2	90	17
3	194	17
4	422	17
5	970	17
6	2067	17
7	3677	17
done	5000	17
0	4	4
1	7	3
done	7	1
0	15	18
1	37	16
2	89	16
3	194	16
4	415	16
5	935	16
6	1868	16
7	2945	16
8	3902	16
done	5001	16
0	4	4
1	5	4
done	5	4
0	14	16
1	36	14
2	92	14
3	241	14
4	584	13
5	1389	13
6	2318	13
7	2768	13
8	3005	13
9	3952	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	14	16
1	36	14
2	86	14
3	203	14
4	441	13
5	1072	13
6	2004	13
7	2724	13
8	2992	13
9	3926	13
done	5000	13
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	932	17
6	1868	17
7	2965	17
8	3946	17
done	5000	17
0	5	5
1	6	5
done	6	5
0	16	19
1	38	17
2	90	17
3	194	17
4	422	17
5	974	17
6	2059	17
7	3657	17
done	5001	17
0	4	4
1	7	3
done	7	1
0	15	18
1	37	16
2	89	16
3	194	16
4	415	16
5	938	16
6	1919	16
7	3027	16
8	4004	16
done	5001	16
0	4	4
1	5	4
done	5	4
0	14	16
1	36	14
2	86	14
3	203	14
4	441	13
5	1072	13
6	2004	13
7	2724	13
8	2992	13
9	3926	13
done	5000	13
0	17	37
1	41	33
2	89	33
3	167	33
4	302	33
5	512	33
6	675	33
7	867	33
8	1368	33
9	2319	33
done	5000	33
0	16	19
1	38	17
2	84	17
3	162	17
4	299	17
5	505	17
6	666	17
7	857	17
8	1354	17
9	2304	17
done	5000	17
0	3	3
1	6	1
done	6	1
0	17	20
1	44	18
2	79	18
3	121	18
4	171	18
5	228	18
6	257	18
7	323	18
8	533	18
9	1468	18
done	5001	18
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	929	17
6	1867	17
7	2959	17
8	3938	17
done	5000	17
0	16	19
1	38	17
2	90	17
3	195	17
4	419	17
5	929	17
6	1867	17
7	2959	17
8	3938	17
done	5000	17
0	15	18
1	37	16
2	89	16
3	194	16
4	415	16
5	935	16
6	1868	16
7	2945	16
8	3902	16
done	5001	16
0	18	22
1	52	20
2	151	20
3	630	20
4	3193	20
done	5001	20
0	17	35
1	44	31
2	121	23
3	411	23
4	1582	21
done	5000	21
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
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	974	4
7	2318	4
done	5001	4
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12
0	14	18
1	33	18
2	72	18
3	145	16
4	312	12
5	495	12
6	859	12
7	1101	12
8	1384	12
9	2321	12
done	5001	12

prune254.0ms

Filtered

83 candidates to 108 candidates (-30.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	108	10	118

Merged error: 0.1b

Counts

118 → 10

regimes401.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	25
1	27	25
done	27	25

end0.0ms

sample4.4s

Algorithm

intervals

Results

1.4s	23622×	body	80	nan
380.0ms	5563×	body	80	valid
295.0ms	827×	body	640	valid
237.0ms	371×	body	1280	valid
175.0ms	771×	body	320	valid
72.0ms	505×	body	160	valid

Details

sample142.0ms

simplify152.0ms

prune4.0ms

localize12.0ms

rewrite19.0ms

series20.0ms

simplify1.1min

prune173.0ms

localize18.0ms

rewrite35.0ms

series72.0ms

simplify7.7min

prune296.0ms

localize23.0ms

rewrite31.0ms

series62.0ms

simplify6.7min

prune244.0ms

localize22.0ms

rewrite51.0ms

series55.0ms

simplify6.4min

prune254.0ms

regimes401.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.4s

Profiling