Details

sample108.0ms

Algorithm

intervals

Results

29.0ms	414×	body	80	nan
29.0ms	378×	body	80	valid

simplify4.1s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	24
1	37	24
2	83	24
3	191	24
4	421	24
5	820	24
6	1498	24
7	3846	24
done	5000	24

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 7.7b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
0.2b	(- (* (- x 0.5) (log x)) x)
0.2b	(* (- x 0.5) (log x))
7.0b	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`add-cube-cbrt`
18×	`log-prod`
12×	`associate--l+`
11×	`add-log-exp`
9×	`distribute-rgt-in` `distribute-lft-in` `times-frac`
8×	`add-exp-log` `associate-+l+` `add-cbrt-cube`
7×	`pow1`
5×	`associate-l`
4×	`associate-r`
3×	`associate-/r` `associate-/l`
2×	`sub-neg` `flip3--` `flip3-+` `diff-log` `associate-*l/` `sum-log` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `frac-2neg` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `log-pow` `*-commutative` `cbrt-unprod` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 98

Calls

4 calls:

12.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
8.0ms	(- (* (- x 0.5) (log x)) x)
9.0ms	(* (- x 0.5) (log x))
19.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

series141.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
46.0ms	(- (* (- x 0.5) (log x)) x)
25.0ms	(* (- x 0.5) (log x))
27.0ms	(/ (+ (* (- (* (+ y 0.0007936500793651) z) 0.0027777777777778) z) 0.083333333333333) x)

simplify7.6min

Counts

