Details

sample151.0ms

Algorithm

intervals

Results

53.0ms	733×	body	80	nan
14.0ms	181×	body	80	valid
12.0ms	33×	body	640	valid
6.0ms	24×	body	320	valid
3.0ms	4×	body	1280	valid
2.0ms	14×	body	160	valid

simplify6.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	17
1	26	17
2	48	17
3	86	17
4	190	17
5	412	17
6	948	17
7	1975	17
8	2550	17
9	2651	17
done	2651	17

prune5.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: 8.1b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
0.0b	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
0.1b	(* (- x 1.0) (log y))
6.0b	(log (- 1.0 y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

13.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
13.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
9.0ms	(* (- x 1.0) (log y))
4.0ms	(log (- 1.0 y))

series93.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y))))
48.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (log (- 1.0 y)))) t)
12.0ms	(* (- x 1.0) (log y))
4.0ms	(log (- 1.0 y))

simplify3.3min

Counts

104 → 104

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	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	31	5
3	52	5
4	95	5
5	180	5
6	433	5
7	1310	5
done	5001	5
0	10	20
1	19	20
2	57	10
3	181	10
4	623	8
5	2395	8
done	5000	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	285	8
4	869	8
5	2731	8
done	5000	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	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	10
1	13	10
2	26	9
3	55	9
4	117	9
5	177	9
6	224	9
7	321	9
8	492	9
9	672	9
10	733	9
done	733	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	179	9
6	226	9
7	324	9
8	495	9
9	677	9
10	740	9
done	740	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	314	10
5	981	10
6	4441	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
0	17	20
1	33	19
2	78	16
3	167	16
4	520	16
5	1988	16
done	5000	16
0	16	19
1	29	18
2	63	16
3	139	16
4	385	16
5	1274	16
done	5001	16
0	15	18
1	27	18
2	49	18
3	87	18
4	191	18
5	413	18
6	961	18
7	1987	18
8	2572	18
9	2673	18
done	2673	18
0	15	18
1	30	18
2	60	18
3	129	16
4	341	16
5	1004	16
6	4560	16
done	5000	16
0	16	37
1	28	37
2	50	37
3	88	37
4	192	37
5	412	37
6	956	37
7	1975	37
8	2561	37
9	2662	37
done	2662	37
0	15	18
1	27	18
2	49	18
3	87	18
4	191	18
5	413	18
6	961	18
7	1987	18
8	2572	18
9	2673	18
done	2673	18
0	16	53
1	29	53
2	77	19
3	312	19
4	2270	19
done	5000	19
0	15	18
1	27	18
2	49	18
3	87	18
4	191	18
5	413	18
6	961	18
7	1987	18
8	2572	18
9	2673	18
done	2673	18
0	15	18
1	27	18
2	49	18
3	87	18
4	191	18
5	413	18
6	961	18
7	1987	18
8	2572	18
9	2673	18
done	2673	18
0	17	21
1	40	21
2	93	21
3	245	21
4	1162	21
done	5002	21
0	18	53
1	39	51
2	109	51
3	390	37
4	1902	37
done	5001	37
0	2	2
done	2	2
0	16	35
1	35	35
2	98	35
3	338	35
4	1802	35
done	5000	35
0	14	17
1	25	17
2	46	17
3	80	17
4	160	17
5	306	17
6	541	17
7	1119	17
8	2035	17
9	2282	17
10	2329	17
done	2329	17
0	16	19
1	25	19
2	40	19
3	58	19
4	90	19
5	137	19
6	201	19
7	366	19
8	604	19
9	702	19
10	714	19
done	714	19
0	16	19
1	26	19
2	42	19
3	60	19
4	92	19
5	139	19
6	203	19
7	368	19
8	606	19
9	702	19
10	716	19
11	718	19
done	718	19
0	14	17
1	26	17
2	48	17
3	86	17
4	190	17
5	412	17
6	948	17
7	1975	17
8	2550	17
9	2651	17
done	2651	17
0	9	10
1	16	10
2	25	10
3	36	10
4	50	10
5	58	10
6	70	10
7	96	10
8	139	10
9	196	10
10	210	10
11	219	10
12	222	10
done	222	10
0	2	2
done	2	2
0	14	17
1	28	16
2	65	13
3	125	13
4	323	13
5	992	13
6	4743	13
done	5000	13
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	696	16
10	710	16
11	712	16
done	712	16
0	13	16
1	24	16
2	50	13
3	101	13
4	222	13
5	602	13
6	2503	13
done	5000	13
0	14	33
1	22	33
2	37	33
3	55	33
4	87	33
5	134	33
6	198	33
7	363	33
8	601	33
9	699	33
10	711	33
done	711	33
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	696	16
10	710	16
11	712	16
done	712	16
0	14	47
1	35	47
2	114	17
3	505	17
4	2916	17
done	5000	17
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	696	16
10	710	16
11	712	16
done	712	16
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	696	16
10	710	16
11	712	16
done	712	16
0	27	47
1	76	43
2	217	43
3	871	43
4	4738	43
done	5000	43
0	13	23
1	34	19
2	113	19
3	484	19
4	1546	19
done	5000	19
0	24	39
1	66	37
2	176	37
3	688	37
4	3216	33
done	5000	33
0	10	15
1	25	13
2	76	13
3	198	13
4	507	13
5	1118	13
6	1436	13
7	1486	13
8	1507	13
9	1570	13
10	1785	13
11	2723	13
done	5000	13
0	24	39
1	66	37
2	196	37
3	788	33
4	3585	33
done	5001	33
0	10	15
1	25	13
2	78	13
3	202	13
4	456	13
5	1070	13
6	1574	13
7	1639	13
8	1663	13
9	1724	13
10	1942	13
11	2881	13
done	5000	13
0	19	31
1	45	31
2	130	31
3	507	27
4	1771	23
done	5001	23
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	15	19
1	42	19
2	124	19
3	426	19
4	1412	19
5	4434	19
done	5000	19
0	16	47
1	49	38
2	162	38
3	593	38
4	1964	38
done	5000	38
0	14	31
1	40	31
2	120	31
3	384	31
4	1156	31
5	3655	31
done	5000	31
0	12	15
1	21	15
2	43	15
3	76	15
4	140	15
5	208	15
6	309	15
7	504	15
8	677	15
9	714	15
10	715	15
done	715	15
0	14	21
1	24	21
2	45	18
3	91	18
4	213	18
5	465	18
6	895	18
7	1968	18
8	3440	18
9	3814	18
10	3845	18
done	3845	18
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	698	16
10	710	16
done	710	16
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	14	17
1	21	17
2	35	17
3	53	17
4	85	17
5	132	17
6	196	17
7	361	17
8	601	17
9	699	17
10	711	17
done	711	17
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	14	21
1	24	21
2	45	18
3	91	18
4	213	18
5	469	18
6	909	18
7	1981	18
8	3472	18
9	3848	18
10	3879	18
done	3879	18
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	698	16
10	710	16
done	710	16
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	14	17
1	21	17
2	35	17
3	53	17
4	85	17
5	132	17
6	196	17
7	361	17
8	601	17
9	699	17
10	711	17
done	711	17
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	698	16
10	710	16
done	710	16
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	698	16
10	710	16
done	710	16
0	12	15
1	20	15
2	35	15
3	53	15
4	85	15
5	132	15
6	196	15
7	361	15
8	600	15
9	698	15
10	710	15
done	710	15
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	698	16
10	710	16
done	710	16
0	13	16
1	21	16
2	36	16
3	54	16
4	86	16
5	133	16
6	197	16
7	362	16
8	600	16
9	698	16
10	710	16
done	710	16
0	12	15
1	20	15
2	35	15
3	53	15
4	85	15
5	132	15
6	196	15
7	361	15
8	600	15
9	698	15
10	710	15
done	710	15
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	13	19
1	31	13
2	59	9
3	98	6
4	151	6
5	193	6
6	287	6
7	400	6
8	402	6
done	402	6
0	14	23
1	31	19
2	62	13
3	118	7
4	164	7
5	274	6
6	366	6
7	441	6
done	441	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6
0	18	28
1	42	24
2	105	16
3	329	14
4	528	13
5	1058	13
6	1505	13
7	1965	13
8	2036	13
done	2036	13
0	18	26
1	39	22
2	87	20
3	230	14
4	559	13
5	1085	13
6	1491	13
7	1793	13
8	1811	13
done	1811	13
0	18	25
1	39	19
2	82	17
3	213	15
4	592	15
5	2371	14
done	5000	13
0	18	28
1	42	24
2	105	16
3	329	14
4	528	13
5	1058	13
6	1505	13
7	1965	13
8	2036	13
done	2036	13
0	20	30
1	44	26
2	95	24
3	241	18
4	596	15
5	1184	15
6	1741	15
7	2184	15
8	2236	15
done	2236	15
0	20	29
1	44	23
2	90	21
3	233	19
4	633	19
5	2452	16
done	5000	15

