Details

sample115.0ms

Algorithm

intervals

Results

58.0ms	849×	body	80	nan
20.0ms	297×	body	80	valid

simplify6.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	20
1	27	20
2	70	20
3	172	20
4	352	20
5	665	20
6	1100	20
7	1854	20
8	3928	20
done	5000	20

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
0.2b	(* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
0.3b	(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
0.4b	(sqrt (* 9.0 (- a (/ 1.0 3.0))))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
26×	`*-un-lft-identity` `times-frac`
24×	`add-cube-cbrt` `associate-l`
13×	`add-exp-log` `add-cbrt-cube`
11×	`pow1`
8×	`associate-*r/` `sqrt-prod`
6×	`flip3--` `sqrt-div` `associate-r` `flip--`
4×	`frac-times` `associate-/r*` `associate-/r/` `add-log-exp`
3×	`flip3-+` `pow-prod-down` `associate-l/` `prod-exp` `cbrt-unprod` `flip-+` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `sqrt-pow1` `div-exp` `*-commutative` `div-inv` `difference-of-squares`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow1/2` `clear-num` `distribute-lft-out--`

Counts

4 → 114

Calls

4 calls:

12.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
16.0ms	(* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
11.0ms	(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
8.0ms	(sqrt (* 9.0 (- a (/ 1.0 3.0))))

series59.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)))
24.0ms	(* (/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0))))) rand)
11.0ms	(/ 1.0 (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
7.0ms	(sqrt (* 9.0 (- a (/ 1.0 3.0))))

simplify2.8min

Counts

126 → 126

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	10	19
1	13	19
2	22	19
3	31	19
4	45	19
5	54	19
6	59	19
7	64	19
8	66	19
done	66	19
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	10	26
1	14	16
2	34	10
3	74	10
4	123	10
5	193	10
6	293	10
7	414	10
8	663	10
9	1614	10
done	5000	10
0	2	2
done	2	2
0	6	6
1	8	6
2	11	6
done	11	6
0	11	12
1	30	12
2	78	12
3	237	12
4	882	12
5	3751	12
done	5000	12
0	10	18
1	23	14
2	41	14
3	58	14
4	70	14
5	74	14
6	75	14
done	75	14
0	10	14
1	20	14
2	45	14
3	114	14
4	281	14
5	576	14
6	945	14
7	1533	14
8	4590	14
done	5000	14
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	11	12
1	16	12
2	26	12
3	35	12
4	49	12
5	58	12
6	63	12
7	68	12
8	70	12
done	70	12
0	10	11
1	16	11
2	27	11
3	37	11
4	51	11
5	60	11
6	65	11
7	70	11
8	72	11
done	72	11
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	13	32
1	25	22
2	91	14
3	311	12
4	684	12
5	1214	12
6	2663	12
done	5000	12
0	11	23
1	14	23
2	23	23
3	32	23
4	46	23
5	55	23
6	60	23
7	65	23
8	67	23
done	67	23
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	11	32
1	21	32
2	46	12
3	93	12
4	172	12
5	351	12
6	954	12
7	2450	12
done	5000	12
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	2	2
done	2	2
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	13	25
1	22	25
2	40	25
3	55	25
4	69	25
5	78	25
6	83	25
7	88	25
8	90	25
done	90	25
0	11	12
1	14	12
2	23	12
3	32	12
4	46	12
5	55	12
6	60	12
7	65	12
8	67	12
done	67	12
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	8	9
1	10	9
2	13	9
done	13	9
0	12	15
1	17	15
2	28	15
3	38	15
4	52	15
5	61	15
6	66	15
7	71	15
8	73	15
done	73	15
0	11	12
1	14	12
2	23	12
3	32	12
4	46	12
5	55	12
6	60	12
7	65	12
8	67	12
done	67	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	12	22
1	17	22
2	26	22
3	35	22
4	49	22
5	58	22
6	63	22
7	68	22
8	70	22
done	70	22
0	11	12
1	14	12
2	23	12
3	32	12
4	46	12
5	55	12
6	60	12
7	65	12
8	67	12
done	67	12
0	5	5
done	5	5
0	8	9
1	10	9
2	13	9
done	13	9
0	11	12
1	14	12
2	23	12
3	32	12
4	46	12
5	55	12
6	60	12
7	65	12
8	67	12
done	67	12
0	11	12
1	14	12
2	23	12
3	32	12
4	46	12
5	55	12
6	60	12
7	65	12
8	67	12
done	67	12
0	4	4
1	6	2
2	8	2
done	8	2
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	12	21
1	19	21
2	28	21
3	37	21
4	51	21
5	60	21
6	65	21
7	70	21
8	72	21
done	72	21
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
2	12	8
done	12	8
0	11	11
1	16	11
2	25	11
3	34	11
4	48	11
5	57	11
6	62	11
7	67	11
8	69	11
done	69	11
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	2	3
1	4	1
done	4	1
0	9	10
1	12	10
2	21	10
3	30	10
4	44	10
5	53	10
6	58	10
7	63	10
8	65	10
done	65	10
0	10	10
1	15	10
2	24	10
3	33	10
4	47	10
5	56	10
6	61	10
7	66	10
8	68	10
done	68	10
0	9	10
1	12	10
2	21	10
3	30	10
4	44	10
5	53	10
6	58	10
7	63	10
8	65	10
done	65	10
0	11	21
1	16	21
2	25	21
3	34	21
4	48	21
5	57	21
6	62	21
7	67	21
8	69	21
done	69	21
0	4	4
done	4	4
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	3	3
1	5	1
done	5	1
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	10	11
1	13	11
2	22	11
3	31	11
4	45	11
5	54	11
6	59	11
7	64	11
8	66	11
done	66	11
0	9	10
1	12	10
2	21	10
3	30	10
4	44	10
5	53	10
6	58	10
7	63	10
8	65	10
done	65	10
0	12	14
1	31	14
2	79	14
3	238	14
4	876	14
5	3758	14
done	5000	14
0	11	16
1	21	16
2	46	16
3	115	16
4	278	16
5	575	16
6	950	16
7	1534	16
8	4584	16
done	5000	16
0	11	12
1	17	12
2	29	12
3	40	12
4	56	12
5	66	12
6	71	12
7	76	12
8	78	12
done	78	12
0	14	15
1	22	15
2	41	15
3	59	15
4	82	15
5	96	15
6	110	15
7	132	15
8	153	15
9	161	15
done	161	15
0	13	14
1	20	14
2	35	14
3	53	14
4	77	14
5	95	14
6	105	14
7	119	14
8	138	14
9	157	14
10	165	14
done	165	14
0	12	13
1	21	13
2	39	13
3	60	13
4	92	13
5	114	13
6	131	13
7	148	13
8	173	13
9	185	13
10	201	13
11	203	13
done	203	13
0	12	13
1	20	13
2	38	13
3	57	13
4	98	13
5	173	13
6	344	13
7	876	13
8	3119	13
done	5000	13
0	17	38
1	35	28
2	146	18
3	827	16
4	4237	16
done	5001	16
0	15	38
1	31	38
2	89	16
3	256	16
4	838	14
5	2933	14
done	5001	14
0	13	27
1	19	27
2	31	27
3	42	27
4	58	27
5	68	27
6	73	27
7	78	27
8	80	27
done	80	27
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	13	38
1	29	38
2	92	14
3	319	14
4	890	14
5	2512	14
done	5000	14
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	13	14
1	17	14
2	26	14
3	35	14
4	49	14
5	58	14
6	63	14
7	68	14
8	70	14
done	70	14
0	13	14
1	17	14
2	26	14
3	35	14
4	49	14
5	58	14
6	63	14
7	68	14
8	70	14
done	70	14
0	14	15
1	20	15
2	32	15
3	43	15
4	59	15
5	69	15
6	74	15
7	79	15
8	81	15
done	81	15
0	14	15
1	20	15
2	32	15
3	43	15
4	59	15
5	69	15
6	74	15
7	79	15
8	81	15
done	81	15
0	13	16
1	21	16
2	38	16
3	55	16
4	78	16
5	93	16
6	103	16
7	109	16
8	111	16
done	111	16
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	11	12
1	19	10
2	38	10
3	47	10
4	61	10
5	70	10
6	75	10
7	80	10
8	82	10
done	82	10
0	12	13
1	16	13
2	25	13
3	34	13
4	48	13
5	57	13
6	62	13
7	67	13
8	69	13
done	69	13
0	12	13
1	16	13
2	25	13
3	34	13
4	48	13
5	57	13
6	62	13
7	67	13
8	69	13
done	69	13
0	13	14
1	19	14
2	31	14
3	42	14
4	58	14
5	68	14
6	73	14
7	78	14
8	80	14
done	80	14
0	10	11
1	15	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	13	14
1	19	14
2	31	14
3	42	14
4	58	14
5	68	14
6	73	14
7	78	14
8	80	14
done	80	14
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	13	14
1	19	14
2	31	14
3	42	14
4	58	14
5	68	14
6	73	14
7	78	14
8	80	14
done	80	14
0	10	11
1	15	11
2	21	11
3	23	11
4	25	11
5	26	11
done	26	11
0	13	14
1	19	14
2	31	14
3	42	14
4	58	14
5	68	14
6	73	14
7	78	14
8	80	14
done	80	14
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	9	10
1	14	10
2	20	10
3	22	10
4	24	10
5	25	10
done	25	10
0	12	13
1	18	13
2	30	13
3	41	13
4	57	13
5	67	13
6	72	13
7	77	13
8	79	13
done	79	13
0	11	12
1	17	12
2	29	12
3	40	12
4	56	12
5	66	12
6	71	12
7	76	12
8	78	12
done	78	12
0	11	12
1	17	12
2	29	12
3	40	12
4	56	12
5	66	12
6	71	12
7	76	12
8	78	12
done	78	12
0	12	12
1	20	12
2	32	10
3	41	10
4	55	10
5	64	10
6	69	10
7	74	10
8	76	10
done	76	10
0	12	20
1	26	16
2	44	16
3	61	16
4	73	16
5	77	16
6	78	16
done	78	16
0	8	8
1	10	8
done	10	8
0	3	3
1	4	3
done	4	3
0	13	20
1	27	20
2	70	20
3	172	20
4	352	20
5	665	20
6	1100	20
7	1854	20
8	3928	20
done	5000	20
0	15	22
1	23	22
2	35	22
3	46	22
4	62	22
5	75	22
6	87	22
7	103	22
8	109	22
done	109	22
0	14	21
1	31	21
2	75	21
3	175	21
4	354	21
5	667	21
6	1097	21
7	1850	21
8	3925	21
done	5000	21
0	14	21
1	30	21
2	87	21
3	224	21
4	523	21
5	1250	21
6	4439	21
done	5000	21
0	17	62
1	43	62
2	172	24
3	786	24
4	4342	22
done	5000	22
0	15	43
1	29	43
2	72	43
3	176	43
4	361	43
5	672	43
6	1105	43
7	1862	43
8	3937	43
done	5000	43
0	14	21
1	28	21
2	71	21
3	171	21
4	351	21
5	659	21
6	1090	21
7	1844	21
8	3917	21
done	5000	21
0	15	62
1	39	62
2	171	22
3	899	22
done	5001	22
0	14	21
1	28	21
2	71	21
3	171	21
4	351	21
5	659	21
6	1090	21
7	1844	21
8	3917	21
done	5000	21
0	14	21
1	28	21
2	71	21
3	171	21
4	351	21
5	659	21
6	1090	21
7	1844	21
8	3917	21
done	5000	21
0	19	28
1	63	28
2	211	28
3	1047	28
done	5001	28
0	22	62
1	65	45
2	208	45
3	869	45
4	4264	45
done	5000	45
0	19	39
1	56	39
2	170	39
3	593	39
4	3111	39
done	5000	39
0	18	32
1	40	28
2	99	28
3	267	28
4	878	28
5	2686	28
done	5000	28
0	19	30
1	57	30
2	196	30
3	1049	30
done	5001	30
0	18	50
1	49	37
2	157	37
3	537	37
4	1810	37
5	4795	36
done	5000	36
0	18	41
1	45	41
2	141	41
3	534	41
4	2820	41
done	5000	41
0	14	20
1	24	20
2	59	20
3	131	20
4	321	20
5	606	20
6	1122	20
7	1671	20
8	2358	20
9	4432	20
done	5000	20
0	15	22
1	23	22
2	35	22
3	46	22
4	62	22
5	75	22
6	84	22
7	95	22
8	97	22
done	97	22
0	15	22
1	23	22
2	35	22
3	46	22
4	62	22
5	75	22
6	84	22
7	95	22
8	97	22
done	97	22
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	12	18
1	21	18
2	51	18
3	130	18
4	274	18
5	522	18
6	792	18
7	942	18
8	995	18
9	996	18
done	996	18
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	12	18
1	21	18
2	57	18
3	144	18
4	279	18
5	529	18
6	820	18
7	953	18
8	981	18
9	982	18
done	982	18
0	15	37
1	25	37
2	45	37
3	77	37
4	120	37
5	170	37
6	210	37
7	249	37
8	268	37
9	276	37
done	276	37
0	14	21
1	22	21
2	40	21
3	60	21
4	89	21
5	110	21
6	124	21
7	140	21
8	144	21
done	144	21
0	7	7
1	12	5
2	24	5
3	39	5
4	62	5
5	94	5
6	107	5
7	120	5
8	126	5
done	126	5
0	14	21
1	28	21
2	53	21
3	76	21
4	110	21
5	138	21
6	163	21
7	185	21
8	205	21
9	269	21
10	373	21
11	421	21
12	425	21
done	425	21
0	14	21
1	28	21
2	53	21
3	76	21
4	110	21
5	138	21
6	163	21
7	185	21
8	205	21
9	269	21
10	373	21
11	421	21
12	425	21
done	425	21
0	13	20
1	27	20
2	70	20
3	172	20
4	352	20
5	665	20
6	1100	20
7	1854	20
8	3928	20
done	5000	20
0	16	22
1	32	22
2	76	22
3	166	22
4	303	22
5	490	22
6	754	22
7	1342	22
8	2949	22
9	4283	22
done	5000	22
0	18	23
1	34	23
2	80	23
3	184	23
4	372	23
5	710	23
6	1277	23
7	2317	23
done	5000	23
0	13	20
1	27	20
2	70	20
3	172	20
4	352	20
5	665	20
6	1100	20
7	1854	20
8	3928	20
done	5000	20
0	16	24
1	46	24
2	155	24
3	702	24
4	3491	24
done	5000	24
0	15	35
1	34	35
2	108	35
3	368	35
4	1466	35
done	5000	35
0	17	24
1	49	24
2	133	24
3	471	24
4	2208	24
done	5000	24
0	16	26
1	38	26
2	112	26
3	418	26
4	1429	26
5	4293	26
done	5000	26
0	21	32
1	51	32
2	151	32
3	577	32
4	2661	29
done	5001	29
0	27	48
1	71	48
2	236	48
3	705	41
4	2344	36
done	5000	36
0	21	33
1	57	33
2	182	33
3	489	33
4	1271	31
5	3640	27
done	5000	27
0	26	43
1	66	43
2	217	43
3	642	36
4	2313	33
done	5001	33
0	36	69
1	100	69
2	373	69
3	1743	57
done	5001	57
0	26	39
1	71	39
2	207	33
3	718	33
4	2742	27
done	5000	27
0	30	51
1	87	51
2	333	51
3	1297	42
done	5001	37
0	40	81
1	128	81
2	539	81
3	2986	59
done	5000	59
0	28	43
1	78	43
2	242	43
3	745	37
4	2502	29
done	5000	29
0	14	15
1	26	15
2	52	15
3	100	15
4	218	15
5	353	15
6	483	15
7	901	15
8	1996	15
9	3052	15
10	3237	15
done	3237	15
0	18	25
1	52	23
2	159	21
3	625	19
4	3100	16
done	5000	16
0	16	23
1	37	23
2	79	21
3	139	17
4	198	17
5	244	17
6	265	17
7	289	17
8	318	17
9	350	17
10	488	17
11	584	17
12	689	17
13	855	17
14	1230	17
15	1846	17
16	2122	17
17	2309	17
18	2445	17
19	2459	17
done	2459	17

prune398.0ms

Filtered

111 candidates to 126 candidates (-13.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	120	6	126
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	121	6	127

Merged error: 0b

Counts

127 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 9.0 (- a (/ 1.0 3.0)))
0.1b	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ rand (sqrt (* 9.0 (- a (/ 1.0 3.0))))))))
0.2b	(/ rand (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
0.4b	(sqrt (* 9.0 (- a (/ 1.0 3.0))))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 104

Calls

4 calls:

10.0ms	(* 9.0 (- a (/ 1.0 3.0)))
11.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ rand (sqrt (* 9.0 (- a (/ 1.0 3.0))))))))
12.0ms	(/ rand (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
9.0ms	(sqrt (* 9.0 (- a (/ 1.0 3.0))))

series51.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 9.0 (- a (/ 1.0 3.0)))
17.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ rand (sqrt (* 9.0 (- a (/ 1.0 3.0))))))))
18.0ms	(/ rand (sqrt (* 9.0 (- a (/ 1.0 3.0)))))
11.0ms	(sqrt (* 9.0 (- a (/ 1.0 3.0))))

simplify2.4min

Counts

116 → 116

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	10	19
1	13	19
2	22	19
3	31	19
4	45	19
5	54	19
6	59	19
7	64	19
8	66	19
done	66	19
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	10	26
1	14	16
2	34	10
3	74	10
4	123	10
5	193	10
6	293	10
7	414	10
8	663	10
9	1614	10
done	5000	10
0	2	2
done	2	2
0	6	6
1	8	6
2	11	6
done	11	6
0	11	12
1	30	12
2	78	12
3	237	12
4	882	12
5	3751	12
done	5000	12
0	10	18
1	23	14
2	41	14
3	58	14
4	70	14
5	74	14
6	75	14
done	75	14
0	10	14
1	20	14
2	45	14
3	114	14
4	281	14
5	576	14
6	945	14
7	1533	14
8	4590	14
done	5000	14
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	12	12
1	17	12
2	27	12
3	36	12
4	50	12
5	59	12
6	64	12
7	69	12
8	71	12
done	71	12
0	11	11
1	17	11
2	28	11
3	38	11
4	52	11
5	61	11
6	66	11
7	71	11
8	73	11
done	73	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	14	32
1	26	22
2	92	14
3	312	12
4	684	12
5	1217	12
6	2668	12
done	5000	12
0	12	23
1	15	23
2	24	23
3	33	23
4	47	23
5	56	23
6	61	23
7	66	23
8	68	23
done	68	23
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	12	32
1	22	32
2	47	12
3	94	12
4	173	12
5	352	12
6	955	12
7	2467	12
done	5000	12
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	2	2
done	2	2
0	9	9
1	12	9
2	21	9
3	30	9
4	44	9
5	53	9
6	58	9
7	63	9
8	65	9
done	65	9
0	14	25
1	23	25
2	41	25
3	56	25
4	70	25
5	79	25
6	84	25
7	89	25
8	91	25
done	91	25
0	12	12
1	15	12
2	24	12
3	33	12
4	47	12
5	56	12
6	61	12
7	66	12
8	68	12
done	68	12
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	9	9
1	11	9
2	14	9
done	14	9
0	13	15
1	18	15
2	29	15
3	39	15
4	53	15
5	62	15
6	67	15
7	72	15
8	74	15
done	74	15
0	12	12
1	15	12
2	24	12
3	33	12
4	47	12
5	56	12
6	61	12
7	66	12
8	68	12
done	68	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	13	22
1	18	22
2	27	22
3	36	22
4	50	22
5	59	22
6	64	22
7	69	22
8	71	22
done	71	22
0	12	12
1	15	12
2	24	12
3	33	12
4	47	12
5	56	12
6	61	12
7	66	12
8	68	12
done	68	12
0	5	5
done	5	5
0	9	9
1	11	9
2	14	9
done	14	9
0	12	12
1	15	12
2	24	12
3	33	12
4	47	12
5	56	12
6	61	12
7	66	12
8	68	12
done	68	12
0	12	12
1	15	12
2	24	12
3	33	12
4	47	12
5	56	12
6	61	12
7	66	12
8	68	12
done	68	12
0	4	4
1	6	2
2	8	2
done	8	2
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	12	21
1	19	21
2	28	21
3	37	21
4	51	21
5	60	21
6	65	21
7	70	21
8	72	21
done	72	21
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	4	4
1	6	4
done	6	4
0	8	8
1	10	8
2	13	8
done	13	8
0	11	11
1	16	11
2	25	11
3	34	11
4	48	11
5	57	11
6	62	11
7	67	11
8	69	11
done	69	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	2	3
1	4	1
done	4	1
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	10	10
1	15	10
2	24	10
3	33	10
4	47	10
5	56	10
6	61	10
7	66	10
8	68	10
done	68	10
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	12	21
1	17	21
2	26	21
3	35	21
4	49	21
5	58	21
6	63	21
7	68	21
8	70	21
done	70	21
0	4	4
done	4	4
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	3	3
1	5	1
done	5	1
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	11	11
1	14	11
2	23	11
3	32	11
4	46	11
5	55	11
6	60	11
7	65	11
8	67	11
done	67	11
0	10	10
1	13	10
2	22	10
3	31	10
4	45	10
5	54	10
6	59	10
7	64	10
8	66	10
done	66	10
0	13	14
1	32	14
2	80	14
3	239	14
4	882	14
5	3729	14
done	5000	14
0	12	16
1	22	16
2	47	16
3	116	16
4	281	16
5	578	16
6	951	16
7	1533	16
8	4597	16
done	5000	16
0	13	20
1	27	20
2	71	20
3	187	20
4	482	20
5	1026	20
6	1654	20
7	3416	20
done	5000	20
0	15	22
1	23	22
2	38	22
3	58	22
4	84	22
5	97	22
6	102	22
7	107	22
8	109	22
done	109	22
0	14	21
1	31	21
2	76	21
3	193	21
4	499	21
5	1049	21
6	1679	21
7	3456	21
done	5000	21
0	14	21
1	30	21
2	88	21
3	240	21
4	670	21
5	1735	21
done	5001	21
0	17	62
1	43	62
2	171	24
3	795	24
done	5001	24
0	15	43
1	29	43
2	73	43
3	189	43
4	484	43
5	1030	43
6	1661	43
7	3414	43
done	5000	43
0	14	21
1	28	21
2	72	21
3	186	21
4	479	21
5	1024	21
6	1654	21
7	3417	21
done	5000	21
0	15	62
1	39	62
2	172	22
3	930	22
done	5000	22
0	14	21
1	28	21
2	72	21
3	186	21
4	479	21
5	1024	21
6	1654	21
7	3417	21
done	5000	21
0	14	21
1	28	21
2	72	21
3	186	21
4	479	21
5	1024	21
6	1654	21
7	3417	21
done	5000	21
0	19	28
1	62	28
2	211	28
3	1085	28
done	5001	28
0	22	62
1	62	45
2	207	45
3	894	43
4	4289	43
done	5000	43
0	19	39
1	55	39
2	173	37
3	616	37
4	3448	37
done	5000	37
0	18	32
1	40	28
2	98	28
3	270	28
4	893	28
5	3188	28
done	5000	28
0	19	30
1	56	30
2	196	30
3	1083	30
done	5000	30
0	18	50
1	46	37
2	156	37
3	550	35
4	1870	35
done	5001	35
0	18	41
1	44	41
2	144	39
3	564	39
4	3101	39
done	5000	39
0	14	20
1	24	20
2	58	20
3	134	20
4	338	20
5	778	20
6	1448	20
7	2117	20
8	4014	20
done	5000	20
0	15	22
1	23	22
2	38	22
3	55	22
4	76	22
5	85	22
6	90	22
7	95	22
8	97	22
done	97	22
0	15	22
1	23	22
2	38	22
3	55	22
4	76	22
5	85	22
6	90	22
7	95	22
8	97	22
done	97	22
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	12	18
1	21	18
2	51	18
3	126	18
4	287	18
5	541	18
6	805	18
7	931	18
8	975	18
9	976	18
done	976	18
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	12	18
1	21	18
2	57	18
3	147	18
4	311	18
5	569	18
6	840	18
7	964	18
8	1007	18
9	1008	18
done	1008	18
0	15	37
1	25	37
2	48	37
3	86	37
4	134	37
5	178	37
6	212	37
7	245	37
8	265	37
9	273	37
done	273	37
0	14	21
1	22	21
2	43	21
3	69	21
4	103	21
5	120	21
6	130	21
7	140	21
8	144	21
done	144	21
0	7	7
1	12	5
2	24	5
3	39	5
4	62	5
5	94	5
6	107	5
7	120	5
8	126	5
done	126	5
0	14	21
1	28	21
2	54	21
3	93	21
4	150	21
5	191	21
6	263	21
7	370	21
8	419	21
9	424	21
done	424	21
0	14	21
1	28	21
2	54	21
3	93	21
4	150	21
5	191	21
6	263	21
7	370	21
8	419	21
9	424	21
done	424	21
0	13	20
1	27	20
2	71	20
3	187	20
4	482	20
5	1026	20
6	1654	20
7	3416	20
done	5000	20
0	16	22
1	32	22
2	77	22
3	179	22
4	413	22
5	789	22
6	1244	22
7	2519	22
done	5000	22
0	18	23
1	34	23
2	81	23
3	197	23
4	500	23
5	1095	23
6	1982	23
7	4339	23
done	5000	23
0	13	20
1	27	20
2	71	20
3	187	20
4	482	20
5	1026	20
6	1654	20
7	3416	20
done	5000	20
0	16	24
1	45	24
2	155	24
3	748	24
4	3965	24
done	5000	24
0	15	35
1	33	35
2	111	33
3	390	33
4	1630	33
done	5001	33
0	17	24
1	49	24
2	134	24
3	482	24
4	2432	24
done	5000	24
0	16	26
1	38	26
2	113	26
3	425	26
4	1630	26
done	5001	26
0	7	7
1	10	7
2	19	7
3	28	7
4	42	7
5	51	7
6	56	7
7	61	7
8	63	7
done	63	7
0	9	9
1	12	9
2	15	9
done	15	9
0	8	8
1	14	8
2	24	8
3	33	8
4	47	8
5	56	8
6	61	8
7	66	8
8	68	8
done	68	8
0	8	8
1	13	8
2	28	8
3	57	8
4	110	8
5	227	8
6	503	8
7	1548	8
done	5000	8
0	11	23
1	20	23
2	66	11
3	255	11
4	993	9
5	4121	9
done	5000	9
0	9	17
1	12	17
2	21	17
3	30	17
4	44	17
5	53	17
6	58	17
7	63	17
8	65	17
done	65	17
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	9	23
1	22	23
2	78	9
3	286	9
4	985	9
5	3682	9
done	5000	9
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	9	9
1	12	9
2	15	9
done	15	9
0	9	9
1	12	9
2	15	9
done	15	9
0	3	3
1	4	3
done	4	3
0	6	6
1	11	6
2	20	6
3	32	6
4	38	6
5	46	6
6	48	6
done	48	6
0	3	3
1	4	3
done	4	3
0	6	6
1	11	6
2	20	6
3	32	6
4	38	6
5	46	6
6	48	6
done	48	6
0	3	3
1	4	3
done	4	3
0	6	6
1	11	6
2	20	6
3	31	6
4	38	6
5	41	6
6	46	6
7	48	6
done	48	6
0	3	3
1	4	3
done	4	3
0	6	6
1	11	6
2	20	6
3	31	6
4	38	6
5	41	6
6	46	6
7	48	6
done	48	6
0	9	15
1	14	15
2	19	15
done	19	15
0	8	8
1	11	8
2	14	8
done	14	8
0	3	3
1	6	1
done	6	1
0	9	9
1	17	9
2	18	9
done	18	9
0	10	10
1	18	10
2	23	10
3	27	10
4	29	10
5	30	10
done	30	10
0	3	3
1	6	1
done	6	1
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	8	8
1	11	8
2	20	8
3	29	8
4	43	8
5	52	8
6	57	8
7	62	8
8	64	8
done	64	8
0	7	7
1	10	7
2	19	7
3	28	7
4	42	7
5	51	7
6	56	7
7	61	7
8	63	7
done	63	7
0	10	11
1	29	11
2	77	11
3	236	11
4	877	11
5	3741	11
done	5000	11
0	9	13
1	19	13
2	44	13
3	113	13
4	280	13
5	575	13
6	947	13
7	1527	13
8	4623	13
done	5000	13
0	21	32
1	51	32
2	151	32
3	577	32
4	2661	29
done	5001	29
0	27	48
1	71	48
2	236	48
3	705	41
4	2344	36
done	5000	36
0	21	33
1	57	33
2	182	33
3	489	33
4	1271	31
5	3640	27
done	5000	27
0	28	49
1	82	49
2	318	49
3	1263	40
done	5001	32
0	36	77
1	118	77
2	479	77
3	2669	59
done	5001	59
0	24	37
1	65	37
2	196	37
3	547	31
4	1501	27
5	4036	25
done	5000	25
0	14	15
1	26	15
2	52	15
3	100	15
4	218	15
5	353	15
6	483	15
7	901	15
8	1996	15
9	3052	15
10	3237	15
done	3237	15
0	18	25
1	52	23
2	159	21
3	625	19
4	3100	16
done	5000	16
0	16	23
1	37	23
2	79	21
3	139	17
4	198	17
5	244	17
6	265	17
7	289	17
8	318	17
9	350	17
10	488	17
11	584	17
12	689	17
13	855	17
14	1230	17
15	1846	17
16	2122	17
17	2309	17
18	2445	17
19	2459	17
done	2459	17
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5

prune284.0ms

Filtered

97 candidates to 116 candidates (-19.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	3	2	5
Picked	1	0	1
Done	0	0	0
Total	117	5	122

Merged error: 0b

Counts

122 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* 9.0 a) 3.0)
0.1b	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ rand (sqrt (- (* 9.0 a) 3.0))))))
0.2b	(/ rand (sqrt (- (* 9.0 a) 3.0)))
0.4b	(sqrt (- (* 9.0 a) 3.0))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
22×	`add-cube-cbrt`
19×	`times-frac`
15×	`sqrt-prod`
8×	`add-exp-log` `add-cbrt-cube`
7×	`pow1`
6×	`flip3--` `associate-l` `associate-/r*` `flip--` `add-log-exp`
4×	`frac-times` `sqrt-div`
3×	`flip3-+` `associate-r` `flip-+` `associate-/l*`
2×	`associate-r/` `associate-l/` `associate-/r/` `difference-of-squares`
1×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `rem-sqrt-square` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 99

Calls

4 calls:

5.0ms	(- (* 9.0 a) 3.0)
12.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ rand (sqrt (- (* 9.0 a) 3.0))))))
8.0ms	(/ rand (sqrt (- (* 9.0 a) 3.0)))
5.0ms	(sqrt (- (* 9.0 a) 3.0))

series44.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(- (* 9.0 a) 3.0)
20.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ rand (sqrt (- (* 9.0 a) 3.0))))))
15.0ms	(/ rand (sqrt (- (* 9.0 a) 3.0)))
5.0ms	(sqrt (- (* 9.0 a) 3.0))

simplify2.4min

Counts

111 → 111

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	8	15
1	11	15
2	12	15
done	12	15
0	7	7
1	10	7
2	11	7
done	11	7
0	8	20
1	12	12
2	22	8
3	40	8
4	54	8
5	64	8
6	87	8
7	147	8
8	359	8
9	1292	8
done	5001	8
0	8	14
1	12	7
2	13	7
done	13	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	10	6
done	10	6
0	9	10
1	28	10
2	79	10
3	173	10
4	352	10
5	1018	10
6	4363	10
done	5001	10
0	10	18
1	27	16
2	52	16
3	62	14
4	71	14
5	73	14
done	73	14
0	8	12
1	21	12
2	39	12
3	54	12
4	95	12
5	170	12
6	264	12
7	492	12
8	1951	12
done	5000	12
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	10	10
1	15	10
2	17	10
done	17	10
0	9	9
1	15	9
2	18	9
3	19	9
done	19	9
0	9	9
1	12	9
2	13	9
done	13	9
0	12	26
1	24	18
2	64	12
3	153	10
4	279	10
5	498	10
6	1125	10
7	4119	10
done	5000	10
0	10	19
1	13	19
2	14	19
done	14	19
0	9	9
1	12	9
2	13	9
done	13	9
0	10	26
1	20	26
2	37	10
3	75	10
4	142	10
5	243	10
6	457	10
7	1098	10
8	4124	10
done	5001	10
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	2	2
done	2	2
0	7	7
1	10	7
2	11	7
done	11	7
0	12	21
1	21	21
2	31	21
3	37	21
done	37	21
0	10	10
1	13	10
2	14	10
done	14	10
0	12	20
1	18	13
2	21	13
3	22	13
done	22	13
0	10	10
1	13	10
2	14	10
done	14	10
0	11	13
1	16	13
2	19	13
3	20	13
done	20	13
0	10	10
1	13	10
2	14	10
done	14	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	9	9
1	12	9
2	13	9
done	13	9
0	11	13
1	16	13
2	19	13
3	20	13
done	20	13
0	10	10
1	13	10
2	14	10
done	14	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	9	9
1	12	9
2	13	9
done	13	9
0	11	18
1	16	18
2	17	18
done	17	18
0	10	10
1	13	10
2	14	10
done	14	10
0	11	17
1	15	10
2	16	10
done	16	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	5	5
1	7	4
done	7	4
0	9	9
1	12	9
2	13	9
done	13	9
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	4	4
1	6	2
2	8	2
done	8	2
0	9	9
1	12	9
2	13	9
done	13	9
0	10	17
1	17	17
2	18	17
done	18	17
0	9	9
1	12	9
2	13	9
done	13	9
0	10	16
1	16	9
2	17	9
done	17	9
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	14	9
2	15	9
done	15	9
0	9	9
1	12	9
2	13	9
done	13	9
0	3	4
1	5	3
done	5	3
0	8	8
1	11	8
2	12	8
done	12	8
0	9	9
1	14	9
2	15	9
done	15	9
0	9	9
1	12	9
2	13	9
done	13	9
0	2	3
1	4	1
done	4	1
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	13	8
2	14	8
done	14	8
0	8	8
1	11	8
2	12	8
done	12	8
0	10	17
1	15	17
2	16	17
done	16	17
0	10	16
1	14	9
2	15	9
done	15	9
0	9	9
1	12	9
2	13	9
done	13	9
0	4	4
1	6	3
done	6	3
0	9	9
1	12	9
2	13	9
done	13	9
0	3	3
1	5	1
done	5	1
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	11	8
2	12	8
done	12	8
0	11	12
1	30	12
2	81	12
3	185	12
4	364	12
5	1021	12
6	4319	12
done	5000	12
0	10	14
1	23	14
2	41	14
3	57	14
4	98	14
5	179	14
6	267	14
7	495	14
8	1928	14
done	5000	14
0	14	18
1	30	18
2	69	18
3	174	18
4	457	18
5	996	18
6	1614	18
7	3322	18
done	5000	18
0	16	20
1	26	20
2	36	20
3	47	20
4	59	20
5	63	20
done	63	20
0	15	19
1	34	19
2	74	19
3	182	19
4	473	19
5	1008	19
6	1622	19
7	3362	19
done	5000	19
0	15	19
1	33	19
2	86	19
3	229	19
4	646	19
5	1706	19
done	5000	19
0	18	56
1	46	56
2	169	22
3	782	22
4	4957	20
done	5000	20
0	16	39
1	32	39
2	71	39
3	176	39
4	461	39
5	991	39
6	1607	39
7	3341	39
done	5001	39
0	15	19
1	31	19
2	70	19
3	175	19
4	460	19
5	1001	19
6	1613	19
7	3314	19
done	5000	19
0	16	56
1	42	56
2	170	20
3	915	20
done	5000	20
0	15	19
1	31	19
2	70	19
3	175	19
4	460	19
5	1001	19
6	1613	19
7	3314	19
done	5000	19
0	15	19
1	31	19
2	70	19
3	175	19
4	460	19
5	1001	19
6	1613	19
7	3314	19
done	5000	19
0	19	26
1	62	26
2	204	26
3	1067	26
done	5000	26
0	22	56
1	62	41
2	200	41
3	878	39
4	4251	39
done	5000	39
0	19	35
1	55	35
2	167	33
3	598	33
4	3385	33
done	5001	33
0	18	30
1	40	26
2	91	26
3	254	26
4	869	26
5	3138	26
done	5001	26
0	19	28
1	57	28
2	185	28
3	979	28
done	5000	28
0	18	44
1	46	33
2	149	33
3	534	31
4	1825	31
done	5001	31
0	18	37
1	45	37
2	134	35
3	504	35
4	2694	35
done	5000	35
0	14	18
1	24	18
2	51	18
3	118	18
4	310	18
5	743	18
6	1412	18
7	2058	18
8	3914	18
done	5000	18
0	16	20
1	26	20
2	36	20
3	44	20
4	51	20
done	51	20
0	16	20
1	26	20
2	36	20
3	44	20
4	51	20
done	51	20
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	13	16
1	24	16
2	49	16
3	115	16
4	259	16
5	503	16
6	764	16
7	885	16
8	926	16
9	927	16
done	927	16
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	13	16
1	24	16
2	55	16
3	136	16
4	285	16
5	535	16
6	797	16
7	912	16
8	954	16
9	955	16
done	955	16
0	16	33
1	28	33
2	46	33
3	75	33
4	108	33
5	146	33
6	175	33
7	203	33
8	220	33
9	228	33
done	228	33
0	15	19
1	25	19
2	41	19
3	58	19
4	79	19
5	88	19
6	93	19
7	98	19
8	100	19
done	100	19
0	7	7
1	12	5
2	24	5
3	39	5
4	62	5
5	94	5
6	107	5
7	120	5
8	126	5
done	126	5
0	15	19
1	31	19
2	52	19
3	84	19
4	125	19
5	157	19
6	224	19
7	332	19
8	381	19
9	391	19
done	391	19
0	15	19
1	31	19
2	52	19
3	84	19
4	125	19
5	157	19
6	224	19
7	332	19
8	381	19
9	391	19
done	391	19
0	14	18
1	30	18
2	69	18
3	174	18
4	457	18
5	996	18
6	1614	18
7	3322	18
done	5000	18
0	16	20
1	32	20
2	69	20
3	162	20
4	386	20
5	745	20
6	1197	20
7	2470	20
done	5001	20
0	17	21
1	33	21
2	72	21
3	177	21
4	464	21
5	1052	21
6	1939	21
7	4292	21
done	5000	21
0	14	18
1	30	18
2	69	18
3	174	18
4	457	18
5	996	18
6	1614	18
7	3322	18
done	5000	18
0	17	22
1	48	22
2	153	22
3	728	22
4	3849	22
done	5000	22
0	16	31
1	36	31
2	109	29
3	384	29
4	1622	29
done	5000	29
0	17	22
1	49	22
2	127	22
3	464	22
4	2389	22
done	5000	22
0	16	24
1	39	24
2	102	24
3	353	24
4	1379	24
5	4929	24
done	5000	24
0	7	7
1	12	6
2	20	6
3	33	6
4	71	6
5	182	6
6	560	6
7	2181	6
done	5001	6
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	12	6
2	19	6
3	29	6
4	57	6
5	135	6
6	423	6
7	1175	6
8	3709	6
done	5001	6
0	7	13
1	10	13
2	11	13
done	11	13
0	6	6
1	9	6
2	10	6
done	10	6
0	7	17
1	11	17
2	26	7
3	85	7
4	282	7
5	873	7
6	2661	7
done	5000	7
0	6	6
1	9	6
2	10	6
done	10	6
0	6	6
1	9	6
2	10	6
done	10	6
0	8	9
1	27	9
2	78	9
3	171	9
4	351	9
5	1014	9
6	4288	9
done	5000	9
0	9	17
1	26	15
2	51	15
3	60	13
4	69	13
5	71	13
done	71	13
0	2	2
done	2	2
0	7	11
1	20	11
2	38	11
3	53	11
4	94	11
5	171	11
6	259	11
7	487	11
8	1905	11
done	5001	11
0	5	5
1	7	5
done	7	5
0	2	2
done	2	2
0	16	23
1	39	23
2	111	23
3	334	23
4	1025	18
5	3578	18
done	5001	18
0	21	33
1	56	33
2	180	33
3	458	33
4	1112	29
5	2960	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	489	33
4	1271	31
5	3640	27
done	5000	27
0	23	37
1	60	37
2	185	37
3	587	28
4	2423	26
done	5000	26
0	31	59
1	89	59
2	371	59
3	1645	47
done	5001	47
0	24	37
1	65	37
2	196	37
3	547	31
4	1501	27
5	4036	25
done	5000	25
0	11	12
1	21	12
2	39	12
3	73	12
4	119	12
5	154	12
6	212	12
7	361	12
8	712	12
9	832	12
10	833	12
done	833	12
0	18	27
1	51	25
2	132	23
3	324	23
4	1032	21
5	3698	21
done	5000	21
0	16	23
1	37	23
2	79	21
3	139	17
4	198	17
5	244	17
6	265	17
7	289	17
8	318	17
9	350	17
10	488	17
11	584	17
12	689	17
13	855	17
14	1230	17
15	1846	17
16	2122	17
17	2309	17
18	2445	17
19	2459	17
done	2459	17
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5
0	5	5
1	8	5
2	9	5
done	9	5

prune252.0ms

Filtered

89 candidates to 111 candidates (-24.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	111	5	116

Merged error: 0b

Counts

116 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ 1 (/ (sqrt (- (* 9.0 a) 3.0)) rand)))))
0.2b	(/ (sqrt (- (* 9.0 a) 3.0)) rand)
0.4b	(sqrt (- (* 9.0 a) 3.0))
0.9b	(/ 1 (/ (sqrt (- (* 9.0 a) 3.0)) rand))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

157×	`times-frac`
105×	`add-sqr-sqrt`
99×	`*-un-lft-identity`
97×	`add-cube-cbrt`
51×	`sqrt-prod`
25×	`associate-/r*`
19×	`add-exp-log`
13×	`add-cbrt-cube`
9×	`associate-/l*`
8×	`pow1` `div-exp`
6×	`associate-l` `div-inv`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `frac-times` `sqrt-div` `add-log-exp`
3×	`flip3-+` `associate-r` `flip-+`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-r/` `associate-l/` `clear-num` `associate-/l/` `difference-of-squares`
1×	`distribute-rgt-in` `rem-sqrt-square` `pow-flip` `distribute-lft-in` `sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `inv-pow` `unswap-sqr`

Counts

4 → 199

Calls

4 calls:

17.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ 1 (/ (sqrt (- (* 9.0 a) 3.0)) rand)))))
9.0ms	(/ (sqrt (- (* 9.0 a) 3.0)) rand)
5.0ms	(sqrt (- (* 9.0 a) 3.0))
11.0ms	(/ 1 (/ (sqrt (- (* 9.0 a) 3.0)) rand))

series62.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (- a (/ 1.0 3.0)) (+ 1.0 (* 1.0 (/ 1 (/ (sqrt (- (* 9.0 a) 3.0)) rand)))))
22.0ms	(/ (sqrt (- (* 9.0 a) 3.0)) rand)
5.0ms	(sqrt (- (* 9.0 a) 3.0))
19.0ms	(/ 1 (/ (sqrt (- (* 9.0 a) 3.0)) rand))

simplify3.1min

Counts

211 → 211

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	11	11
1	16	11
2	21	11
3	23	11
4	24	10
done	24	10
0	10	10
1	16	10
2	19	10
3	23	10
4	25	10
5	26	10
done	26	10
0	12	12
1	21	11
2	35	11
3	54	10
4	83	10
5	110	10
6	119	10
7	133	10
done	133	10
0	11	11
1	19	10
2	28	10
3	41	10
4	67	10
5	97	10
6	102	10
7	108	10
8	123	10
done	123	10
0	13	13
1	24	12
2	33	11
3	58	10
4	87	10
5	114	10
6	122	10
7	139	10
done	139	10
0	12	12
1	22	11
2	28	10
3	45	10
4	71	10
5	101	10
6	108	10
7	114	10
8	130	10
done	130	10
0	11	11
1	22	10
2	32	10
3	46	9
4	62	9
5	98	9
6	128	9
7	130	9
8	136	9
9	151	9
done	151	9
0	11	11
1	18	11
2	24	11
3	31	9
4	39	9
5	64	9
6	127	9
7	259	9
8	738	9
9	2648	9
done	5000	9
0	16	32
1	35	20
2	105	14
3	358	12
4	1020	12
5	2367	10
done	5000	10
0	14	32
1	33	28
2	70	12
3	200	12
4	439	12
5	849	10
6	1686	10
7	4037	10
done	5000	10
0	12	23
1	19	23
2	23	23
3	24	19
done	24	19
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	12	32
1	26	32
2	65	12
3	248	10
4	530	10
5	746	10
6	1411	10
7	3882	10
done	5000	10
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	2	2
1	5	1
done	5	1
0	9	9
1	14	9
2	15	9
done	15	9
0	14	25
1	25	23
2	35	21
3	41	21
done	41	21
0	12	12
1	17	11
2	18	11
done	18	11
0	13	15
1	20	13
2	23	11
3	24	11
done	24	11
0	12	12
1	17	11
2	18	11
done	18	11
0	16	27
1	31	25
2	68	23
3	138	21
4	191	21
done	191	21
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	15	24
1	26	22
2	45	20
3	78	18
4	101	18
done	101	18
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	13	23
1	24	17
2	39	17
3	48	17
done	48	17
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	16	26
1	28	17
2	44	15
3	64	13
4	67	13
done	67	13
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	15	23
1	25	14
2	35	12
3	43	10
4	44	10
done	44	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	13	22
1	23	9
2	29	9
done	29	9
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	15	19
1	26	17
2	42	15
3	62	13
4	66	13
done	66	13
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	14	16
1	23	14
2	33	12
3	41	10
4	42	10
done	42	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	12	15
1	21	9
2	27	9
done	27	9
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	9	14
1	17	11
2	32	7
3	49	5
4	57	5
5	58	5
done	58	5
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	8	11
1	14	8
2	23	4
3	30	2
done	30	2
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	6	10
1	12	1
done	12	1
0	11	11
1	18	10
2	22	10
3	23	8
done	23	8
0	15	19
1	26	17
2	42	15
3	62	13
4	66	13
done	66	13
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	14	16
1	23	14
2	33	12
3	41	10
4	42	10
done	42	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	12	15
1	21	9
2	27	9
done	27	9
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	8	13
1	16	11
2	31	7
3	47	5
4	55	5
5	56	5
done	56	5
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	7	10
1	13	8
2	22	4
3	29	2
done	29	2
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	5	9
1	11	1
done	11	1
0	11	11
1	18	10
2	22	10
3	23	8
done	23	8
0	4	7
1	8	3
2	12	1
done	12	1
0	11	11
1	18	10
2	22	10
3	23	8
done	23	8
0	10	12
1	17	10
2	20	8
3	21	8
done	21	8
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	13	22
1	20	21
2	21	21
done	21	21
0	12	12
1	17	11
2	18	11
done	18	11
0	12	12
1	17	11
2	18	11
done	18	11
0	12	12
1	17	11
2	18	11
done	18	11
0	15	24
1	28	23
2	50	23
3	79	21
4	139	21
5	202	21
done	202	21
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	14	21
1	23	20
2	32	20
3	45	18
4	72	18
5	111	18
done	111	18
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	12	20
1	21	17
2	33	17
3	42	17
done	42	17
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	15	23
1	25	15
2	33	15
3	41	13
4	65	13
5	80	13
done	80	13
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	14	20
1	22	12
2	26	12
3	27	10
4	40	10
5	47	10
done	47	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	12	19
1	20	9
2	26	9
done	26	9
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	14	16
1	23	15
2	31	15
3	39	13
4	63	13
5	80	13
done	80	13
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	11	12
1	18	9
2	24	9
done	24	9
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	7	11
1	13	9
2	20	7
3	29	5
4	55	5
5	65	5
done	65	5
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	6	8
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	4	7
1	8	1
done	8	1
0	11	11
1	18	10
2	22	10
3	23	8
done	23	8
0	14	16
1	23	15
2	31	15
3	39	13
4	63	13
5	80	13
done	80	13
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	13	13
1	20	12
2	24	12
3	25	10
4	38	10
5	45	10
done	45	10
0	11	12
1	18	9
2	24	9
done	24	9
0	12	12
1	19	11
2	23	11
3	24	9
done	24	9
0	7	10
1	13	9
2	20	7
3	29	5
4	42	5
5	44	5
done	44	5
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	6	7
1	10	6
2	13	4
3	18	2
4	22	2
done	22	2
0	12	12
1	19	11
2	23	11
3	24	9
4	37	9
5	42	9
done	42	9
0	4	6
1	8	1
done	8	1
0	11	11
1	18	10
2	22	10
3	23	8
done	23	8
0	3	4
1	5	1
done	5	1
0	11	11
1	18	10
2	22	10
3	23	8
done	23	8
0	9	9
1	14	8
2	15	8
done	15	8
0	5	6
1	9	5
2	12	3
3	17	1
4	18	1
done	18	1
0	12	21
1	19	21
2	20	21
done	20	21
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	11	11
1	16	11
2	17	11
done	17	11
0	14	23
1	27	23
2	49	23
3	80	21
4	140	21
5	205	21
done	205	21
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	13	20
1	22	20
2	31	20
3	44	18
4	71	18
5	104	18
done	104	18
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	11	19
1	20	17
2	32	17
3	41	17
done	41	17
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	14	22
1	24	15
2	32	15
3	40	13
4	64	13
5	77	13
done	77	13
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	13	19
1	21	12
2	25	12
3	26	10
4	39	10
5	44	10
done	44	10
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	11	18
1	19	9
2	25	9
done	25	9
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	13	15
1	22	15
2	30	15
3	38	13
4	62	13
5	77	13
done	77	13
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	10	11
1	17	9
2	23	9
done	23	9
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	7	10
1	13	9
2	20	9
3	28	5
4	91	5
5	227	5
6	250	5
7	347	5
done	347	5
0	11	11
1	18	11
2	22	11
3	23	9
4	36	9
5	41	9
done	41	9
0	6	7
1	10	6
2	13	6
3	14	2
4	42	2
5	137	2
6	154	2
7	198	2
done	198	2
0	11	11
1	18	11
2	22	11
3	23	9
4	36	9
5	41	9
done	41	9
0	4	6
1	8	3
2	12	1
done	12	1
0	10	10
1	17	10
2	21	10
3	22	8
done	22	8
0	13	15
1	22	15
2	30	15
3	38	13
4	62	13
5	77	13
done	77	13
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	10	11
1	17	9
2	23	9
done	23	9
0	11	11
1	18	11
2	22	11
3	23	9
done	23	9
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	11	11
1	18	11
2	22	11
3	23	9
4	36	9
5	41	9
done	41	9
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	11	11
1	18	11
2	22	11
3	23	9
4	36	9
5	41	9
done	41	9
0	3	5
1	6	1
done	6	1
0	10	10
1	17	10
2	21	10
3	22	8
done	22	8
0	2	3
1	4	1
done	4	1
0	10	10
1	17	10
2	21	10
3	22	8
done	22	8
0	8	8
1	13	8
2	14	8
done	14	8
0	4	5
1	8	1
done	8	1
0	10	10
1	17	10
2	21	10
3	22	8
done	22	8
0	10	10
1	17	8
2	25	8
done	25	8
0	12	21
1	19	21
2	20	21
done	20	21
0	11	11
1	16	11
2	17	11
done	17	11
0	14	23
1	27	23
2	49	23
3	80	21
4	140	21
5	205	21
done	205	21
0	13	20
1	22	20
2	31	20
3	44	18
4	71	18
5	104	18
done	104	18
0	11	19
1	20	17
2	32	17
3	41	17
done	41	17
0	14	22
1	24	15
2	32	15
3	40	13
4	64	13
5	77	13
done	77	13
0	13	19
1	21	12
2	25	12
3	26	10
4	39	10
5	44	10
done	44	10
0	11	18
1	19	9
2	25	9
done	25	9
0	13	15
1	22	15
2	30	15
3	38	13
4	62	13
5	77	13
done	77	13
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	10	11
1	17	9
2	23	9
done	23	9
0	7	10
1	13	9
2	20	9
3	28	5
4	91	5
5	227	5
6	250	5
7	347	5
done	347	5
0	6	7
1	10	6
2	13	6
3	14	2
4	42	2
5	137	2
6	154	2
7	198	2
done	198	2
0	4	6
1	8	3
2	12	1
done	12	1
0	13	15
1	22	15
2	30	15
3	38	13
4	62	13
5	77	13
done	77	13
0	12	12
1	19	12
2	23	12
3	24	10
4	37	10
5	42	10
done	42	10
0	10	11
1	17	9
2	23	9
done	23	9
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	8	8
1	13	8
2	14	8
done	14	8
0	11	11
1	18	10
2	22	10
done	22	8
0	11	11
1	18	10
2	22	10
done	22	8
0	10	10
1	17	8
2	25	8
done	25	8
0	8	8
1	13	8
2	14	8
done	14	8
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	8	15
1	11	15
2	12	15
done	12	15
0	7	7
1	10	7
2	11	7
done	11	7
0	8	20
1	12	12
2	22	8
3	40	8
4	54	8
5	64	8
6	87	8
7	147	8
8	359	8
9	1292	8
done	5001	8
0	8	14
1	12	7
2	13	7
done	13	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	10	6
done	10	6
0	9	10
1	28	10
2	79	10
3	173	10
4	352	10
5	1018	10
6	4363	10
done	5001	10
0	10	18
1	27	16
2	52	16
3	62	14
4	71	14
5	73	14
done	73	14
0	8	12
1	21	12
2	39	12
3	54	12
4	95	12
5	170	12
6	264	12
7	492	12
8	1951	12
done	5000	12
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	10	10
1	15	10
2	17	10
done	17	10
0	9	9
1	15	9
2	18	9
3	19	9
done	19	9
0	9	9
1	12	9
2	13	9
done	13	9
0	12	26
1	24	18
2	70	12
3	183	10
4	427	10
5	927	10
6	2048	10
done	5001	10
0	10	19
1	13	19
2	14	19
done	14	19
0	9	9
1	12	9
2	13	9
done	13	9
0	10	26
1	20	26
2	37	10
3	75	10
4	160	10
5	321	10
6	675	10
7	1524	10
done	5000	10
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	7	7
1	10	7
2	11	7
done	11	7
0	2	2
done	2	2
0	12	21
1	21	21
2	31	21
3	37	21
done	37	21
0	10	10
1	13	10
2	14	10
done	14	10
0	11	18
1	16	18
2	19	18
3	20	18
done	20	18
0	10	10
1	13	10
2	14	10
done	14	10
0	10	17
1	17	15
2	24	15
3	29	15
done	29	15
0	9	9
1	12	9
2	13	9
done	13	9
0	12	20
1	18	13
2	19	13
done	19	13
0	10	10
1	13	10
2	14	10
done	14	10
0	11	17
1	15	10
2	16	10
done	16	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	16
1	16	7
2	19	7
done	19	7
0	9	9
1	12	9
2	13	9
done	13	9
0	11	13
1	16	13
2	17	13
done	17	13
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	9	9
1	14	7
2	17	7
done	17	7
0	9	9
1	12	9
2	13	9
done	13	9
0	6	8
1	10	7
done	10	7
0	9	9
1	12	9
2	13	9
done	13	9
0	5	5
1	7	4
done	7	4
0	9	9
1	12	9
2	13	9
done	13	9
0	3	4
1	5	1
done	5	1
0	8	8
1	11	8
2	12	8
done	12	8
0	11	13
1	16	13
2	17	13
done	17	13
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	10	10
1	13	10
2	14	10
done	14	10
0	9	9
1	14	7
2	17	7
done	17	7
0	9	9
1	12	9
2	13	9
done	13	9
0	5	7
1	9	7
done	9	7
0	9	9
1	12	9
2	13	9
done	13	9
0	4	4
1	6	4
done	6	4
0	9	9
1	12	9
2	13	9
done	13	9
0	2	3
1	4	1
done	4	1
0	8	8
1	11	8
2	12	8
done	12	8
0	3	3
1	5	3
done	5	3
0	8	8
1	11	8
2	12	8
done	12	8
0	10	12
1	15	12
2	16	12
done	16	12
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	13	6
2	16	6
done	16	6
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	11	8
2	12	8
done	12	8
0	9	9
1	12	9
2	13	9
done	13	9
0	8	8
1	11	8
2	12	8
done	12	8
0	12	20
1	30	18
2	55	18
3	68	16
4	77	16
5	79	16
done	79	16
0	8	8
1	11	8
done	11	8
0	16	20
1	36	20
2	83	18
3	235	18
4	666	18
5	1507	18
6	2702	18
7	4797	18
done	5000	18
0	18	22
1	32	22
2	50	20
3	70	20
4	92	20
5	108	20
6	125	20
7	139	20
8	166	20
done	166	20
0	17	21
1	40	21
2	88	19
3	241	19
4	681	19
5	1511	19
6	2715	19
7	4776	19
done	5000	19
0	17	21
1	39	21
2	100	19
3	290	19
4	888	19
5	2414	19
done	5000	19
0	20	62
1	52	62
2	183	22
3	865	22
done	5000	22
0	18	43
1	38	43
2	85	39
3	237	39
4	660	39
5	1507	39
6	2710	39
7	4796	39
done	5000	39
0	17	21
1	37	21
2	84	19
3	234	19
4	657	19
5	1486	19
6	2660	19
7	4749	19
done	5000	19
0	18	62
1	48	62
2	184	20
3	979	20
done	5000	20
0	17	21
1	37	21
2	84	19
3	234	19
4	657	19
5	1486	19
6	2660	19
7	4749	19
done	5000	19
0	17	21
1	37	21
2	84	19
3	234	19
4	657	19
5	1486	19
6	2660	19
7	4749	19
done	5000	19
0	21	28
1	68	28
2	221	26
3	1170	26
done	5001	26
0	24	62
1	68	45
2	228	41
3	1100	39
done	5001	39
0	21	39
1	61	39
2	192	33
3	797	33
4	4464	33
done	5000	33
0	20	32
1	46	28
2	106	26
3	304	26
4	1249	26
done	5000	26
0	21	30
1	63	30
2	202	28
3	1097	28
done	5001	28
0	20	50
1	52	37
2	177	33
3	760	31
4	3129	31
done	5000	31
0	20	41
1	51	41
2	159	35
3	700	35
4	3862	35
done	5000	35
0	16	20
1	30	20
2	66	18
3	168	18
4	562	18
5	1525	18
6	3324	18
7	4711	18
done	5001	18
0	18	22
1	32	22
2	50	20
3	67	20
4	84	20
5	96	20
6	111	20
7	113	20
done	113	20
0	18	22
1	32	22
2	50	20
3	67	20
4	84	20
5	96	20
6	111	20
7	113	20
done	113	20
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	15	18
1	30	18
2	66	16
3	181	16
4	510	16
5	1127	16
6	1983	16
7	2970	16
8	3671	16
9	3749	16
done	3749	16
0	6	7
1	9	7
2	18	7
3	27	7
4	37	7
5	38	7
done	38	7
0	15	18
1	30	18
2	72	16
3	232	16
4	642	16
5	1194	16
6	2082	16
7	3253	16
8	3912	16
9	3950	16
done	3950	16
0	18	37
1	34	37
2	60	33
3	98	33
4	143	33
5	191	33
6	235	33
7	265	33
8	283	33
9	291	33
done	291	33
0	17	21
1	31	21
2	55	19
3	81	19
4	112	19
5	133	19
6	153	19
7	160	19
8	162	19
done	162	19
0	7	7
1	12	5
2	24	5
3	39	5
4	62	5
5	94	5
6	107	5
7	120	5
8	126	5
done	126	5
0	17	21
1	37	21
2	66	19
3	137	19
4	219	19
5	287	19
6	332	19
7	336	19
done	336	19
0	17	21
1	37	21
2	66	19
3	137	19
4	219	19
5	287	19
6	332	19
7	336	19
done	336	19
0	16	20
1	36	20
2	83	18
3	235	18
4	666	18
5	1507	18
6	2702	18
7	4797	18
done	5000	18
0	18	22
1	38	22
2	83	20
3	221	20
4	570	20
5	1180	20
6	1914	20
7	3005	20
done	5000	20
0	19	23
1	39	23
2	86	21
3	238	21
4	675	21
5	1602	21
6	3265	21
done	5000	21
0	16	20
1	36	20
2	83	18
3	235	18
4	666	18
5	1507	18
6	2702	18
7	4797	18
done	5000	18
0	19	24
1	54	24
2	170	22
3	825	22
done	5000	22
0	18	35
1	42	35
2	134	29
3	579	29
4	2721	29
done	5000	29
0	19	24
1	55	24
2	141	22
3	519	22
4	2785	22
done	5000	22
0	18	26
1	45	26
2	116	24
3	416	24
4	1751	24
done	5001	24
0	23	37
1	60	37
2	185	37
3	587	28
4	2423	26
done	5000	26
0	31	59
1	89	59
2	371	59
3	1645	47
done	5001	47
0	24	37
1	65	37
2	196	37
3	547	31
4	1501	27
5	4036	25
done	5000	25
0	16	23
1	39	23
2	111	23
3	334	23
4	1025	18
5	3578	18
done	5001	18
0	21	33
1	56	33
2	180	33
3	458	33
4	1112	29
5	2960	27
done	5000	27
0	21	33
1	57	33
2	182	33
3	489	33
4	1271	31
5	3640	27
done	5000	27
0	20	29
1	49	29
2	158	29
3	541	29
4	2352	22
done	5000	22
0	25	43
1	70	43
2	261	43
3	875	43
4	2895	35
done	5001	35
0	25	43
1	71	43
2	263	43
3	939	41
4	3236	39
done	5001	39
0	11	12
1	21	12
2	39	12
3	73	12
4	119	12
5	154	12
6	212	12
7	361	12
8	712	12
9	832	12
10	833	12
done	833	12
0	18	27
1	51	25
2	132	23
3	324	23
4	1032	21
5	3698	21
done	5000	21
0	16	23
1	37	23
2	79	21
3	139	17
4	198	17
5	244	17
6	265	17
7	289	17
8	318	17
9	350	17
10	488	17
11	584	17
12	689	17
13	855	17
14	1230	17
15	1846	17
16	2122	17
17	2309	17
18	2445	17
19	2459	17
done	2459	17

prune369.0ms

Filtered

127 candidates to 211 candidates (-66.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	211	0	211
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	211	5	216

Merged error: 0b

Counts

216 → 5

regimes186.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	18
1	18	18
done	18	18

end0.0ms

sample3.5s

Algorithm

intervals

Results

1.8s	27378×	body	80	nan
621.0ms	9117×	body	80	valid

Details

sample115.0ms

simplify6.0s

prune3.0ms

localize12.0ms

rewrite57.0ms

series59.0ms

simplify2.8min

prune398.0ms

localize12.0ms

rewrite46.0ms

series51.0ms

simplify2.4min

prune284.0ms

localize12.0ms

rewrite33.0ms

series44.0ms

simplify2.4min

prune252.0ms

localize14.0ms

rewrite51.0ms

series62.0ms

simplify3.1min

prune369.0ms

regimes186.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.5s

Profiling