110 → 110

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	15
1	22	15
2	38	15
3	70	15
4	115	15
5	164	15
6	198	15
7	269	15
8	451	15
9	726	15
10	821	15
11	890	15
12	1037	15
13	1039	15
done	1039	15
0	13	14
1	22	14
2	39	14
3	72	14
4	115	14
5	167	14
6	209	14
7	307	14
8	562	14
9	1018	14
10	1525	14
11	2061	14
12	2464	14
13	2603	14
14	2605	14
done	2605	14
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	207	14
7	310	14
8	584	14
9	1101	14
10	1811	14
11	3526	14
done	5000	14
0	16	41
1	43	41
2	136	17
3	464	15
4	2208	15
done	5000	15
0	14	29
1	20	29
2	35	29
3	67	29
4	110	29
5	160	29
6	203	29
7	301	29
8	556	29
9	1012	29
10	1523	29
11	2063	29
12	2469	29
13	2608	29
14	2610	29
done	2610	29
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	204	14
7	302	14
8	557	14
9	1011	14
10	1525	14
11	2053	14
12	2459	14
13	2598	14
14	2600	14
done	2600	14
0	14	41
1	27	41
2	74	15
3	206	15
4	772	15
5	3976	15
done	5001	15
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	204	14
7	302	14
8	557	14
9	1011	14
10	1525	14
11	2053	14
12	2459	14
13	2598	14
14	2600	14
done	2600	14
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	204	14
7	302	14
8	557	14
9	1011	14
10	1525	14
11	2053	14
12	2459	14
13	2598	14
14	2600	14
done	2600	14
0	11	12
1	20	12
2	43	12
3	91	12
4	225	11
5	487	11
6	628	11
7	837	11
8	1172	11
9	1313	11
done	1313	11
0	2	2
done	2	2
0	16	31
1	28	31
2	52	31
3	90	31
4	133	31
5	182	31
6	216	31
7	287	31
8	469	31
9	743	31
10	842	31
11	911	31
12	1054	31
13	1056	31
done	1056	31
0	14	15
1	20	15
2	35	15
3	67	15
4	110	15
5	157	15
6	191	15
7	262	15
8	444	15
9	719	15
10	819	15
11	888	15
12	1037	15
13	1039	15
done	1039	15
0	15	28
1	23	28
2	40	28
3	73	28
4	118	28
5	167	28
6	201	28
7	272	28
8	454	28
9	725	28
10	819	28
11	888	28
12	1035	28
13	1037	28
done	1037	28
0	14	15
1	20	15
2	35	15
3	67	15
4	110	15
5	157	15
6	191	15
7	262	15
8	444	15
9	719	15
10	819	15
11	888	15
12	1037	15
13	1039	15
done	1039	15
0	14	27
1	24	25
2	45	25
3	82	25
4	127	25
5	176	25
6	210	25
7	281	25
8	463	25
9	736	25
10	833	25
11	902	25
12	1053	25
13	1055	25
done	1055	25
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	158	14
6	192	14
7	263	14
8	445	14
9	717	14
10	819	14
11	888	14
12	1035	14
13	1037	14
done	1037	14
0	15	18
1	23	18
2	38	18
3	70	18
4	115	18
5	164	18
6	198	18
7	269	18
8	451	18
9	722	18
10	820	18
11	889	18
12	1036	18
13	1038	18
done	1038	18
0	14	15
1	20	15
2	35	15
3	67	15
4	110	15
5	157	15
6	191	15
7	262	15
8	444	15
9	719	15
10	819	15
11	888	15
12	1037	15
13	1039	15
done	1039	15
0	14	15
1	20	15
2	35	15
3	67	15
4	110	15
5	157	15
6	191	15
7	262	15
8	444	15
9	719	15
10	819	15
11	888	15
12	1037	15
13	1039	15
done	1039	15
0	14	15
1	20	15
2	35	15
3	67	15
4	110	15
5	157	15
6	191	15
7	262	15
8	444	15
9	719	15
10	819	15
11	888	15
12	1037	15
13	1039	15
done	1039	15
0	13	14
1	21	12
2	38	12
3	70	12
4	115	12
5	164	12
6	198	12
7	269	12
8	451	12
9	722	12
10	820	12
11	889	12
12	1036	12
13	1038	12
done	1038	12
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	158	14
6	192	14
7	263	14
8	445	14
9	717	14
10	819	14
11	888	14
12	1035	14
13	1037	14
done	1037	14
0	5	7
1	9	7
done	9	7
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	204	14
7	302	14
8	557	14
9	1011	14
10	1527	14
11	2055	14
12	2463	14
13	2602	14
14	2604	14
done	2604	14
0	4	4
1	6	4
done	6	4
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	204	14
7	302	14
8	557	14
9	1011	14
10	1527	14
11	2055	14
12	2463	14
13	2602	14
14	2604	14
done	2604	14
0	2	3
1	4	1
done	4	1
0	12	13
1	18	13
2	33	13
3	65	13
4	108	13
5	160	13
6	201	13
7	299	13
8	554	13
9	1008	13
10	1525	13
11	2057	13
12	2460	13
13	2599	13
14	2601	13
done	2601	13
0	3	3
1	5	3
done	5	3
0	12	13
1	18	13
2	33	13
3	65	13
4	108	13
5	157	13
6	187	13
7	258	13
8	440	13
9	715	13
10	816	13
11	885	13
12	1036	13
13	1038	13
done	1038	13
0	14	17
1	22	17
2	37	17
3	69	17
4	114	17
5	171	17
6	229	17
7	378	17
8	760	17
9	1525	17
10	2719	17
11	4030	17
12	4680	17
13	4892	17
14	4899	17
done	4899	17
0	13	14
1	19	14
2	34	14
3	66	14
4	109	14
5	161	14
6	204	14
7	302	14
8	557	14
9	1011	14
10	1527	14
11	2055	14
12	2463	14
13	2602	14
14	2604	14
done	2604	14
0	12	13
1	20	11
2	37	11
3	69	11
4	114	11
5	168	11
6	211	11
7	312	11
8	602	11
9	1106	11
10	1564	11
11	1849	11
12	2093	11
13	2100	11
done	2100	11
0	13	14
1	19	14
2	34	14
3	66	14
4	111	14
5	162	14
6	192	14
7	263	14
8	445	14
9	718	14
10	818	14
11	887	14
12	1036	14
13	1038	14
done	1038	14
0	13	14
1	19	14
2	34	14
3	66	14
4	111	14
5	162	14
6	192	14
7	263	14
8	445	14
9	718	14
10	818	14
11	887	14
12	1036	14
13	1038	14
done	1038	14
0	12	13
1	18	13
2	33	13
3	65	13
4	108	13
5	157	13
6	187	13
7	258	13
8	440	13
9	715	13
10	816	13
11	885	13
12	1036	13
13	1038	13
done	1038	13
0	16	37
1	45	35
2	135	35
3	467	27
4	1940	27
done	5000	27
0	12	13
1	20	13
2	42	13
3	95	13
4	234	13
5	450	13
6	557	13
7	765	13
8	1276	13
9	2313	13
10	2805	13
11	2982	13
done	2982	13
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	12	7
2	20	7
3	25	7
4	29	7
done	29	7
0	6	7
1	11	7
2	30	5
3	51	5
4	94	5
5	177	5
6	422	5
7	1303	5
done	5000	5
0	9	20
1	18	20
2	56	10
3	180	10
4	619	8
5	2374	8
done	5000	8
0	7	15
1	10	15
2	17	15
3	22	15
4	26	15
done	26	15
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	20
1	20	20
2	74	8
3	285	8
4	864	8
5	2739	8
done	5000	8
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
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	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
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	742	9
done	742	9
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	11
1	12	11
2	21	11
3	38	11
4	50	11
5	58	11
done	58	11
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	8	10
1	24	10
2	52	10
3	131	10
4	308	10
5	980	10
6	4487	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	395	10
7	764	10
8	3363	10
done	5000	10
0	8	10
1	15	9
2	35	8
3	65	8
4	139	8
5	310	8
6	1076	8
done	5001	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	820	9
18	830	9
19	847	9
20	872	9
21	952	9
22	1249	9
23	2523	9
done	5000	9
0	7	9
1	15	9
2	30	8
3	61	8
4	124	8
5	273	8
6	841	8
7	3110	8
done	5001	8
0	8	19
1	13	19
2	21	19
3	32	19
4	46	19
5	54	19
6	66	19
7	91	19
8	134	19
9	181	19
10	208	19
11	248	19
12	295	19
13	376	19
14	510	19
15	574	19
16	806	19
17	814	19
done	814	19
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	8	26
1	14	26
2	36	10
3	118	10
4	543	10
5	3047	10
done	5001	10
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	9	12
1	30	12
2	88	12
3	263	12
4	831	12
5	2628	12
done	5000	12
0	10	26
1	29	24
2	67	24
3	172	19
4	450	19
5	1290	19
6	4164	19
done	5000	19
0	2	2
done	2	2
0	8	17
1	23	17
2	60	17
3	169	17
4	458	17
5	1304	17
6	4557	17
done	5000	17
0	6	8
1	10	8
2	17	8
3	26	8
4	38	8
5	45	8
6	57	8
7	76	8
8	98	8
9	121	8
10	144	8
11	174	8
12	216	8
13	274	8
14	339	8
15	441	8
16	537	8
17	671	8
18	780	8
19	784	8
done	784	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	807	9
17	815	9
done	815	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	807	9
17	815	9
done	815	9
0	6	8
1	11	8
2	19	8
3	30	8
4	44	8
5	52	8
6	64	8
7	89	8
8	132	8
9	179	8
10	206	8
11	244	8
12	289	8
13	370	8
14	504	8
15	568	8
16	802	8
17	810	8
done	810	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	809	9
17	817	9
done	817	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	809	9
17	817	9
done	817	9
0	6	8
1	11	8
2	19	8
3	30	8
4	44	8
5	52	8
6	64	8
7	89	8
8	132	8
9	179	8
10	206	8
11	244	8
12	289	8
13	370	8
14	504	8
15	568	8
16	804	8
17	812	8
done	812	8
0	2	2
done	2	2
0	11	13
1	21	12
2	50	11
3	98	10
4	247	10
5	662	10
6	2525	10
done	5000	10
0	10	12
1	21	11
2	45	11
3	104	10
4	258	10
5	669	10
6	2169	10
done	5000	10
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	9	11
1	20	11
2	45	11
3	101	10
4	236	10
5	539	10
6	1711	10
done	5000	10
0	10	23
1	18	23
2	35	23
3	63	23
4	124	23
5	192	23
6	285	23
7	475	23
8	627	23
9	660	23
10	677	23
11	735	23
12	815	23
13	918	23
14	1054	23
15	1118	23
16	1360	23
17	1368	23
done	1368	23
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	10	32
1	31	32
2	92	12
3	395	12
4	2786	12
done	5000	12
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	11	14
1	30	14
2	59	14
3	157	14
4	634	14
5	3426	14
done	5000	14
0	12	32
1	25	30
2	63	30
3	181	23
4	743	23
5	3750	23
done	5000	23
0	10	21
1	20	21
2	49	21
3	153	21
4	775	21
5	4008	21
done	5000	21
0	8	10
1	17	10
2	35	10
3	70	10
4	135	10
5	206	10
6	308	10
7	518	10
8	674	10
9	687	10
10	703	10
11	761	10
12	841	10
13	944	10
14	1080	10
15	1144	10
16	1384	10
17	1392	10
done	1392	10
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1052	10
15	1116	10
16	1352	10
17	1360	10
done	1360	10
0	4	4
1	5	4
2	6	3
done	6	3
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	626	11
9	659	11
10	676	11
11	734	11
12	814	11
13	917	11
14	1057	11
15	1121	11
16	1361	11
17	1369	11
done	1369	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	626	11
9	659	11
10	676	11
11	734	11
12	814	11
13	917	11
14	1057	11
15	1121	11
16	1361	11
17	1369	11
done	1369	11
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1052	10
15	1116	10
16	1352	10
17	1360	10
done	1360	10
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	623	11
9	657	11
10	674	11
11	732	11
12	812	11
13	915	11
14	1057	11
15	1121	11
16	1363	11
17	1371	11
done	1371	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	623	11
9	657	11
10	674	11
11	732	11
12	812	11
13	915	11
14	1057	11
15	1121	11
16	1363	11
17	1371	11
done	1371	11
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1050	10
15	1114	10
16	1352	10
17	1360	10
done	1360	10
0	4	4
1	5	4
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	16	19
1	36	19
2	73	17
3	127	17
4	255	17
5	629	17
6	2607	13
done	5000	13
0	15	21
1	34	21
2	84	21
3	128	15
4	197	15
5	335	11
6	592	11
7	1096	11
8	1668	11
9	2846	11
done	5000	11
0	15	21
1	34	21
2	84	21
3	128	15
4	197	15
5	335	11
6	592	11
7	1096	11
8	1668	11
9	2846	11
done	5000	11
0	12	19
1	29	13
2	60	6
3	94	6
4	135	6
5	197	6
6	244	6
7	284	6
8	394	6
done	394	6
0	13	23
1	30	19
2	61	13
3	119	7
4	165	7
5	275	6
6	367	6
7	440	6
done	440	6
0	13	23
1	27	23
2	51	23
3	115	18
4	270	15
5	873	9
6	2694	6
done	5000	6
0	13	21
1	32	17
2	74	11
3	189	8
4	238	8
5	398	8
6	515	8
7	586	8
8	819	8
9	944	8
10	1058	8
11	1168	8
12	1258	8
13	1428	8
14	1492	8
15	1828	8
16	1836	8
done	1836	8
0	14	25
1	34	21
2	84	15
3	200	12
4	344	9
5	548	9
6	919	8
7	1318	8
8	1489	8
9	1553	8
10	1891	8
11	1899	8
done	1899	8
0	14	25
1	31	25
2	75	25
3	203	25
4	566	17
5	2145	17
done	5000	17
0	15	23
1	37	19
2	94	13
3	281	10
4	438	10
5	869	10
6	1270	10
7	1350	10
8	1693	10
9	1866	10
10	2024	10
11	2200	10
12	2312	10
13	2488	10
14	2552	10
15	2892	10
16	2900	10
done	2900	10
0	16	27
1	39	23
2	102	19
3	326	13
4	510	11
5	1187	11
6	1739	10
7	2094	10
8	2207	10
9	2379	10
10	2443	10
11	2775	10
12	2783	10
done	2783	10
0	16	27
1	36	27
2	95	27
3	327	27
4	1091	22
5	4441	19
done	5000	19