prune259.0ms

Filtered

85 candidates to 104 candidates (-22.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	96	8	104
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	8	105

Merged error: 0.0b

Counts

105 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (- z 1.0) (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))
0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (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.1b	(* (- x 1.0) (log y))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 132

Calls

4 calls:

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

series88.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (- z 1.0) (- (log 1.0) (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))
51.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (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))
11.0ms	(* (- x 1.0) (log y))

simplify6.0min

Counts

144 → 144

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	31	5
3	52	5
4	95	5
5	180	5
6	433	5
7	1310	5
done	5001	5
0	10	20
1	19	20
2	57	10
3	181	10
4	623	8
5	2395	8
done	5000	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	285	8
4	869	8
5	2731	8
done	5000	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	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	10
1	13	10
2	26	9
3	55	9
4	117	9
5	177	9
6	224	9
7	321	9
8	492	9
9	672	9
10	733	9
done	733	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	179	9
6	226	9
7	324	9
8	495	9
9	677	9
10	740	9
done	740	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	314	10
5	981	10
6	4441	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
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	21	27
1	51	26
2	133	25
3	335	25
4	1065	24
5	4132	24
done	5000	24
0	20	26
1	44	26
2	106	26
3	251	26
4	712	26
5	2557	26
done	5000	26
0	20	26
1	47	26
2	119	25
3	306	25
4	933	24
5	3601	24
done	5001	24
0	21	53
1	45	53
2	107	53
3	252	53
4	718	53
5	2510	53
done	5000	53
0	20	26
1	44	26
2	106	26
3	251	26
4	712	26
5	2557	26
done	5000	26
0	21	77
1	58	77
2	184	27
3	769	27
done	5000	27
0	20	26
1	44	26
2	106	26
3	251	26
4	712	26
5	2557	26
done	5000	26
0	20	26
1	44	26
2	106	26
3	251	26
4	712	26
5	2557	26
done	5000	26
0	42	106
1	135	90
2	519	90
3	2954	90
done	5001	90
0	28	68
1	83	52
2	322	52
3	1779	52
done	5000	52
0	38	87
1	114	83
2	423	83
3	2311	83
done	5000	83
0	24	38
1	64	34
2	219	34
3	1131	34
done	5001	34
0	39	98
1	125	84
2	486	84
3	2504	84
done	5001	84
0	25	60
1	74	46
2	281	46
3	1309	46
done	5001	46
0	35	79
1	104	77
2	390	77
3	1925	77
done	5000	77
0	21	30
1	55	28
2	178	28
3	723	28
4	3474	28
done	5001	28
0	36	90
1	116	76
2	420	76
3	1974	76
done	5000	76
0	22	56
1	67	42
2	244	42
3	1064	42
done	5001	42
0	32	71
1	95	69
2	324	69
3	1458	69
done	5001	69
0	18	26
1	48	24
2	147	24
3	527	24
4	1934	24
done	5001	24
0	34	57
1	97	53
2	297	53
3	1163	53
done	5001	53
0	13	23
1	34	19
2	113	19
3	484	19
4	1546	19
done	5000	19
0	31	49
1	87	47
2	262	47
3	1010	47
done	5000	43
0	10	15
1	25	13
2	76	13
3	198	13
4	507	13
5	1118	13
6	1436	13
7	1486	13
8	1507	13
9	1570	13
10	1785	13
11	2723	13
done	5000	13
0	39	98
1	125	84
2	504	84
3	2876	80
done	5000	80
0	25	60
1	74	46
2	299	46
3	1539	46
done	5000	46
0	35	79
1	104	77
2	408	77
3	2226	73
done	5001	73
0	21	30
1	55	28
2	196	28
3	898	28
4	4199	28
done	5000	28
0	35	90
1	108	78
2	444	78
3	2363	74
done	5001	74
0	21	52
1	65	40
2	258	40
3	1103	40
done	5000	40
0	30	71
1	84	71
2	342	71
3	1750	67
done	5000	67
0	17	22
1	46	22
2	155	22
3	528	22
4	1897	22
done	5001	22
0	32	82
1	100	70
2	383	70
3	1862	66
done	5000	66
0	18	48
1	58	36
2	209	36
3	756	36
4	3168	36
done	5001	36
0	27	63
1	76	63
2	281	63
3	1311	59
done	5000	44
0	14	18
1	39	18
2	112	18
3	280	18
4	717	18
5	1843	18
6	2940	18
7	3362	18
done	5000	18
0	31	49
1	87	47
2	282	47
3	1082	43
done	5002	43
0	10	15
1	25	13
2	78	13
3	202	13
4	456	13
5	1070	13
6	1574	13
7	1639	13
8	1663	13
9	1724	13
10	1942	13
11	2881	13
done	5000	13
0	26	41
1	67	41
2	214	41
3	817	37
4	3865	33
done	5000	33
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	22	29
1	64	29
2	193	29
3	703	29
4	3177	29
done	5000	29
0	23	77
1	72	58
2	250	58
3	1097	58
done	5001	58
0	21	51
1	63	51
2	202	51
3	770	51
4	3890	51
done	5000	51
0	19	25
1	44	25
2	113	25
3	286	25
4	907	25
5	3659	25
done	5000	25
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	13	17
1	21	17
2	41	16
3	87	16
4	209	16
5	462	16
6	887	16
7	1953	16
8	3455	16
9	3829	16
10	3860	16
done	3860	16
0	12	14
1	18	14
2	32	14
3	50	14
4	82	14
5	129	14
6	193	14
7	358	14
8	598	14
9	696	14
10	708	14
done	708	14
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	13	17
1	21	17
2	41	16
3	87	16
4	209	16
5	462	16
6	888	16
7	1956	16
8	3440	16
9	3812	16
10	3843	16
done	3843	16
0	12	14
1	18	14
2	32	14
3	50	14
4	82	14
5	129	14
6	193	14
7	358	14
8	598	14
9	694	14
10	708	14
11	710	14
done	710	14
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	20	26
1	44	26
2	106	26
3	251	26
4	713	26
5	2545	26
done	5000	26
0	20	26
1	44	26
2	106	26
3	251	26
4	713	26
5	2545	26
done	5000	26
0	19	25
1	43	25
2	105	25
3	250	25
4	712	25
5	2539	25
done	5001	25
0	20	26
1	44	26
2	106	26
3	251	26
4	713	26
5	2540	26
done	5000	26
0	20	26
1	44	26
2	106	26
3	251	26
4	713	26
5	2540	26
done	5000	26
0	19	25
1	43	25
2	105	25
3	250	25
4	712	25
5	2532	25
done	5000	25
0	14	18
1	35	18
2	90	18
3	218	18
4	604	18
5	1853	18
done	5001	18
0	16	20
1	37	20
2	80	20
3	152	20
4	285	20
5	489	20
6	652	20
7	841	20
8	1330	20
9	2262	20
done	5001	20
0	15	19
1	39	19
2	95	19
3	223	19
4	605	19
5	1834	19
done	5000	19
0	15	19
1	38	19
2	103	19
3	262	19
4	760	18
5	2522	18
done	5001	18
0	18	56
1	45	56
2	143	22
3	539	22
4	3177	20
done	5000	20
0	16	39
1	37	39
2	92	39
3	220	39
4	604	39
5	1831	39
done	5000	39
0	15	19
1	36	19
2	91	19
3	219	19
4	598	19
5	1847	19
done	5001	19
0	16	56
1	47	56
2	167	20
3	753	20
4	4568	20
done	5000	20
0	15	19
1	36	19
2	91	19
3	219	19
4	598	19
5	1847	19
done	5001	19
0	15	19
1	36	19
2	91	19
3	219	19
4	598	19
5	1847	19
done	5001	19
0	19	26
1	64	26
2	197	26
3	796	26
4	4719	26
done	5000	26
0	22	56
1	67	42
2	244	42
3	1064	42
done	5001	42
0	19	37
1	61	37
2	196	37
3	701	37
4	3771	37
done	5000	37
0	18	26
1	48	24
2	147	24
3	527	24
4	1934	24
done	5001	24
0	19	26
1	57	26
2	182	26
3	770	26
4	4831	26
done	5000	26
0	18	48
1	58	36
2	209	36
3	756	36
4	3168	36
done	5001	36
0	18	37
1	51	37
2	175	37
3	669	37
4	3690	37
done	5000	37
0	14	18
1	39	18
2	112	18
3	280	18
4	717	18
5	1843	18
6	2940	18
7	3362	18
done	5000	18
0	16	20
1	37	20
2	80	20
3	152	20
4	285	20
5	489	20
6	652	20
7	841	20
8	1330	20
9	2262	20
done	5001	20
0	16	20
1	37	20
2	80	20
3	152	20
4	285	20
5	489	20
6	652	20
7	841	20
8	1330	20
9	2262	20
done	5001	20
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	13	16
1	38	16
2	111	16
3	398	15
4	1215	15
5	3395	15
done	5000	15
0	7	10
1	12	10
2	25	9
3	54	9
4	116	9
5	178	9
6	225	9
7	322	9
8	493	9
9	675	9
10	740	9
done	740	9
0	15	19
1	36	19
2	91	19
3	219	19
4	597	19
5	1830	19
done	5001	19
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	15	19
1	36	19
2	91	19
3	218	19
4	600	19
5	1890	19
done	5000	19
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	14	18
1	35	18
2	90	18
3	218	18
4	604	18
5	1853	18
done	5001	18
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	13	16
1	38	16
2	111	16
3	398	15
4	1215	15
5	3395	15
done	5000	15
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	13	16
1	38	16
2	111	16
3	374	15
4	1089	15
5	3181	15
done	5000	15
0	7	10
1	12	10
2	25	9
3	54	9
4	116	9
5	178	9
6	225	9
7	322	9
8	495	9
9	675	9
10	742	9
done	742	9
0	15	19
1	36	19
2	91	19
3	219	19
4	598	19
5	1855	19
done	5000	19
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	15	19
1	36	19
2	91	19
3	218	19
4	601	19
5	1920	19
done	5000	19
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	14	18
1	35	18
2	90	18
3	218	18
4	599	18
5	1849	18
done	5000	18
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	13	16
1	38	16
2	111	16
3	374	15
4	1089	15
5	3181	15
done	5000	15
0	16	35
1	39	35
2	90	35
3	179	35
4	323	35
5	541	35
6	706	35
7	901	35
8	1388	35
9	2356	35
done	5000	35
0	15	19
1	36	19
2	85	19
3	162	19
4	301	19
5	508	19
6	672	19
7	863	19
8	1356	19
9	2297	19
done	5000	19
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	15	19
1	36	19
2	85	19
3	184	19
4	408	19
5	938	19
6	1900	19
7	2986	19
8	3961	19
done	5001	19
0	15	19
1	36	19
2	85	19
3	184	19
4	408	19
5	938	19
6	1900	19
7	2986	19
8	3961	19
done	5001	19
0	14	18
1	35	18
2	90	18
3	218	18
4	604	18
5	1853	18
done	5001	18
0	16	20
1	37	20
2	92	20
3	220	20
4	611	20
5	2037	20
done	5001	20
0	14	18
1	35	18
2	90	18
3	218	18
4	604	18
5	1853	18
done	5001	18
0	17	22
1	53	22
2	162	22
3	691	22
4	3875	22
done	5001	22
0	16	33
1	47	33
2	155	33
3	576	33
4	2724	33
done	5001	33
0	17	22
1	49	22
2	131	22
3	341	22
4	1276	22
done	5001	22
0	16	22
1	39	22
2	110	22
3	299	22
4	1116	22
5	4924	22
done	5000	22
0	13	19
1	31	13
2	59	9
3	98	6
4	151	6
5	193	6
6	287	6
7	400	6
8	402	6
done	402	6
0	14	23
1	31	19
2	62	13
3	118	7
4	164	7
5	274	6
6	366	6
7	441	6
done	441	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6
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	18	28
1	42	24
2	105	16
3	329	14
4	528	13
5	1058	13
6	1505	13
7	1965	13
8	2036	13
done	2036	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	9	13
1	17	13
2	32	11
3	44	10
4	56	10
5	77	10
6	114	10
7	162	10
8	206	10
9	237	10
10	239	10
done	239	10
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13