prune270.0ms

Filtered

89 candidates to 110 candidates (-23.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	98	12	110
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	12	111

Merged error: 1.0b

Counts

111 → 12

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
0.2b	(- (* (- x 0.5) (log x)) x)
0.2b	(* (- x 0.5) (log x))
0.2b	(* (/ z x) (- 0.0027777777777778 (* 0.0007936500793651 z)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 109

Calls

4 calls:

12.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
8.0ms	(- (* (- x 0.5) (log x)) x)
9.0ms	(* (- x 0.5) (log x))
9.0ms	(* (/ z x) (- 0.0027777777777778 (* 0.0007936500793651 z)))

series123.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
42.0ms	(- (* (- x 0.5) (log x)) x)
31.0ms	(* (- x 0.5) (log x))
8.0ms	(* (/ z x) (- 0.0027777777777778 (* 0.0007936500793651 z)))

simplify6.4min

Counts

121 → 121

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	36	9
3	75	9
4	122	9
5	174	9
6	185	9
7	190	9
done	190	9
0	11	12
1	19	12
2	36	12
3	45	12
4	54	12
5	59	12
6	68	12
7	85	12
8	104	12
9	112	12
done	112	12
0	10	11
1	17	11
2	30	11
3	39	11
4	49	11
5	58	11
6	63	11
7	72	11
8	89	11
9	108	11
10	116	11
done	116	11
0	9	10
1	18	10
2	46	10
3	95	10
4	154	10
5	218	10
6	241	10
7	258	10
8	281	10
9	291	10
10	307	10
11	309	10
done	309	10
0	9	10
1	17	10
2	45	10
3	104	10
4	218	10
5	442	10
6	1019	10
7	3273	10
done	5001	10
0	14	29
1	32	29
2	134	15
3	716	13
4	4490	13
done	5000	13
0	12	29
1	28	29
2	102	13
3	469	13
4	2774	11
done	5000	11
0	10	21
1	16	21
2	38	21
3	77	21
4	120	21
5	172	21
6	183	21
7	188	21
done	188	21
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	10	29
1	26	29
2	117	11
3	604	11
4	3132	11
done	5001	11
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	11
1	29	11
2	90	11
3	325	11
4	1018	11
5	3144	11
done	5000	11
0	11	19
1	35	15
2	89	15
3	180	15
4	281	15
5	287	15
done	287	15
0	8	13
1	22	13
2	62	13
3	161	13
4	315	13
5	503	13
6	727	13
7	1213	13
8	4143	13
done	5001	13
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	11	12
1	17	12
2	27	12
3	29	12
4	31	12
5	32	12
done	32	12
0	11	12
1	17	12
2	27	12
3	29	12
4	31	12
5	32	12
done	32	12
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	8
1	17	8
2	40	8
3	84	8
4	123	8
5	132	8
6	139	8
7	140	8
done	140	8
0	5	5
1	8	5
2	11	5
3	13	5
4	15	5
5	16	5
done	16	5
0	7	8
1	17	8
2	40	8
3	84	8
4	123	8
5	132	8
6	139	8
7	140	8
done	140	8
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	7	8
1	17	8
2	43	8
3	88	8
4	123	8
5	133	8
6	137	8
done	137	8
0	5	5
1	8	5
2	11	5
3	15	5
4	16	5
done	16	5
0	7	8
1	17	8
2	43	8
3	88	8
4	123	8
5	133	8
6	137	8
done	137	8
0	10	17
1	18	17
2	33	17
3	41	17
4	50	17
5	56	17
6	61	17
7	62	17
done	62	17
0	9	10
1	15	10
2	25	10
3	27	10
4	29	10
5	30	10
done	30	10
0	5	5
1	10	3
2	20	3
done	20	3
0	9	10
1	13	10
2	26	10
3	47	10
4	61	10
5	69	10
done	69	10
0	9	10
1	13	10
2	26	10
3	47	10
4	61	10
5	69	10
done	69	10
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	9	10
1	15	10
2	37	10
3	83	10
4	134	10
5	212	10
6	280	10
7	304	10
done	304	10
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	10	11
1	16	11
2	38	11
3	84	11
4	143	11
5	221	11
6	289	11
7	313	11
done	313	11
0	9	10
1	15	10
2	37	10
3	83	10
4	134	10
5	212	10
6	280	10
7	304	10
done	304	10
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	8	9
1	14	9
2	36	9
3	75	9
4	122	9
5	174	9
6	185	9
7	190	9
done	190	9
0	8	9
1	14	9
2	36	9
3	75	9
4	122	9
5	174	9
6	185	9
7	190	9
done	190	9
0	9	9
1	17	9
2	39	7
3	110	7
4	234	7
5	310	7
6	364	7
7	382	7
done	382	7
0	11	13
1	33	13
2	103	13
3	400	13
4	1642	13
done	5000	13
0	10	15
1	26	15
2	77	15
3	245	15
4	674	15
5	1374	15
6	2162	15
7	3552	15
done	5001	15
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	12	7
2	20	7
3	25	7
4	29	7
done	29	7
0	6	7
1	11	7
2	30	5
3	51	5
4	94	5
5	177	5
6	422	5
7	1303	5
done	5000	5
0	9	20
1	18	20
2	56	10
3	180	10
4	619	8
5	2374	8
done	5000	8
0	7	15
1	10	15
2	17	15
3	22	15
4	26	15
done	26	15
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	20
1	20	20
2	74	8
3	285	8
4	864	8
5	2739	8
done	5000	8
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
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	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
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	742	9
done	742	9
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	11
1	12	11
2	21	11
3	38	11
4	50	11
5	58	11
done	58	11
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	8	10
1	24	10
2	52	10
3	131	10
4	308	10
5	980	10
6	4487	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	395	10
7	764	10
8	3363	10
done	5000	10
0	8	10
1	15	9
2	35	8
3	65	8
4	139	8
5	310	8
6	1076	8
done	5001	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	820	9
18	830	9
19	847	9
20	872	9
21	952	9
22	1249	9
23	2523	9
done	5000	9
0	7	9
1	15	9
2	30	8
3	61	8
4	124	8
5	273	8
6	841	8
7	3110	8
done	5001	8
0	8	19
1	13	19
2	21	19
3	32	19
4	46	19
5	54	19
6	66	19
7	91	19
8	134	19
9	181	19
10	208	19
11	248	19
12	295	19
13	376	19
14	510	19
15	574	19
16	806	19
17	814	19
done	814	19
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	8	26
1	14	26
2	36	10
3	118	10
4	543	10
5	3047	10
done	5001	10
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	9	12
1	30	12
2	88	12
3	263	12
4	831	12
5	2628	12
done	5000	12
0	10	26
1	29	24
2	67	24
3	172	19
4	450	19
5	1290	19
6	4164	19
done	5000	19
0	2	2
done	2	2
0	8	17
1	23	17
2	60	17
3	169	17
4	458	17
5	1304	17
6	4557	17
done	5000	17
0	6	8
1	10	8
2	17	8
3	26	8
4	38	8
5	45	8
6	57	8
7	76	8
8	98	8
9	121	8
10	144	8
11	174	8
12	216	8
13	274	8
14	339	8
15	441	8
16	537	8
17	671	8
18	780	8
19	784	8
done	784	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	807	9
17	815	9
done	815	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	807	9
17	815	9
done	815	9
0	6	8
1	11	8
2	19	8
3	30	8
4	44	8
5	52	8
6	64	8
7	89	8
8	132	8
9	179	8
10	206	8
11	244	8
12	289	8
13	370	8
14	504	8
15	568	8
16	802	8
17	810	8
done	810	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	809	9
17	817	9
done	817	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	809	9
17	817	9
done	817	9
0	6	8
1	11	8
2	19	8
3	30	8
4	44	8
5	52	8
6	64	8
7	89	8
8	132	8
9	179	8
10	206	8
11	244	8
12	289	8
13	370	8
14	504	8
15	568	8
16	804	8
17	812	8
done	812	8
0	2	2
done	2	2
0	11	13
1	21	12
2	50	11
3	98	10
4	247	10
5	662	10
6	2525	10
done	5000	10
0	10	12
1	21	11
2	45	11
3	104	10
4	258	10
5	669	10
6	2169	10
done	5000	10
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	9	11
1	20	11
2	45	11
3	101	10
4	236	10
5	539	10
6	1711	10
done	5000	10
0	10	23
1	18	23
2	35	23
3	63	23
4	124	23
5	192	23
6	285	23
7	475	23
8	627	23
9	660	23
10	677	23
11	735	23
12	815	23
13	918	23
14	1054	23
15	1118	23
16	1360	23
17	1368	23
done	1368	23
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	10	32
1	31	32
2	92	12
3	395	12
4	2786	12
done	5000	12
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	11	14
1	30	14
2	59	14
3	157	14
4	634	14
5	3426	14
done	5000	14
0	12	32
1	25	30
2	63	30
3	181	23
4	743	23
5	3750	23
done	5000	23
0	10	21
1	20	21
2	49	21
3	153	21
4	775	21
5	4008	21
done	5000	21
0	8	10
1	17	10
2	35	10
3	70	10
4	135	10
5	206	10
6	308	10
7	518	10
8	674	10
9	687	10
10	703	10
11	761	10
12	841	10
13	944	10
14	1080	10
15	1144	10
16	1384	10
17	1392	10
done	1392	10
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1052	10
15	1116	10
16	1352	10
17	1360	10
done	1360	10
0	4	4
1	5	4
2	6	3
done	6	3
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	626	11
9	659	11
10	676	11
11	734	11
12	814	11
13	917	11
14	1057	11
15	1121	11
16	1361	11
17	1369	11
done	1369	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	626	11
9	659	11
10	676	11
11	734	11
12	814	11
13	917	11
14	1057	11
15	1121	11
16	1361	11
17	1369	11
done	1369	11
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1052	10
15	1116	10
16	1352	10
17	1360	10
done	1360	10
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	623	11
9	657	11
10	674	11
11	732	11
12	812	11
13	915	11
14	1057	11
15	1121	11
16	1363	11
17	1371	11
done	1371	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	623	11
9	657	11
10	674	11
11	732	11
12	812	11
13	915	11
14	1057	11
15	1121	11
16	1363	11
17	1371	11
done	1371	11
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1050	10
15	1114	10
16	1352	10
17	1360	10
done	1360	10
0	4	4
1	5	4
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	12	19
1	29	13
2	60	6
3	94	6
4	135	6
5	197	6
6	244	6
7	284	6
8	394	6
done	394	6
0	13	23
1	30	19
2	61	13
3	119	7
4	165	7
5	275	6
6	367	6
7	440	6
done	440	6
0	13	23
1	27	23
2	51	23
3	115	18
4	270	15
5	873	9
6	2694	6
done	5000	6
0	13	21
1	32	17
2	74	11
3	189	8
4	238	8
5	398	8
6	515	8
7	586	8
8	819	8
9	944	8
10	1058	8
11	1168	8
12	1258	8
13	1428	8
14	1492	8
15	1828	8
16	1836	8
done	1836	8
0	14	25
1	34	21
2	84	15
3	200	12
4	344	9
5	548	9
6	919	8
7	1318	8
8	1489	8
9	1553	8
10	1891	8
11	1899	8
done	1899	8
0	14	25
1	31	25
2	75	25
3	203	25
4	566	17
5	2145	17
done	5000	17
0	15	23
1	37	19
2	94	13
3	281	10
4	438	10
5	869	10
6	1270	10
7	1350	10
8	1693	10
9	1866	10
10	2024	10
11	2200	10
12	2312	10
13	2488	10
14	2552	10
15	2892	10
16	2900	10
done	2900	10
0	16	27
1	39	23
2	102	19
3	326	13
4	510	11
5	1187	11
6	1739	10
7	2094	10
8	2207	10
9	2379	10
10	2443	10
11	2775	10
12	2783	10
done	2783	10
0	16	27
1	36	27
2	95	27
3	327	27
4	1091	22
5	4441	19
done	5000	19

prune263.0ms

Filtered

95 candidates to 121 candidates (-27.4%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	112	9	121
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	118	15	133

Merged error: 1.0b

Counts

133 → 15

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
0.2b	(- (* (- x 0.5) (log x)) x)
0.2b	(* (- x 0.5) (log x))
0.2b	(* z (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) x))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

29×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
20×	`add-cube-cbrt`
18×	`log-prod`
17×	`associate-r`
12×	`associate--l+`
11×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
10×	`times-frac`
9×	`pow1` `distribute-rgt-in` `distribute-lft-in`
8×	`associate-+l+` `associate-l`
3×	`prod-exp` `cbrt-unprod` `unswap-sqr`
2×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip--`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `flip3-+` `associate-*r/` `div-exp` `log-pow` `flip-+` `div-inv` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 101

Calls

4 calls:

12.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
8.0ms	(- (* (- x 0.5) (log x)) x)
8.0ms	(* (- x 0.5) (log x))
9.0ms	(* z (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) x))

series129.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(+ (- (* (- x 0.5) (log x)) x) 0.91893853320467)
41.0ms	(- (* (- x 0.5) (log x)) x)
25.0ms	(* (- x 0.5) (log x))
14.0ms	(* z (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) x))

simplify6.1min

Counts

113 → 113

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	39	9
3	69	9
4	110	9
5	175	9
6	200	9
7	202	9
done	202	9
0	11	12
1	19	12
2	33	12
3	42	12
4	48	12
5	58	12
6	65	12
7	77	12
8	100	12
9	114	12
10	120	12
done	120	12
0	10	11
1	20	11
2	39	11
3	56	11
4	82	11
5	97	11
6	102	11
7	111	11
8	128	11
9	147	11
10	155	11
done	155	11
0	9	10
1	21	10
2	49	10
3	89	10
4	149	10
5	227	10
6	264	10
7	284	10
8	300	10
9	307	10
10	324	10
11	326	10
done	326	10
0	9	10
1	20	10
2	48	10
3	96	10
4	193	10
5	443	10
6	1015	10
7	2912	10
done	5000	10
0	14	29
1	32	29
2	132	15
3	623	13
4	3056	13
done	5001	13
0	12	29
1	31	29
2	105	13
3	436	13
4	2247	11
done	5000	11
0	10	21
1	19	21
2	41	21
3	71	21
4	112	21
5	177	21
6	200	21
7	202	21
done	202	21
0	9	10
1	18	10
2	40	10
3	70	10
4	113	10
5	178	10
6	202	10
7	204	10
done	204	10
0	10	29
1	29	29
2	102	11
3	412	11
4	2091	11
done	5001	11
0	9	10
1	18	10
2	40	10
3	70	10
4	113	10
5	178	10
6	202	10
7	204	10
done	204	10
0	9	10
1	18	10
2	40	10
3	70	10
4	113	10
5	178	10
6	202	10
7	204	10
done	204	10
0	10	11
1	17	11
2	30	11
3	38	11
4	54	11
5	60	11
done	60	11
0	10	11
1	17	11
2	30	11
3	38	11
4	54	11
5	60	11
done	60	11
0	11	12
1	17	12
2	27	12
3	31	12
4	32	12
done	32	12
0	11	12
1	17	12
2	27	12
3	31	12
4	32	12
done	32	12
0	10	19
1	19	19
2	34	19
3	42	19
4	58	19
5	64	19
done	64	19
0	9	10
1	16	10
2	29	10
3	37	10
4	53	10
5	59	10
done	59	10
0	12	21
1	24	21
2	60	21
3	99	21
4	155	21
5	167	21
done	167	21
0	11	18
1	19	18
2	36	18
3	51	18
4	64	18
5	66	18
done	66	18
0	10	17
1	20	15
2	44	15
3	81	15
4	119	15
done	119	15
0	11	14
1	19	14
2	37	14
3	50	14
4	62	14
done	62	14
0	10	11
1	16	11
2	26	11
3	30	11
4	31	11
done	31	11
0	9	10
1	17	8
2	31	8
3	40	8
4	46	8
done	46	8
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	9	10
1	18	10
2	40	10
3	79	10
4	134	10
5	239	10
6	320	10
7	340	10
done	340	10
0	9	10
1	18	10
2	40	10
3	79	10
4	134	10
5	239	10
6	320	10
7	340	10
done	340	10
0	8	9
1	17	9
2	39	9
3	69	9
4	110	9
5	175	9
6	200	9
7	202	9
done	202	9
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	12	7
2	20	7
3	25	7
4	29	7
done	29	7
0	6	7
1	11	7
2	30	5
3	51	5
4	94	5
5	177	5
6	422	5
7	1303	5
done	5000	5
0	9	20
1	18	20
2	56	10
3	180	10
4	619	8
5	2374	8
done	5000	8
0	7	15
1	10	15
2	17	15
3	22	15
4	26	15
done	26	15
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	20
1	20	20
2	74	8
3	285	8
4	864	8
5	2739	8
done	5000	8
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
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	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
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	742	9
done	742	9
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	11
1	12	11
2	21	11
3	38	11
4	50	11
5	58	11
done	58	11
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	8	10
1	24	10
2	52	10
3	131	10
4	308	10
5	980	10
6	4487	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	395	10
7	764	10
8	3363	10
done	5000	10
0	8	10
1	15	9
2	35	8
3	65	8
4	139	8
5	310	8
6	1076	8
done	5001	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	820	9
18	830	9
19	847	9
20	872	9
21	952	9
22	1249	9
23	2523	9
done	5000	9
0	7	9
1	15	9
2	30	8
3	61	8
4	124	8
5	273	8
6	841	8
7	3110	8
done	5001	8
0	8	19
1	13	19
2	21	19
3	32	19
4	46	19
5	54	19
6	66	19
7	91	19
8	134	19
9	181	19
10	208	19
11	248	19
12	295	19
13	376	19
14	510	19
15	574	19
16	806	19
17	814	19
done	814	19
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	8	26
1	14	26
2	36	10
3	118	10
4	543	10
5	3047	10
done	5001	10
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	245	9
12	290	9
13	371	9
14	507	9
15	571	9
16	807	9
17	815	9
done	815	9
0	9	12
1	30	12
2	88	12
3	263	12
4	831	12
5	2628	12
done	5000	12
0	10	26
1	29	24
2	67	24
3	172	19
4	450	19
5	1290	19
6	4164	19
done	5000	19
0	2	2
done	2	2
0	8	17
1	23	17
2	60	17
3	169	17
4	458	17
5	1304	17
6	4557	17
done	5000	17
0	6	8
1	10	8
2	17	8
3	26	8
4	38	8
5	45	8
6	57	8
7	76	8
8	98	8
9	121	8
10	144	8
11	174	8
12	216	8
13	274	8
14	339	8
15	441	8
16	537	8
17	671	8
18	780	8
19	784	8
done	784	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	807	9
17	815	9
done	815	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	807	9
17	815	9
done	815	9
0	6	8
1	11	8
2	19	8
3	30	8
4	44	8
5	52	8
6	64	8
7	89	8
8	132	8
9	179	8
10	206	8
11	244	8
12	289	8
13	370	8
14	504	8
15	568	8
16	802	8
17	810	8
done	810	8
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	809	9
17	817	9
done	817	9
0	7	9
1	12	9
2	20	9
3	31	9
4	45	9
5	53	9
6	65	9
7	90	9
8	133	9
9	180	9
10	207	9
11	247	9
12	292	9
13	373	9
14	511	9
15	575	9
16	809	9
17	817	9
done	817	9
0	6	8
1	11	8
2	19	8
3	30	8
4	44	8
5	52	8
6	64	8
7	89	8
8	132	8
9	179	8
10	206	8
11	244	8
12	289	8
13	370	8
14	504	8
15	568	8
16	804	8
17	812	8
done	812	8
0	2	2
done	2	2
0	11	13
1	21	12
2	50	11
3	98	10
4	247	10
5	662	10
6	2525	10
done	5000	10
0	10	12
1	21	11
2	45	11
3	104	10
4	258	10
5	669	10
6	2169	10
done	5000	10
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	9	11
1	20	11
2	45	11
3	101	10
4	236	10
5	539	10
6	1711	10
done	5000	10
0	10	23
1	18	23
2	35	23
3	63	23
4	124	23
5	192	23
6	285	23
7	475	23
8	627	23
9	660	23
10	677	23
11	735	23
12	815	23
13	918	23
14	1054	23
15	1118	23
16	1360	23
17	1368	23
done	1368	23
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	10	32
1	31	32
2	92	12
3	395	12
4	2786	12
done	5000	12
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	190	11
6	284	11
7	476	11
8	631	11
9	664	11
10	681	11
11	739	11
12	819	11
13	922	11
14	1056	11
15	1120	11
16	1366	11
17	1374	11
done	1374	11
0	11	14
1	30	14
2	59	14
3	157	14
4	634	14
5	3426	14
done	5000	14
0	12	32
1	25	30
2	63	30
3	181	23
4	743	23
5	3750	23
done	5000	23
0	10	21
1	20	21
2	49	21
3	153	21
4	775	21
5	4008	21
done	5000	21
0	8	10
1	17	10
2	35	10
3	70	10
4	135	10
5	206	10
6	308	10
7	518	10
8	674	10
9	687	10
10	703	10
11	761	10
12	841	10
13	944	10
14	1080	10
15	1144	10
16	1384	10
17	1392	10
done	1392	10
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1052	10
15	1116	10
16	1352	10
17	1360	10
done	1360	10
0	4	4
1	5	4
2	6	3
done	6	3
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	626	11
9	659	11
10	676	11
11	734	11
12	814	11
13	917	11
14	1057	11
15	1121	11
16	1361	11
17	1369	11
done	1369	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	626	11
9	659	11
10	676	11
11	734	11
12	814	11
13	917	11
14	1057	11
15	1121	11
16	1361	11
17	1369	11
done	1369	11
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1052	10
15	1116	10
16	1352	10
17	1360	10
done	1360	10
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	623	11
9	657	11
10	674	11
11	732	11
12	812	11
13	915	11
14	1057	11
15	1121	11
16	1363	11
17	1371	11
done	1371	11
0	9	11
1	17	11
2	34	11
3	62	11
4	123	11
5	188	11
6	281	11
7	471	11
8	623	11
9	657	11
10	674	11
11	732	11
12	812	11
13	915	11
14	1057	11
15	1121	11
16	1363	11
17	1371	11
done	1371	11
0	8	10
1	16	10
2	33	10
3	61	10
4	122	10
5	188	10
6	282	10
7	474	10
8	629	10
9	662	10
10	679	10
11	737	10
12	817	10
13	920	10
14	1050	10
15	1114	10
16	1352	10
17	1360	10
done	1360	10
0	4	4
1	5	4
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	12	19
1	29	13
2	60	6
3	94	6
4	135	6
5	197	6
6	244	6
7	284	6
8	394	6
done	394	6
0	13	23
1	30	19
2	61	13
3	119	7
4	165	7
5	275	6
6	367	6
7	440	6
done	440	6
0	13	23
1	27	23
2	51	23
3	115	18
4	270	15
5	873	9
6	2694	6
done	5000	6
0	13	21
1	32	17
2	74	11
3	189	8
4	238	8
5	398	8
6	515	8
7	586	8
8	819	8
9	944	8
10	1058	8
11	1168	8
12	1258	8
13	1428	8
14	1492	8
15	1828	8
16	1836	8
done	1836	8
0	14	25
1	34	21
2	84	15
3	200	12
4	344	9
5	548	9
6	919	8
7	1318	8
8	1489	8
9	1553	8
10	1891	8
11	1899	8
done	1899	8
0	14	25
1	31	25
2	75	25
3	203	25
4	566	17
5	2145	17
done	5000	17
0	15	23
1	37	19
2	94	13
3	281	10
4	438	10
5	869	10
6	1270	10
7	1350	10
8	1693	10
9	1866	10
10	2024	10
11	2200	10
12	2312	10
13	2488	10
14	2552	10
15	2892	10
16	2900	10
done	2900	10
0	16	27
1	39	23
2	102	19
3	326	13
4	510	11
5	1187	11
6	1739	10
7	2094	10
8	2207	10
9	2379	10
10	2443	10
11	2775	10
12	2783	10
done	2783	10
0	16	27
1	36	27
2	95	27
3	327	27
4	1091	22
5	4441	19
done	5000	19

prune237.0ms

Filtered

89 candidates to 113 candidates (-27.0%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	2	12	14
Picked	0	1	1
Done	0	0	0
Total	114	14	128

Merged error: 1.0b

Counts

128 → 14

localize20.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- x 0.5) (log x))
0.2b	(/ z (sqrt x))
0.3b	(/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x))
0.3b	(* (/ z (sqrt x)) (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

98×	`add-sqr-sqrt`
84×	`times-frac`
66×	`*-un-lft-identity`
64×	`add-cube-cbrt`
48×	`sqrt-prod`
27×	`associate-l`
26×	`associate-r`
22×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
10×	`unswap-sqr`
9×	`pow1`
6×	`cbrt-undiv` `log-prod` `div-exp` `associate-/l*`
5×	`prod-exp` `cbrt-unprod`
4×	`div-inv` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/`
2×	`flip3--` `frac-2neg` `pow-prod-down` `clear-num` `*-commutative` `flip--` `associate-/l/`
1×	`frac-times` `div-sub` `associate-*r/` `log-pow` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 183

Calls

4 calls:

8.0ms	(* (- x 0.5) (log x))
5.0ms	(/ z (sqrt x))
7.0ms	(/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x))
21.0ms	(* (/ z (sqrt x)) (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x)))

series58.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (- x 0.5) (log x))
8.0ms	(/ z (sqrt x))
7.0ms	(/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x))
18.0ms	(* (/ z (sqrt x)) (/ (- 0.0027777777777778 (* 0.0007936500793651 z)) (sqrt x)))

simplify2.1min

Counts

195 → 195

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	10	13
1	21	13
2	48	13
3	110	13
4	200	9
5	379	9
6	539	9
7	575	9
8	583	9
done	583	9
0	13	17
1	24	17
2	53	17
3	99	17
4	168	16
5	224	15
6	289	15
7	326	15
8	327	15
done	327	15
0	13	16
1	26	16
2	56	16
3	101	16
4	181	16
5	251	15
6	313	15
7	350	15
8	351	15
done	351	15
0	13	16
1	23	16
2	44	16
3	78	16
4	139	16
5	233	15
6	304	15
7	348	15
8	349	15
done	349	15
0	12	15
1	24	15
2	48	15
3	81	15
4	149	15
5	240	15
6	324	15
7	378	15
8	398	15
done	398	15
0	11	14
1	25	14
2	60	14
3	142	14
4	292	10
5	556	10
6	820	10
7	957	10
8	1017	10
9	1042	10
done	1042	10
0	11	14
1	24	14
2	57	14
3	137	14
4	286	10
5	657	10
6	1410	10
7	3431	10
done	5001	10
0	16	41
1	41	33
2	180	21
3	1136	17
done	5000	17
0	16	41
1	43	37
2	163	19
3	832	19
done	5001	19
0	16	41
1	40	37
2	158	19
3	807	19
done	5000	19
0	14	41
1	39	41
2	136	17
3	600	17
4	3717	11
done	5000	11
0	12	29
1	23	29
2	50	29
3	112	29
4	200	21
5	377	21
6	555	21
7	592	21
8	600	21
done	600	21
0	11	14
1	22	14
2	49	14
3	111	14
4	198	10
5	375	10
6	539	10
7	575	10
8	583	10
done	583	10
0	12	41
1	33	41
2	129	15
3	580	15
4	3111	11
done	5000	11
0	11	14
1	22	14
2	49	14
3	111	14
4	198	10
5	375	10
6	539	10
7	575	10
8	583	10
done	583	10
0	11	14
1	22	14
2	49	14
3	111	14
4	198	10
5	375	10
6	539	10
7	575	10
8	583	10
done	583	10
0	6	7
1	10	7
2	23	7
3	37	7
4	41	7
done	41	7
0	3	5
done	3	1
0	12	15
1	19	15
2	32	15
3	39	15
4	55	15
5	61	15
done	61	15
0	12	15
1	19	15
2	32	15
3	39	15
4	55	15
5	61	15
done	61	15
0	13	16
1	19	16
2	29	16
3	33	16
4	34	16
done	34	16
0	13	16
1	19	16
2	29	16
3	33	16
4	34	16
done	34	16
0	13	16
1	19	16
2	29	16
3	33	16
4	34	16
done	34	16
0	13	16
1	19	16
2	29	16
3	33	16
4	34	16
done	34	16
0	13	16
1	22	16
2	38	16
3	48	16
4	66	16
5	73	16
done	73	16
0	13	16
1	22	16
2	38	16
3	48	16
4	66	16
5	73	16
done	73	16
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	16
1	22	16
2	38	16
3	48	16
4	66	16
5	73	16
done	73	16
0	13	16
1	22	16
2	38	16
3	48	16
4	66	16
5	73	16
done	73	16
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	13	17
1	21	17
2	36	17
3	48	17
4	60	12
5	64	12
done	64	12
0	12	24
1	23	24
2	44	24
3	58	24
4	83	24
5	95	24
6	100	24
done	100	24
0	11	14
1	20	14
2	36	14
3	44	14
4	62	14
5	69	14
done	69	14
0	14	26
1	28	26
2	76	26
3	171	26
4	374	26
5	640	26
6	714	26
7	724	26
done	724	26
0	15	25
1	26	22
2	51	22
3	94	22
4	169	22
5	240	22
6	257	22
7	263	22
done	263	22
0	13	22
1	23	22
2	48	22
3	91	22
4	166	22
5	236	22
6	253	22
7	259	22
done	259	22
0	14	21
1	26	20
2	51	20
3	94	18
4	203	18
5	297	18
6	320	18
done	320	18
0	13	22
1	23	22
2	48	22
3	91	22
4	166	22
5	236	22
6	253	22
7	259	22
done	259	22
0	13	20
1	25	18
2	58	18
3	143	18
4	243	18
5	280	18
6	281	18
done	281	18
0	13	19
1	23	19
2	49	19
3	88	19
4	154	19
5	214	19
6	223	19
done	223	19
0	14	18
1	23	15
2	39	15
3	56	15
4	77	15
5	89	15
6	91	15
done	91	15
0	12	15
1	20	15
2	36	15
3	53	15
4	74	15
5	86	15
6	88	15
done	88	15
0	13	14
1	23	13
2	39	13
3	56	11
4	111	11
5	162	11
6	170	11
done	170	11
0	12	15
1	20	15
2	36	15
3	53	15
4	74	15
5	86	15
6	88	15
done	88	15
0	12	13
1	22	11
2	42	11
3	74	11
4	103	11
5	110	11
done	110	11
0	9	14
1	18	14
2	36	12
3	106	12
4	180	12
5	255	12
6	320	12
7	327	12
done	327	12
0	10	13
1	18	10
2	27	8
3	65	8
4	81	8
5	102	8
6	128	8
7	131	8
done	131	8
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	8	9
1	15	8
2	23	6
3	61	4
4	160	4
5	202	4
6	211	4
7	212	4
done	212	4
0	8	10
1	15	10
2	24	8
3	62	8
4	76	8
5	97	8
6	122	8
7	125	8
done	125	8
0	7	8
1	14	6
2	24	4
3	39	4
4	58	4
5	74	4
6	75	4
done	75	4
0	6	6
1	11	4
2	21	4
done	21	4
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	11	14
1	20	14
2	42	14
3	80	14
4	131	14
5	236	14
6	321	14
7	337	14
done	337	14
0	11	14
1	20	14
2	42	14
3	80	14
4	131	14
5	236	14
6	321	14
7	337	14
done	337	14
0	12	15
1	23	15
2	51	15
3	121	15
4	246	15
5	546	15
6	1042	15
7	1421	15
8	1517	15
done	1517	15
0	13	15
1	24	15
2	52	15
3	122	15
4	241	15
5	543	15
6	1021	15
7	1391	15
8	1490	15
done	1490	15
0	12	15
1	23	15
2	51	15
3	121	15
4	246	15
5	546	15
6	1042	15
7	1421	15
8	1517	15
done	1517	15
0	11	14
1	22	14
2	49	14
3	114	14
4	223	10
5	453	10
6	735	10
7	899	10
8	947	10
done	947	10
0	12	15
1	23	15
2	51	15
3	121	15
4	246	15
5	546	15
6	1042	15
7	1421	15
8	1517	15
done	1517	15
0	11	14
1	22	14
2	49	14
3	114	14
4	223	10
5	453	10
6	735	10
7	899	10
8	947	10
done	947	10
0	12	15
1	23	15
2	51	15
3	121	15
4	246	15
5	546	15
6	1042	15
7	1421	15
8	1517	15
done	1517	15
0	13	15
1	24	15
2	52	15
3	122	15
4	241	15
5	543	15
6	1021	15
7	1391	15
8	1490	15
done	1490	15
0	12	15
1	23	15
2	51	15
3	121	15
4	246	15
5	546	15
6	1042	15
7	1421	15
8	1517	15
done	1517	15
0	11	14
1	22	14
2	49	14
3	114	14
4	223	10
5	453	10
6	735	10
7	899	10
8	947	10
done	947	10
0	12	15
1	23	15
2	51	15
3	121	15
4	246	15
5	546	15
6	1042	15
7	1421	15
8	1517	15
done	1517	15
0	11	14
1	22	14
2	49	14
3	114	14
4	223	10
5	453	10
6	735	10
7	899	10
8	947	10
done	947	10
0	11	14
1	22	14
2	50	14
3	120	14
4	230	14
5	488	14
6	785	14
7	900	14
8	921	14
done	921	14
0	12	14
1	23	14
2	51	14
3	121	14
4	233	14
5	491	14
6	779	14
7	886	14
8	907	14
done	907	14
0	11	14
1	22	14
2	50	14
3	120	14
4	230	14
5	488	14
6	785	14
7	900	14
8	921	14
done	921	14
0	10	13
1	21	13
2	48	13
3	110	13
4	200	9
5	379	9
6	539	9
7	575	9
8	583	9
done	583	9
0	11	14
1	22	14
2	50	14
3	120	14
4	230	14
5	488	14
6	785	14
7	900	14
8	921	14
done	921	14
0	10	13
1	21	13
2	48	13
3	110	13
4	200	9
5	379	9
6	539	9
7	575	9
8	583	9
done	583	9
0	10	13
1	21	13
2	48	13
3	110	13
4	200	9
5	379	9
6	539	9
7	575	9
8	583	9
done	583	9
0	11	13
1	24	13
2	51	11
3	160	11
4	402	7
5	733	7
6	938	7
7	1085	7
8	1113	7
done	1113	7
0	9	10
1	15	10
2	37	10
3	76	10
4	117	10
5	169	10
6	180	10
7	185	10
done	185	10
0	9	10
1	18	10
2	40	10
3	70	10
4	113	10
5	178	10
6	202	10
7	204	10
done	204	10
0	10	10
1	15	10
2	23	10
done	23	10
0	9	9
1	18	9
2	33	9
3	42	9
4	58	9
5	64	9
done	64	9
0	9	9
1	15	9
2	31	9
3	41	9
4	64	9
5	93	9
6	147	9
7	332	9
8	1022	9
9	3372	9
done	5000	9
0	12	26
1	24	22
2	72	12
3	226	12
4	759	12
5	3188	12
done	5001	12
0	10	19
1	16	19
2	29	19
3	37	19
4	53	19
5	59	19
done	59	19
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	10	26
1	23	26
2	64	10
3	228	10
4	893	10
5	3857	10
done	5000	10
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	6	6
1	9	6
2	19	6
3	29	6
4	40	5
done	40	5
0	3	3
done	3	3
0	4	4
done	4	4
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	12	21
1	21	21
2	37	21
3	43	21
done	43	21
0	10	10
1	13	10
2	20	10
done	20	10
0	12	20
1	18	17
2	27	17
3	28	17
done	28	17
0	10	10
1	13	10
2	20	10
done	20	10
0	11	17
1	16	17
2	25	17
3	26	17
done	26	17
0	10	10
1	13	10
2	20	10
done	20	10
0	10	16
1	17	15
2	26	15
3	27	13
4	34	13
done	34	13
0	9	9
1	12	9
2	19	9
done	19	9
0	11	17
1	16	17
2	25	17
3	26	17
done	26	17
0	10	10
1	13	10
2	20	10
done	20	10
0	9	15
1	16	13
2	29	13
3	34	13
done	34	13
0	9	9
1	12	9
2	19	9
done	19	9
0	11	14
1	16	14
2	23	14
done	23	14
0	10	10
1	13	10
2	20	10
done	20	10
0	11	13
1	15	10
2	22	10
done	22	10
0	10	10
1	13	10
2	20	10
done	20	10
0	10	10
1	13	10
2	20	10
done	20	10
0	10	10
1	13	10
2	20	10
done	20	10
0	9	9
1	14	8
2	21	8
done	21	8
0	9	9
1	12	9
2	19	9
done	19	9
0	10	10
1	13	10
2	20	10
done	20	10
0	10	10
1	13	10
2	20	10
done	20	10
0	8	8
1	13	6
2	22	6
done	22	6
0	9	9
1	12	9
2	19	9
done	19	9
0	6	9
1	10	9
done	10	9
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	6	8
1	9	5
done	9	5
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	5	5
1	7	5
done	7	5
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	3	4
1	5	3
done	5	3
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	5	5
1	7	5
done	7	5
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	2	3
1	4	1
done	4	1
0	8	8
1	14	8
2	27	8
3	35	8
4	51	8
5	57	8
done	57	8
0	4	4
1	6	4
done	6	4
0	8	8
1	11	8
2	18	8
done	18	8
0	10	13
1	18	13
2	40	13
3	71	13
4	114	13
5	138	13
6	146	13
done	146	13
0	10	12
1	17	9
2	30	9
3	38	9
4	54	9
5	60	9
done	60	9
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	8	8
1	16	7
2	29	7
3	37	5
4	57	5
5	72	5
6	90	5
done	90	5
0	9	9
1	15	9
2	28	9
3	36	9
4	52	9
5	58	9
done	58	9
0	7	7
1	15	5
2	30	5
3	41	5
4	67	5
5	75	5
6	81	5
done	81	5
0	9	9
1	12	9
2	19	9
done	19	9
0	9	9
1	12	9
2	19	9
done	19	9
0	8	8
1	11	8
2	18	8
done	18	8
0	12	20
1	36	16
2	90	16
3	180	16
4	264	16
5	270	16
done	270	16
0	8	8
1	17	8
2	26	8
3	30	8
done	30	8
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	11	8
done	11	8
0	6	7
1	12	7
2	20	7
3	25	7
4	29	7
done	29	7
0	6	7
1	11	7
2	30	5
3	51	5
4	94	5
5	177	5
6	422	5
7	1303	5
done	5000	5
0	9	20
1	18	20
2	56	10
3	180	10
4	619	8
5	2374	8
done	5000	8
0	7	15
1	10	15
2	17	15
3	22	15
4	26	15
done	26	15
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	20
1	20	20
2	74	8
3	285	8
4	864	8
5	2739	8
done	5000	8
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
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	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
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	742	9
done	742	9
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	6	6
1	11	5
2	18	1
3	22	1
done	22	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	7	11
1	12	11
2	21	11
3	38	11
4	50	11
5	58	11
done	58	11
0	6	7
1	9	7
2	16	7
3	21	7
4	25	7
done	25	7
0	5	5
1	10	3
2	20	3
3	31	3
4	40	3
5	44	3
done	44	3
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	7	8
1	10	8
2	17	8
3	22	8
4	26	8
done	26	8
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	8	10
1	24	10
2	52	10
3	131	10
4	308	10
5	980	10
6	4487	10
done	5000	10
0	7	10
1	13	10
2	30	10
3	76	10
4	159	10
5	245	10
6	395	10
7	764	10
8	3363	10
done	5000	10
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	11	13
1	24	13
2	54	13
3	90	13
4	153	13
5	224	9
6	261	9
7	325	9
8	535	9
9	1474	9
done	5000	9
0	17	25
1	39	25
2	113	25
3	248	25
4	738	21
5	2983	19
done	5000	19
0	14	17
1	38	15
2	93	15
3	199	15
4	385	15
5	781	15
6	2243	15
done	5000	15
0	19	25
1	53	23
2	148	23
3	420	21
4	1664	19
done	5000	19
0	15	19
1	36	17
2	70	15
3	131	15
4	280	15
5	601	15
6	1438	15
7	2893	15
done	5000	15
0	16	21
1	45	21
2	127	19
3	287	17
4	631	15
5	1737	15
done	5000	15
0	18	25
1	51	25
2	154	25
3	422	23
4	1538	21
done	5001	21
0	7	9
1	11	9
2	15	9
3	18	9
4	19	9
done	19	9
0	12	19
1	29	13
2	60	6
3	94	6
4	135	6
5	197	6
6	244	6
7	284	6
8	394	6
done	394	6
0	13	23
1	30	19
2	61	13
3	119	7
4	165	7
5	275	6
6	367	6
7	440	6
done	440	6
0	13	23
1	27	23
2	51	23
3	115	18
4	270	15
5	873	9
6	2694	6
done	5000	6