prune524.0ms

Filtered

116 candidates to 144 candidates (-24.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	139	5	144
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	143	9	152

Merged error: 0.0b

Counts

152 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt` `flip3--` `flip--`
25×	`*-un-lft-identity`
24×	`log-prod` `associate-*l/`
16×	`distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in` `frac-add`
13×	`associate--l+`
12×	`frac-times`
11×	`add-log-exp`
10×	`pow1` `associate-+r+` `associate-r` `associate-l`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+l+` `associate-*r/`
5×	`sub-neg` `distribute-lft-out--`
4×	`difference-of-squares`
2×	`diff-log` `pow-prod-down` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3-+` `flip-+`

Counts

4 → 129

Calls

4 calls:

15.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))) t)
13.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0)))))
20.0ms	(* (- z 1.0) (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))
8.0ms	(* (- x 1.0) (log y))

series145.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(- (+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))) t)
50.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0)))))
16.0ms	(* (- z 1.0) (- (log 1.0) (+ (* y (* (/ 1/2 (pow 1.0 2)) y)) (* y 1.0))))
11.0ms	(* (- x 1.0) (log y))

simplify5.6min

Counts

141 → 141

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	31	5
3	52	5
4	95	5
5	180	5
6	433	5
7	1310	5
done	5001	5
0	10	20
1	19	20
2	57	10
3	181	10
4	623	8
5	2395	8
done	5000	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	285	8
4	869	8
5	2731	8
done	5000	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	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	10
1	13	10
2	26	9
3	55	9
4	117	9
5	177	9
6	224	9
7	321	9
8	492	9
9	672	9
10	733	9
done	733	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	179	9
6	226	9
7	324	9
8	495	9
9	677	9
10	740	9
done	740	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	314	10
5	981	10
6	4441	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
0	15	20
1	35	18
2	92	18
3	234	18
4	657	18
5	2032	18
done	5000	18
0	17	22
1	37	20
2	82	20
3	158	20
4	294	20
5	519	20
6	751	20
7	1087	20
8	1314	20
9	2248	20
done	5000	20
0	16	21
1	39	19
2	97	19
3	239	19
4	662	19
5	2038	19
done	5001	19
0	16	21
1	38	19
2	105	19
3	286	19
4	884	18
5	3023	18
done	5000	18
0	19	62
1	45	56
2	145	22
3	578	22
4	3671	20
done	5000	20
0	17	43
1	37	39
2	94	39
3	236	39
4	661	39
5	2026	39
done	5000	39
0	16	21
1	36	19
2	93	19
3	235	19
4	658	19
5	2043	19
done	5000	19
0	17	62
1	47	56
2	169	20
3	793	20
done	5000	20
0	16	21
1	36	19
2	93	19
3	235	19
4	658	19
5	2043	19
done	5000	19
0	16	21
1	36	19
2	93	19
3	235	19
4	658	19
5	2043	19
done	5000	19
0	20	28
1	59	26
2	178	26
3	663	26
4	3929	26
done	5000	26
0	23	62
1	68	42
2	254	42
3	1287	42
done	5000	42
0	20	41
1	58	37
2	193	37
3	726	37
4	4316	37
done	5001	37
0	19	28
1	48	24
2	152	24
3	546	24
4	2079	24
done	5000	24
0	20	28
1	52	26
2	163	26
3	634	26
4	3951	26
done	5000	26
0	19	54
1	59	36
2	219	36
3	939	36
4	4459	36
done	5000	36
0	19	41
1	48	37
2	172	37
3	695	37
4	4130	37
done	5001	37
0	15	20
1	39	18
2	117	18
3	291	18
4	769	18
5	1890	18
6	3013	18
7	3434	18
done	5001	18
0	17	22
1	37	20
2	82	20
3	158	20
4	294	20
5	519	20
6	751	20
7	1087	20
8	1314	20
9	2248	20
done	5000	20
0	17	22
1	37	20
2	82	20
3	158	20
4	294	20
5	519	20
6	751	20
7	1087	20
8	1314	20
9	2248	20
done	5000	20
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	14	18
1	35	16
2	107	16
3	355	15
4	1203	15
5	3492	15
done	5000	15
0	7	10
1	12	10
2	25	9
3	54	9
4	116	9
5	178	9
6	225	9
7	322	9
8	493	9
9	675	9
10	740	9
done	740	9
0	16	21
1	36	19
2	93	19
3	235	19
4	657	19
5	2062	19
done	5001	19
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	16	21
1	36	19
2	93	19
3	234	19
4	660	19
5	2124	19
done	5000	19
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	15	20
1	35	18
2	92	18
3	234	18
4	657	18
5	2032	18
done	5000	18
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	14	18
1	35	16
2	107	16
3	355	15
4	1203	15
5	3492	15
done	5000	15
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	14	18
1	35	16
2	105	16
3	344	15
4	1102	15
5	3166	15
done	5001	15
0	7	10
1	12	10
2	25	9
3	54	9
4	116	9
5	178	9
6	225	9
7	322	9
8	495	9
9	675	9
10	742	9
done	742	9
0	16	21
1	36	19
2	93	19
3	235	19
4	660	19
5	2035	19
done	5000	19
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	16	21
1	36	19
2	93	19
3	234	19
4	663	19
5	2120	19
done	5001	19
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	15	20
1	35	18
2	92	18
3	234	18
4	659	18
5	2022	18
done	5000	18
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	14	18
1	35	16
2	105	16
3	344	15
4	1102	15
5	3166	15
done	5001	15
0	17	39
1	39	35
2	92	35
3	185	35
4	332	35
5	562	35
6	802	35
7	1147	35
8	1384	35
9	2315	35
done	5001	35
0	16	21
1	36	19
2	87	19
3	168	19
4	309	19
5	535	19
6	770	19
7	1111	19
8	1339	19
9	2256	19
done	5000	19
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	17	22
1	40	20
2	91	20
3	159	20
4	252	20
5	354	20
6	452	20
7	701	20
8	1153	20
9	2145	20
done	5001	20
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	16	21
1	36	19
2	87	19
3	188	19
4	413	19
5	940	19
6	2016	19
7	3477	19
8	4767	19
done	5000	19
0	16	21
1	36	19
2	87	19
3	188	19
4	413	19
5	940	19
6	2016	19
7	3477	19
8	4767	19
done	5000	19
0	15	20
1	35	18
2	92	18
3	234	18
4	657	18
5	2032	18
done	5000	18
0	17	22
1	37	20
2	94	20
3	236	20
4	672	20
5	2276	20
done	5001	20
0	15	20
1	35	18
2	92	18
3	234	18
4	657	18
5	2032	18
done	5000	18
0	18	24
1	48	22
2	143	22
3	549	22
4	3126	22
done	5001	22
0	17	37
1	44	33
2	152	33
3	602	33
4	3154	33
done	5001	33
0	18	24
1	49	22
2	133	22
3	357	22
4	1443	22
done	5001	22
0	17	24
1	39	22
2	112	22
3	321	22
4	1216	22
done	5001	22
0	22	29
1	51	26
2	135	25
3	359	25
4	1197	24
5	4906	24
done	5000	24
0	21	28
1	44	26
2	108	26
3	267	26
4	792	26
5	2957	26
done	5000	26
0	21	28
1	47	26
2	121	25
3	327	25
4	1046	24
5	4168	24
done	5000	24
0	22	57
1	45	53
2	109	53
3	268	53
4	794	53
5	2952	53
done	5000	53
0	21	28
1	44	26
2	108	26
3	267	26
4	792	26
5	2957	26
done	5000	26
0	22	83
1	58	77
2	186	27
3	805	27
done	5002	27
0	21	28
1	44	26
2	108	26
3	267	26
4	792	26
5	2957	26
done	5000	26
0	21	28
1	44	26
2	108	26
3	267	26
4	792	26
5	2957	26
done	5000	26
0	43	114
1	133	90
2	511	90
3	3068	90
done	5001	90
0	29	74
1	84	52
2	332	52
3	2006	52
done	5000	52
0	39	93
1	113	83
2	430	83
3	2417	83
done	5001	83
0	25	40
1	64	34
2	230	34
3	1217	34
done	5000	34
0	40	106
1	123	84
2	478	84
3	2578	84
done	5001	84
0	26	66
1	75	46
2	291	46
3	1489	46
done	5001	46
0	36	85
1	103	77
2	395	77
3	1998	77
done	5000	77
0	22	32
1	55	28
2	189	28
3	789	28
4	3872	28
done	5000	28
0	37	98
1	114	76
2	412	76
3	2007	76
done	5001	76
0	23	62
1	68	42
2	254	42
3	1287	42
done	5000	42
0	33	77
1	94	69
2	331	69
3	1493	69
done	5001	69
0	19	28
1	48	24
2	152	24
3	546	24
4	2079	24
done	5000	24
0	35	59
1	97	53
2	299	53
3	1181	53
done	5000	53
0	13	23
1	34	19
2	113	19
3	484	19
4	1546	19
done	5000	19
0	32	51
1	87	47
2	264	47
3	1038	47
done	5000	43
0	10	15
1	25	13
2	76	13
3	198	13
4	507	13
5	1118	13
6	1436	13
7	1486	13
8	1507	13
9	1570	13
10	1785	13
11	2723	13
done	5000	13
0	40	106
1	123	84
2	496	84
3	2991	80
done	5000	80
0	26	66
1	75	46
2	309	46
3	1767	46
done	5000	46
0	36	85
1	103	77
2	415	77
3	2324	73
done	5000	73
0	22	32
1	55	28
2	207	28
3	972	28
4	4675	28
done	5000	28
0	36	98
1	106	78
2	436	78
3	2430	74
done	5000	74
0	22	58
1	66	40
2	268	40
3	1291	40
done	5000	40
0	31	77
1	83	71
2	347	71
3	1820	67
done	5000	67
0	18	24
1	46	22
2	166	22
3	584	22
4	2080	22
done	5001	22
0	33	90
1	98	70
2	375	70
3	1899	66
done	5001	66
0	19	54
1	59	36
2	219	36
3	939	36
4	4459	36
done	5000	36
0	28	69
1	75	63
2	288	63
3	1350	59
done	5000	59
0	15	20
1	39	18
2	117	18
3	291	18
4	769	18
5	1890	18
6	3013	18
7	3434	18
done	5001	18
0	32	51
1	87	47
2	284	47
3	1102	43
done	5000	43
0	10	15
1	25	13
2	78	13
3	202	13
4	456	13
5	1070	13
6	1574	13
7	1639	13
8	1663	13
9	1724	13
10	1942	13
11	2881	13
done	5000	13
0	27	43
1	67	41
2	216	41
3	845	37
4	4057	33
done	5001	33
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	23	31
1	64	29
2	195	29
3	750	29
4	3854	29
done	5001	29
0	24	83
1	72	58
2	252	58
3	1154	58
done	5001	58
0	22	55
1	63	51
2	204	51
3	815	51
4	4451	51
done	5000	51
0	20	27
1	44	25
2	115	25
3	311	25
4	1043	25
5	4306	25
done	5000	25
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	13	17
1	21	17
2	41	16
3	87	16
4	209	16
5	462	16
6	887	16
7	1953	16
8	3455	16
9	3829	16
10	3860	16
done	3860	16
0	12	14
1	18	14
2	32	14
3	50	14
4	82	14
5	129	14
6	193	14
7	358	14
8	598	14
9	696	14
10	708	14
done	708	14
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	13	17
1	21	17
2	41	16
3	87	16
4	209	16
5	462	16
6	888	16
7	1956	16
8	3440	16
9	3812	16
10	3843	16
done	3843	16
0	12	14
1	18	14
2	32	14
3	50	14
4	82	14
5	129	14
6	193	14
7	358	14
8	598	14
9	694	14
10	708	14
11	710	14
done	710	14
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	21	28
1	44	26
2	108	26
3	267	26
4	794	26
5	2924	26
done	5000	26
0	21	28
1	44	26
2	108	26
3	267	26
4	794	26
5	2924	26
done	5000	26
0	20	27
1	43	25
2	107	25
3	266	25
4	790	25
5	2926	25
done	5000	25
0	21	28
1	44	26
2	108	26
3	267	26
4	794	26
5	2924	26
done	5001	26
0	21	28
1	44	26
2	108	26
3	267	26
4	794	26
5	2924	26
done	5001	26
0	20	27
1	43	25
2	107	25
3	266	25
4	790	25
5	2920	25
done	5000	25
0	25	32
1	56	29
2	148	27
3	403	27
4	1467	27
done	5000	27
0	24	31
1	52	28
2	134	28
3	369	27
4	1306	27
done	5000	27
0	23	30
1	50	28
2	121	28
3	306	28
4	1004	28
5	4609	28
done	5000	28
0	23	30
1	53	28
2	132	28
3	349	27
4	1236	27
done	5000	27
0	24	61
1	51	57
2	122	57
3	307	57
4	1006	57
5	4556	57
done	5000	57
0	23	30
1	50	28
2	121	28
3	306	28
4	1004	28
5	4609	28
done	5000	28
0	24	89
1	52	83
2	149	29
3	530	29
4	3414	29
done	5000	29
0	23	30
1	50	28
2	121	28
3	306	28
4	1004	28
5	4609	28
done	5000	28
0	23	30
1	50	28
2	121	28
3	306	28
4	1004	28
5	4609	28
done	5000	28
0	25	33
1	62	31
2	164	31
3	469	31
4	2413	31
done	5001	31
0	26	89
1	62	81
2	181	81
3	663	57
4	4128	57
done	5000	57
0	2	2
done	2	2
0	24	59
1	58	55
2	170	55
3	607	55
4	3940	55
done	5000	55
0	22	29
1	48	27
2	118	27
3	303	27
4	1004	27
5	4382	27
done	5000	27
0	24	31
1	48	29
2	112	29
3	271	29
4	798	29
5	2923	29
done	5000	29
0	24	31
1	49	29
2	114	29
3	273	29
4	799	29
5	2942	29
done	5001	29
0	22	29
1	49	27
2	120	27
3	305	27
4	1003	27
5	4560	27
done	5000	27
0	17	22
1	39	20
2	97	20
3	251	20
4	757	20
5	2543	20
done	5000	20
0	2	2
done	2	2
0	13	19
1	31	13
2	59	9
3	98	6
4	151	6
5	193	6
6	287	6
7	400	6
8	402	6
done	402	6
0	14	23
1	31	19
2	62	13
3	118	7
4	164	7
5	274	6
6	366	6
7	441	6
done	441	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6
0	9	13
1	17	13
2	32	11
3	44	10
4	56	10
5	77	10
6	114	10
7	162	10
8	206	10
9	237	10
10	239	10
done	239	10
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	18	28
1	42	24
2	105	16
3	329	14
4	528	13
5	1058	13
6	1505	13
7	1965	13
8	2036	13
done	2036	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	18	28
1	42	24
2	105	16
3	329	14
4	528	13
5	1058	13
6	1505	13
7	1965	13
8	2036	13
done	2036	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13

prune532.0ms

Filtered

118 candidates to 141 candidates (-19.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	141	9	150

Merged error: 0.0b

Counts

150 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (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.1b	(* (- x 1.0) (log y))
5.8b	(exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

22×	`associate-*l/`
21×	`add-sqr-sqrt` `flip3--` `flip--`
19×	`log-prod`
17×	`*-un-lft-identity`
16×	`frac-add`
15×	`add-cube-cbrt`
12×	`pow1` `distribute-rgt-in` `distribute-lft-in`
10×	`associate-+r+`
8×	`add-exp-log` `frac-times` `associate-r/` `associate-l*` `add-cbrt-cube`
7×	`associate-r`
6×	`associate-+l+` `associate--l+` `add-log-exp`
5×	`exp-prod`
3×	`flip3-+` `pow-prod-down` `log-pow` `flip-+`
2×	`sub-neg` `log-div` `exp-diff` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `exp-sum` `sum-log` `rem-exp-log` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 110

Calls

4 calls:

13.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (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))
8.0ms	(* (- x 1.0) (log y))
17.0ms	(exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(+ (* (- x 1.0) (log y)) (* (- z 1.0) (- (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))
11.0ms	(* (- x 1.0) (log y))
11.0ms	(exp (log (* y (+ (* (/ 1/2 (pow 1.0 2)) y) 1.0))))

simplify4.7min

Counts

122 → 122

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	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	31	5
3	52	5
4	95	5
5	180	5
6	433	5
7	1310	5
done	5001	5
0	10	20
1	19	20
2	57	10
3	181	10
4	623	8
5	2395	8
done	5000	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	285	8
4	869	8
5	2731	8
done	5000	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	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	10
1	13	10
2	26	9
3	55	9
4	117	9
5	177	9
6	224	9
7	321	9
8	492	9
9	672	9
10	733	9
done	733	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	10
1	13	10
2	26	9
3	55	9
4	117	9
5	179	9
6	226	9
7	324	9
8	495	9
9	677	9
10	740	9
done	740	9
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
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	8	11
1	13	11
2	22	11
3	39	11
4	53	11
5	63	11
done	63	11
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
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	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	18	8
3	23	8
4	27	8
done	27	8
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	314	10
5	981	10
6	4441	10
done	5001	10
0	8	10
1	14	10
2	31	10
3	77	10
4	164	10
5	250	10
6	408	10
7	781	10
8	3438	10
done	5001	10
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	23	29
1	55	26
2	140	25
3	347	25
4	1072	24
5	4187	24
done	5000	24
0	22	28
1	48	26
2	114	26
3	264	26
4	725	26
5	2516	26
done	5000	26
0	22	28
1	51	26
2	126	25
3	318	25
4	951	24
5	3592	24
done	5000	24
0	23	57
1	49	53
2	115	53
3	265	53
4	731	53
5	2524	53
done	5000	53
0	22	28
1	48	26
2	114	26
3	264	26
4	725	26
5	2516	26
done	5000	26
0	23	83
1	62	77
2	192	27
3	780	27
done	5000	27
0	22	28
1	48	26
2	114	26
3	264	26
4	725	26
5	2516	26
done	5000	26
0	22	28
1	48	26
2	114	26
3	264	26
4	725	26
5	2516	26
done	5000	26
0	44	114
1	129	90
2	477	90
3	2769	90
done	5000	90
0	30	74
1	81	52
2	298	52
3	1683	52
done	5001	52
0	40	93
1	113	83
2	398	75
3	2200	75
done	5000	75
0	26	40
1	69	34
2	228	34
3	1163	34
done	5002	34
0	41	106
1	119	84
2	444	84
3	2328	84
done	5000	84
0	27	66
1	72	46
2	257	46
3	1211	46
done	5000	46
0	37	85
1	103	77
2	365	69
3	1820	69
done	5001	69
0	23	32
1	60	28
2	187	28
3	749	28
4	3483	28
done	5001	28
0	38	98
1	110	76
2	378	76
3	1805	76
done	5000	76
0	24	62
1	65	42
2	220	42
3	974	42
4	4850	41
done	5000	41
0	34	77
1	94	69
2	299	61
3	1341	61
done	5001	61
0	20	28
1	53	24
2	156	24
3	557	24
4	1947	24
done	5000	24
0	36	59
1	101	53
2	305	53
3	1178	53
done	5000	53
0	13	23
1	34	19
2	113	19
3	484	19
4	1546	19
done	5000	19
0	33	51
1	91	47
2	270	47
3	1027	47
done	5001	43
0	10	15
1	25	13
2	76	13
3	198	13
4	507	13
5	1118	13
6	1436	13
7	1486	13
8	1507	13
9	1570	13
10	1785	13
11	2723	13
done	5000	13
0	41	106
1	119	84
2	462	84
3	2702	80
done	5000	80
0	27	66
1	72	46
2	275	46
3	1440	46
done	5000	46
0	37	85
1	103	77
2	383	69
3	2119	65
done	5000	65
0	23	32
1	60	28
2	205	28
3	932	28
4	4255	28
done	5001	28
0	37	98
1	102	78
2	402	78
3	2176	74
done	5000	74
0	23	58
1	63	40
2	234	40
3	1003	40
4	4841	39
done	5000	39
0	32	77
1	83	71
2	317	63
3	1642	59
done	5000	59
0	19	24
1	51	22
2	164	22
3	556	22
4	1904	22
done	5001	22
0	34	90
1	94	70
2	341	70
3	1682	66
done	5000	66
0	20	54
1	56	36
2	185	36
3	672	36
4	2650	35
done	5000	35
0	29	69
1	75	63
2	256	55
3	1189	51
done	5002	44
0	16	20
1	44	18
2	121	18
3	306	18
4	745	18
5	1894	18
6	3004	18
7	3405	18
done	5000	18
0	33	51
1	91	47
2	290	47
3	1093	43
done	5001	43
0	10	15
1	25	13
2	78	13
3	202	13
4	456	13
5	1070	13
6	1574	13
7	1639	13
8	1663	13
9	1724	13
10	1942	13
11	2881	13
done	5000	13
0	28	43
1	71	41
2	222	41
3	832	37
4	3879	33
done	5000	33
0	6	7
1	15	7
2	39	7
3	59	7
4	89	7
5	107	7
6	109	7
done	109	7
0	24	31
1	68	29
2	201	29
3	721	29
4	3178	29
done	5000	29
0	25	83
1	76	58
2	258	58
3	1109	58
done	5002	58
0	23	55
1	67	51
2	210	51
3	781	51
4	3910	51
done	5001	51
0	21	27
1	48	25
2	121	25
3	299	25
4	920	25
5	3705	25
done	5001	25
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	13	17
1	21	17
2	41	16
3	87	16
4	209	16
5	462	16
6	887	16
7	1953	16
8	3455	16
9	3829	16
10	3860	16
done	3860	16
0	12	14
1	18	14
2	32	14
3	50	14
4	82	14
5	129	14
6	193	14
7	358	14
8	598	14
9	696	14
10	708	14
done	708	14
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	13	17
1	21	17
2	41	16
3	87	16
4	209	16
5	462	16
6	888	16
7	1956	16
8	3440	16
9	3812	16
10	3843	16
done	3843	16
0	12	14
1	18	14
2	32	14
3	50	14
4	82	14
5	129	14
6	193	14
7	358	14
8	598	14
9	694	14
10	708	14
11	710	14
done	710	14
0	12	13
1	20	12
2	34	8
3	47	6
4	61	6
5	64	6
6	73	6
7	88	6
8	123	6
9	155	6
10	183	6
11	218	6
12	240	6
done	240	6
0	11	13
1	17	13
2	31	13
3	49	13
4	81	13
5	128	13
6	192	13
7	357	13
8	597	13
9	695	13
10	707	13
done	707	13
0	22	28
1	49	26
2	115	26
3	265	26
4	730	26
5	2534	26
done	5001	26
0	22	28
1	49	26
2	115	26
3	265	26
4	730	26
5	2534	26
done	5001	26
0	21	27
1	47	25
2	113	25
3	263	25
4	724	25
5	2549	25
done	5000	25
0	22	28
1	49	26
2	115	26
3	265	26
4	730	26
5	2550	26
done	5000	26
0	22	28
1	49	26
2	115	26
3	265	26
4	730	26
5	2550	26
done	5000	26
0	21	27
1	47	25
2	113	25
3	263	25
4	724	25
5	2566	25
done	5000	25
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	13	19
1	31	13
2	59	9
3	98	6
4	151	6
5	193	6
6	287	6
7	400	6
8	402	6
done	402	6
0	14	23
1	31	19
2	62	13
3	118	7
4	164	7
5	274	6
6	366	6
7	441	6
done	441	6
0	14	23
1	28	23
2	52	23
3	116	18
4	270	15
5	873	9
6	2689	6
done	5001	6
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	18	28
1	42	24
2	105	16
3	329	14
4	528	13
5	1058	13
6	1505	13
7	1965	13
8	2036	13
done	2036	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13
0	13	19
1	32	19
2	81	15
3	158	15
4	338	13
5	525	13
6	815	13
7	1237	13
8	1830	13
9	3416	13
done	5000	13

prune408.0ms

Filtered

99 candidates to 122 candidates (-23.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	121	1	122
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	123	8	131

Merged error: 0.0b

Counts

131 → 8

regimes564.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	22	29
1	29	29
done	29	29

end0.0ms

sample4.6s

Algorithm

intervals

Results

1.6s	23622×	body	80	nan
449.0ms	5925×	body	80	valid
264.0ms	701×	body	640	valid
169.0ms	694×	body	320	valid
166.0ms	239×	body	1280	valid
74.0ms	478×	body	160	valid

Details

sample151.0ms

simplify6.0s

prune5.0ms

localize14.0ms

rewrite43.0ms

series93.0ms

simplify3.3min

prune259.0ms

localize21.0ms

rewrite57.0ms

series88.0ms

simplify6.0min

prune524.0ms

localize26.0ms

rewrite63.0ms

series145.0ms

simplify5.6min

prune532.0ms

localize24.0ms

rewrite56.0ms

series85.0ms

simplify4.7min

prune408.0ms

regimes564.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.6s

Profiling