prune320.0ms

Filtered

153 candidates to 195 candidates (-27.5%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	195	14	209

Merged error: 1.0b

Counts

209 → 14

regimes761.0ms

Accuracy

92.8% (0.4b remaining)

Error of 1.0b against oracle of 0.6b and baseline of 6.1b

bsearch62.0ms

Steps

Iters	Range		Point
8	7.076988919692643e+193	1.1211938703257367e+198	2.4155518908027e+197
8	8048997583997.388	4.8811235553139706e+17	64580610598537.16

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	89
1	67	89
done	67	89

end0.0ms

sample2.7s

Algorithm

intervals

Results

908.0ms	11601×	body	80	valid
820.0ms	11481×	body	80	nan

Details

sample108.0ms

simplify4.1s

prune4.0ms

localize18.0ms

rewrite51.0ms

series141.0ms

simplify7.6min

prune270.0ms

localize18.0ms

rewrite42.0ms

series123.0ms

simplify6.4min

prune263.0ms

localize19.0ms

rewrite41.0ms

series129.0ms

simplify6.1min

prune237.0ms

localize20.0ms

rewrite49.0ms

series58.0ms

simplify2.1min

prune320.0ms

regimes761.0ms

bsearch62.0ms

simplify5.0ms

end0.0ms

sample2.7s

Profiling