Details

sample56.0ms

Algorithm

intervals

Results

20.0ms	299×	body	80	nan
14.0ms	286×	body	80	valid

simplify11.2s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	14
1	24	14
2	63	14
3	143	14
4	230	14
5	363	14
6	610	14
7	861	14
8	1253	14
9	2185	14
10	3146	14
11	3559	14
12	3676	14
done	3676	14

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.4b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (/ 1.0 (* x 9.0)))
0.2b	(* 3.0 (sqrt x))
0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
0.3b	(/ 1.0 (* x 9.0))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 84

Calls

4 calls:

10.0ms	(+ y (/ 1.0 (* x 9.0)))
5.0ms	(* 3.0 (sqrt x))
15.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
5.0ms	(/ 1.0 (* x 9.0))

series26.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ y (/ 1.0 (* x 9.0)))
4.0ms	(* 3.0 (sqrt x))
14.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
2.0ms	(/ 1.0 (* x 9.0))

simplify2.5min

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	12	14
1	24	14
2	63	14
3	143	14
4	230	14
5	363	14
6	610	14
7	861	14
8	1253	14
9	2185	14
10	3146	14
11	3559	14
12	3676	14
done	3676	14
0	12	14
1	24	14
2	63	14
3	143	14
4	230	14
5	363	14
6	610	14
7	861	14
8	1253	14
9	2185	14
10	3146	14
11	3559	14
12	3676	14
done	3676	14
0	15	17
1	27	17
2	42	17
3	48	17
4	54	17
5	63	17
6	81	17
7	104	17
8	127	17
9	137	17
10	140	17
11	144	17
12	147	17
done	147	17
0	14	16
1	27	16
2	41	16
3	51	16
4	57	16
5	66	16
6	84	16
7	107	16
8	130	16
9	140	16
10	143	16
11	147	16
12	150	16
done	150	16
0	13	15
1	28	15
2	74	15
3	166	15
4	249	15
5	384	15
6	621	15
7	872	15
8	1264	15
9	2200	15
10	3198	15
11	3664	15
12	3781	15
done	3781	15
0	13	15
1	27	15
2	77	15
3	201	15
4	417	15
5	929	15
6	2788	15
done	5001	15
0	18	44
1	39	40
2	147	20
3	877	20
done	5000	20
0	16	44
1	41	44
2	153	18
3	886	18
done	5000	18
0	14	31
1	26	31
2	65	31
3	145	31
4	230	31
5	365	31
6	610	31
7	861	31
8	1251	31
9	2185	31
10	3158	31
11	3579	31
12	3696	31
done	3696	31
0	13	15
1	25	15
2	64	15
3	144	15
4	233	15
5	366	15
6	603	15
7	854	15
8	1245	15
9	2182	15
10	3147	15
11	3584	15
12	3701	15
done	3701	15
0	14	44
1	36	44
2	175	16
3	1081	16
done	5000	16
0	13	15
1	25	15
2	64	15
3	144	15
4	233	15
5	366	15
6	603	15
7	854	15
8	1245	15
9	2182	15
10	3147	15
11	3584	15
12	3701	15
done	3701	15
0	13	15
1	25	15
2	64	15
3	144	15
4	233	15
5	366	15
6	603	15
7	854	15
8	1245	15
9	2182	15
10	3147	15
11	3584	15
12	3701	15
done	3701	15
0	11	12
1	25	12
2	62	12
3	126	12
4	255	12
5	417	12
6	463	12
7	464	12
done	464	12
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	10	12
1	19	12
2	40	12
3	88	12
4	173	12
5	322	12
6	478	12
7	528	12
8	542	12
9	543	12
done	543	12
0	11	12
1	25	12
2	62	12
3	126	12
4	255	12
5	417	12
6	463	12
7	464	12
done	464	12
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	11	12
1	19	12
2	35	12
3	71	12
4	131	12
5	267	12
6	428	12
7	466	12
done	466	12
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	10	12
1	19	12
2	34	12
3	75	12
4	145	12
5	293	12
6	460	12
7	519	12
8	541	12
9	543	12
done	543	12
0	11	12
1	19	12
2	35	12
3	71	12
4	131	12
5	267	12
6	428	12
7	466	12
done	466	12
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	14	26
1	28	26
2	50	26
3	68	26
4	74	26
5	83	26
6	101	26
7	124	26
8	147	26
9	157	26
10	160	26
11	164	26
12	169	26
done	169	26
0	13	15
1	25	15
2	40	15
3	46	15
4	52	15
5	61	15
6	79	15
7	102	15
8	125	15
9	135	15
10	138	15
11	142	15
12	147	15
done	147	15
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	14	16
1	29	16
2	58	16
3	66	16
done	66	16
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	10	12
1	19	12
2	40	12
3	64	12
4	91	12
5	129	12
6	189	12
7	255	12
8	357	12
9	509	12
10	627	12
11	676	12
12	694	12
done	694	12
0	15	18
1	38	18
2	96	18
3	324	18
4	1190	18
5	4843	18
done	5000	18
0	14	24
1	33	24
2	99	24
3	408	24
4	1841	24
done	5000	24
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	9	9
1	15	8
2	18	8
done	18	8
0	8	8
1	12	8
2	14	8
done	14	8
0	8	8
1	15	8
2	18	8
done	18	8
0	9	17
1	13	17
2	15	17
done	15	17
0	8	8
1	12	8
2	14	8
done	14	8
0	9	23
1	26	23
2	76	9
3	271	9
4	960	9
5	2869	9
done	5001	9
0	8	8
1	12	8
2	14	8
done	14	8
0	8	8
1	12	8
2	14	8
done	14	8
0	10	11
1	30	11
2	73	11
3	255	11
4	1142	11
done	5002	11
0	11	23
1	28	17
2	89	17
3	255	17
4	492	17
5	635	17
6	671	17
7	764	17
8	1219	17
9	2003	17
10	2335	17
done	2335	17
0	9	15
1	21	15
2	56	15
3	187	15
4	476	15
5	852	15
6	1180	15
7	1540	15
8	3316	15
done	5000	15
0	7	7
1	12	7
2	19	7
3	25	7
done	25	7
0	7	7
1	11	7
2	13	7
done	13	7
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	23	37
1	71	33
2	240	31
3	648	31
4	1838	27
done	5001	27
0	14	19
1	39	17
2	99	15
3	236	13
4	643	13
5	1756	13
done	5000	13
0	14	19
1	39	17
2	99	15
3	255	15
4	845	13
5	3204	13
done	5000	13
0	18	25
1	56	23
2	180	21
3	457	21
4	1331	19
5	4994	17
done	5000	17
0	16	21
1	45	19
2	116	17
3	233	17
4	568	17
5	1754	17
done	5000	17
0	16	21
1	46	19
2	124	17
3	284	17
4	771	17
5	2537	17
done	5001	17
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5

prune211.0ms

Filtered

75 candidates to 96 candidates (-28.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	83	13	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	13	97

Merged error: 0.0b

Counts

97 → 13

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ y (/ 0.1111111111111111 x))
0.2b	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
0.2b	(* 3.0 (sqrt x))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 63

Calls

3 calls:

7.0ms	(+ y (/ 0.1111111111111111 x))
20.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
6.0ms	(* 3.0 (sqrt x))

series29.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(+ y (/ 0.1111111111111111 x))
13.0ms	(* (* 3.0 (sqrt x)) (- (+ y (/ 0.1111111111111111 x)) 1.0))
10.0ms	(* 3.0 (sqrt x))

simplify1.2min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2697	5
done	5001	5
0	8	14
1	15	10
2	38	8
3	70	8
4	98	8
5	144	8
6	264	8
7	653	8
8	2091	8
done	5000	8
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	88	6
4	105	6
5	149	6
6	280	6
7	735	6
8	2739	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	6	8
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	4	4
1	7	3
done	7	3
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	11	12
1	20	12
2	57	12
3	137	12
4	206	12
5	267	12
6	359	12
7	488	12
8	707	12
9	1077	12
10	1438	12
11	1611	12
12	1689	12
done	1689	12
0	11	12
1	20	12
2	57	12
3	137	12
4	206	12
5	267	12
6	359	12
7	488	12
8	707	12
9	1077	12
10	1438	12
11	1611	12
12	1689	12
done	1689	12
0	14	15
1	23	15
2	36	15
3	44	15
4	50	15
5	59	15
6	74	15
7	89	15
8	104	15
9	118	15
10	131	15
11	135	15
12	138	15
done	138	15
0	13	14
1	23	14
2	35	14
3	45	14
4	51	14
5	60	14
6	75	14
7	90	14
8	105	14
9	119	14
10	132	14
11	136	14
12	137	14
done	137	14
0	12	13
1	24	13
2	68	13
3	160	13
4	229	13
5	290	13
6	382	13
7	511	13
8	730	13
9	1101	13
10	1476	13
11	1668	13
12	1742	13
done	1742	13
0	12	13
1	23	13
2	71	13
3	195	13
4	397	13
5	833	13
6	2477	13
done	5001	13
0	17	38
1	35	34
2	141	18
3	861	18
done	5000	18
0	15	38
1	37	38
2	147	16
3	874	16
done	5002	16
0	13	27
1	22	27
2	59	27
3	139	27
4	208	27
5	269	27
6	361	27
7	490	27
8	709	27
9	1078	27
10	1438	27
11	1600	27
12	1678	27
done	1678	27
0	12	13
1	21	13
2	58	13
3	138	13
4	207	13
5	268	13
6	360	13
7	489	13
8	708	13
9	1080	13
10	1443	13
11	1611	13
12	1688	13
done	1688	13
0	13	38
1	32	38
2	169	14
3	1074	14
done	5000	14
0	12	13
1	21	13
2	58	13
3	138	13
4	207	13
5	268	13
6	360	13
7	489	13
8	708	13
9	1080	13
10	1443	13
11	1611	13
12	1688	13
done	1688	13
0	12	13
1	21	13
2	58	13
3	138	13
4	207	13
5	268	13
6	360	13
7	489	13
8	708	13
9	1080	13
10	1443	13
11	1611	13
12	1688	13
done	1688	13
0	9	10
1	20	10
2	51	10
3	73	10
4	93	10
5	106	10
6	116	10
7	118	10
done	118	10
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	10
1	15	10
2	34	10
3	68	10
4	105	10
5	142	10
6	156	10
7	164	10
done	164	10
0	9	10
1	20	10
2	51	10
3	73	10
4	93	10
5	106	10
6	116	10
7	118	10
done	118	10
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	9	10
1	14	10
2	28	10
3	56	10
4	76	10
5	100	10
6	113	10
7	123	10
8	125	10
done	125	10
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	10
1	15	10
2	28	10
3	61	10
4	93	10
5	133	10
6	146	10
7	156	10
8	157	10
done	157	10
0	9	10
1	14	10
2	28	10
3	56	10
4	76	10
5	100	10
6	113	10
7	123	10
8	125	10
done	125	10
0	7	7
1	13	7
2	27	7
3	42	7
4	50	7
done	50	7
0	13	22
1	24	22
2	44	22
3	60	22
4	66	22
5	75	22
6	90	22
7	105	22
8	120	22
9	134	22
10	147	22
11	151	22
12	152	22
done	152	22
0	12	13
1	21	13
2	34	13
3	40	13
4	46	13
5	55	13
6	70	13
7	85	13
8	100	13
9	114	13
10	127	13
11	131	13
12	134	13
done	134	13
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	13	14
1	25	14
2	52	14
3	60	14
done	60	14
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	6	6
1	12	4
2	24	4
3	32	4
done	32	4
0	9	10
1	15	10
2	34	10
3	58	10
4	80	10
5	100	10
6	135	10
7	177	10
8	238	10
9	312	10
10	388	10
11	415	10
12	422	10
done	422	10
0	14	16
1	34	16
2	90	16
3	302	16
4	1046	16
5	3965	16
done	5000	16
0	13	20
1	29	20
2	89	20
3	360	20
4	1637	20
done	5000	20
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	61	7
3	169	7
4	434	7
5	1187	7
6	2651	7
7	4424	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	25	9
2	52	9
3	117	9
4	302	9
5	865	9
6	3707	9
done	5000	9
0	9	17
1	23	13
2	50	13
3	88	13
4	129	13
5	163	13
6	184	13
7	225	13
8	330	13
9	502	13
10	538	13
done	538	13
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	18	25
1	56	23
2	180	21
3	457	21
4	1331	19
5	4994	17
done	5000	17
0	16	21
1	45	19
2	116	17
3	233	17
4	568	17
5	1754	17
done	5000	17
0	16	21
1	46	19
2	124	17
3	284	17
4	771	17
5	2537	17
done	5001	17
0	23	37
1	71	33
2	240	31
3	648	31
4	1838	27
done	5001	27
0	14	19
1	39	17
2	99	15
3	236	13
4	643	13
5	1756	13
done	5000	13
0	14	19
1	39	17
2	99	15
3	255	15
4	845	13
5	3204	13
done	5000	13
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5

prune158.0ms

Filtered

55 candidates to 72 candidates (-30.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	67	5	72
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	73	12	85

Merged error: 0.0b

Counts

85 → 12

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ y (/ 0.1111111111111111 x))
0.3b	(* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0))
0.3b	(* 3.0 (* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 77

Calls

3 calls:

6.0ms	(+ y (/ 0.1111111111111111 x))
13.0ms	(* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0))
15.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0)))

series35.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ y (/ 0.1111111111111111 x))
11.0ms	(* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0))
19.0ms	(* 3.0 (* (sqrt x) (- (+ y (/ 0.1111111111111111 x)) 1.0)))

simplify1.5min

Counts

86 → 86

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	57	12
3	137	12
4	206	12
5	267	12
6	359	12
7	488	12
8	707	12
9	1077	12
10	1438	12
11	1610	12
12	1686	12
done	1686	12
0	11	12
1	20	12
2	57	12
3	137	12
4	206	12
5	267	12
6	359	12
7	488	12
8	707	12
9	1077	12
10	1438	12
11	1610	12
12	1686	12
done	1686	12
0	14	15
1	23	15
2	36	15
3	44	15
4	50	15
5	59	15
6	74	15
7	89	15
8	104	15
9	118	15
10	131	15
11	135	15
12	136	15
done	136	15
0	13	14
1	23	14
2	47	14
3	75	14
4	97	14
5	117	14
6	152	14
7	194	14
8	255	14
9	329	14
10	405	14
11	434	14
12	447	14
done	447	14
0	12	13
1	24	13
2	68	13
3	160	13
4	229	13
5	290	13
6	382	13
7	511	13
8	730	13
9	1099	13
10	1472	13
11	1664	13
12	1742	13
done	1742	13
0	12	13
1	23	13
2	68	13
3	185	13
4	405	13
5	905	13
6	2867	13
done	5000	13
0	17	38
1	35	34
2	141	18
3	937	18
done	5001	18
0	15	38
1	37	38
2	160	16
3	1086	16
done	5000	16
0	13	27
1	22	27
2	59	27
3	139	27
4	208	27
5	269	27
6	361	27
7	490	27
8	709	27
9	1083	27
10	1442	27
11	1603	27
12	1680	27
done	1680	27
0	12	13
1	21	13
2	58	13
3	138	13
4	207	13
5	268	13
6	360	13
7	489	13
8	708	13
9	1078	13
10	1436	13
11	1597	13
12	1675	13
done	1675	13
0	13	38
1	32	38
2	134	14
3	908	14
done	5001	14
0	12	13
1	21	13
2	58	13
3	138	13
4	207	13
5	268	13
6	360	13
7	489	13
8	708	13
9	1078	13
10	1436	13
11	1597	13
12	1675	13
done	1675	13
0	12	13
1	21	13
2	58	13
3	138	13
4	207	13
5	268	13
6	360	13
7	489	13
8	708	13
9	1078	13
10	1436	13
11	1597	13
12	1675	13
done	1675	13
0	9	10
1	20	10
2	45	10
3	74	10
4	93	10
5	117	10
6	129	10
7	132	10
done	132	10
0	7	7
1	13	7
2	28	7
3	45	7
4	57	7
done	57	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	10
1	15	10
2	34	10
3	68	10
4	105	10
5	142	10
6	156	10
7	164	10
done	164	10
0	9	10
1	20	10
2	45	10
3	74	10
4	93	10
5	117	10
6	129	10
7	132	10
done	132	10
0	7	7
1	13	7
2	28	7
3	45	7
4	57	7
done	57	7
0	9	10
1	14	10
2	36	10
3	68	10
4	87	10
5	100	10
6	122	10
7	133	10
done	133	10
0	7	7
1	13	7
2	28	7
3	41	7
4	51	7
done	51	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	10
1	15	10
2	34	10
3	72	10
4	113	10
5	144	10
6	170	10
7	181	10
done	181	10
0	9	10
1	14	10
2	36	10
3	68	10
4	87	10
5	100	10
6	122	10
7	133	10
done	133	10
0	7	7
1	13	7
2	28	7
3	41	7
4	51	7
done	51	7
0	9	10
1	20	10
2	37	10
3	62	10
4	83	10
5	109	10
6	121	10
7	124	10
done	124	10
0	7	7
1	13	7
2	28	7
3	41	7
4	51	7
done	51	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	10
1	15	10
2	28	10
3	59	10
4	96	10
5	131	10
6	162	10
7	176	10
8	178	10
done	178	10
0	9	10
1	20	10
2	37	10
3	62	10
4	83	10
5	109	10
6	121	10
7	124	10
done	124	10
0	7	7
1	13	7
2	28	7
3	41	7
4	51	7
done	51	7
0	9	10
1	14	10
2	28	10
3	56	10
4	76	10
5	92	10
6	115	10
7	129	10
8	130	10
done	130	10
0	7	7
1	13	7
2	28	7
3	45	7
4	58	7
done	58	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	10
1	15	10
2	28	10
3	59	10
4	96	10
5	131	10
6	160	10
7	174	10
8	176	10
done	176	10
0	9	10
1	14	10
2	28	10
3	56	10
4	76	10
5	92	10
6	115	10
7	129	10
8	130	10
done	130	10
0	7	7
1	13	7
2	28	7
3	45	7
4	58	7
done	58	7
0	4	4
1	5	4
done	5	4
0	12	13
1	21	13
2	58	13
3	138	13
4	209	13
5	270	13
6	362	13
7	491	13
8	710	13
9	1084	13
10	1465	13
11	1615	13
12	1632	13
done	1632	13
0	12	13
1	21	13
2	58	13
3	138	13
4	209	13
5	270	13
6	362	13
7	491	13
8	710	13
9	1084	13
10	1465	13
11	1615	13
12	1632	13
done	1632	13
0	11	12
1	20	12
2	57	12
3	137	12
4	206	12
5	267	12
6	359	12
7	488	12
8	707	12
9	1077	12
10	1438	12
11	1610	12
12	1686	12
done	1686	12
0	14	16
1	34	16
2	90	16
3	302	16
4	1055	16
5	3977	16
done	5000	16
0	13	20
1	29	20
2	89	20
3	361	20
4	1639	20
done	5000	20
0	9	10
1	15	10
2	34	10
3	58	10
4	80	10
5	100	10
6	135	10
7	177	10
8	238	10
9	312	10
10	388	10
11	415	10
12	422	10
done	422	10
0	11	12
1	17	12
2	24	12
3	30	12
4	36	12
5	45	12
6	60	12
7	75	12
8	90	12
9	104	12
10	117	12
11	121	12
12	124	12
done	124	12
0	10	11
1	19	11
2	39	11
3	63	11
4	85	11
5	105	11
6	140	11
7	182	11
8	243	11
9	317	11
10	393	11
11	418	11
12	427	11
done	427	11
0	10	11
1	18	11
2	43	11
3	97	11
4	181	11
5	383	11
6	891	11
7	3160	11
done	5000	11
0	13	32
1	25	28
2	90	14
3	521	14
4	3143	14
done	5001	14
0	11	23
1	17	23
2	36	23
3	60	23
4	82	23
5	102	23
6	137	23
7	179	23
8	240	23
9	314	23
10	387	23
11	411	23
12	420	23
done	420	23
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	11	32
1	27	32
2	111	12
3	551	12
4	2979	12
done	5000	12
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	11	12
1	17	12
2	24	12
3	30	12
4	36	12
5	45	12
6	60	12
7	75	12
8	90	12
9	104	12
10	117	12
11	121	12
12	124	12
done	124	12
0	11	12
1	17	12
2	24	12
3	30	12
4	36	12
5	45	12
6	60	12
7	75	12
8	90	12
9	104	12
10	117	12
11	121	12
12	124	12
done	124	12
0	11	12
1	17	12
2	24	12
3	30	12
4	36	12
5	45	12
6	60	12
7	75	12
8	90	12
9	104	12
10	117	12
11	121	12
12	124	12
done	124	12
0	11	12
1	17	12
2	24	12
3	30	12
4	36	12
5	45	12
6	60	12
7	75	12
8	90	12
9	104	12
10	117	12
11	121	12
12	124	12
done	124	12
0	7	8
1	15	8
2	20	8
3	24	8
4	26	8
5	27	8
done	27	8
0	5	5
1	8	5
2	11	5
3	12	5
done	12	5
0	4	4
1	5	4
done	5	4
0	7	8
1	10	8
2	17	8
3	26	8
4	34	8
5	36	8
6	37	8
done	37	8
0	7	8
1	15	8
2	20	8
3	24	8
4	26	8
5	27	8
done	27	8
0	5	5
1	8	5
2	11	5
3	12	5
done	12	5
0	7	8
1	9	8
2	17	8
3	21	8
4	25	8
5	27	8
6	28	8
done	28	8
0	5	5
1	8	5
2	11	5
3	12	5
done	12	5
0	4	4
1	5	4
done	5	4
0	7	8
1	10	8
2	17	8
3	26	8
4	34	8
5	36	8
6	37	8
done	37	8
0	7	8
1	9	8
2	17	8
3	21	8
4	25	8
5	27	8
6	28	8
done	28	8
0	5	5
1	8	5
2	11	5
3	12	5
done	12	5
0	11	20
1	19	20
2	28	20
3	34	20
4	40	20
5	49	20
6	64	20
7	79	20
8	94	20
9	108	20
10	121	20
11	125	20
12	128	20
done	128	20
0	10	11
1	16	11
2	23	11
3	29	11
4	35	11
5	44	11
6	59	11
7	74	11
8	89	11
9	103	11
10	116	11
11	120	11
12	123	11
done	123	11
0	4	4
1	7	2
2	10	2
done	10	2
0	11	12
1	20	12
2	21	12
done	21	12
0	4	4
1	7	2
2	10	2
done	10	2
0	4	4
1	7	2
2	10	2
done	10	2
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	9	10
1	15	10
2	34	10
3	58	10
4	80	10
5	100	10
6	135	10
7	177	10
8	238	10
9	312	10
10	388	10
11	415	10
12	422	10
done	422	10
0	10	11
1	16	11
2	35	11
3	59	11
4	81	11
5	101	11
6	136	11
7	178	11
8	239	11
9	313	11
10	386	11
11	410	11
12	419	11
done	419	11
0	9	10
1	15	10
2	34	10
3	58	10
4	80	10
5	100	10
6	135	10
7	177	10
8	238	10
9	312	10
10	388	10
11	415	10
12	422	10
done	422	10
0	12	14
1	29	14
2	73	14
3	212	14
4	610	14
5	2092	14
done	5000	14
0	11	18
1	24	18
2	70	18
3	237	18
4	898	18
5	2544	18
done	5000	18
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	61	7
3	169	7
4	434	7
5	1187	7
6	2651	7
7	4424	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	25	9
2	52	9
3	117	9
4	302	9
5	865	9
6	3707	9
done	5000	9
0	9	17
1	23	13
2	50	13
3	88	13
4	129	13
5	163	13
6	184	13
7	225	13
8	330	13
9	502	13
10	538	13
done	538	13
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	7	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	23	37
1	71	33
2	240	31
3	648	31
4	1838	27
done	5001	27
0	14	19
1	39	17
2	99	15
3	236	13
4	643	13
5	1756	13
done	5000	13
0	14	19
1	39	17
2	99	15
3	255	15
4	845	13
5	3204	13
done	5000	13
0	23	37
1	71	33
2	240	31
3	648	31
4	1838	27
done	5001	27
0	12	15
1	30	15
2	69	15
3	133	13
4	291	13
5	726	13
6	2354	13
done	5000	13
0	12	15
1	30	15
2	67	13
3	152	13
4	408	13
5	1386	13
done	5000	13
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	24	5
done	24	5

prune153.0ms

Filtered

65 candidates to 86 candidates (-32.3%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	86	12	98

Merged error: 0.0b

Counts

98 → 12

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (sqrt x))) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
0.3b	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (sqrt x)))
0.3b	(/ 1.0 (* x 9.0))
0.4b	(* (cbrt 3.0) (sqrt x))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 108

Calls

4 calls:

22.0ms	(* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (sqrt x))) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
12.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (sqrt x)))
6.0ms	(/ 1.0 (* x 9.0))
7.0ms	(* (cbrt 3.0) (sqrt x))

series34.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (sqrt x))) (- (+ y (/ 1.0 (* x 9.0))) 1.0))
9.0ms	(* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (sqrt x)))
3.0ms	(/ 1.0 (* x 9.0))
6.0ms	(* (cbrt 3.0) (sqrt x))

simplify6.1min

Counts

120 → 120

Iterations

Useful iterations: 3 (3.0ms)

Iter	Nodes	Cost
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2720	6
done	5000	6
0	6	10
1	10	6
2	16	6
3	18	6
done	18	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	6
5	133	6
6	210	6
7	420	6
8	1121	6
9	3824	6
done	5000	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	10
1	10	10
2	12	10
done	12	10
0	7	9
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	5	5
1	8	4
done	8	4
0	6	6
1	7	6
done	7	6
0	4	4
1	7	2
2	10	2
done	10	2
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	7	11
1	13	11
2	20	11
3	22	7
4	27	4
5	31	4
6	37	4
7	47	4
8	70	4
9	131	4
10	345	4
11	1271	4
done	5001	4
0	7	11
1	13	11
2	20	11
3	22	7
4	27	4
5	31	4
6	37	4
7	47	4
8	70	4
9	131	4
10	345	4
11	1271	4
done	5001	4
0	7	11
1	13	11
2	20	11
3	22	7
4	27	4
5	31	4
6	37	4
7	47	4
8	70	4
9	131	4
10	345	4
11	1271	4
done	5001	4
0	7	11
1	13	11
2	20	11
3	22	7
4	27	4
5	31	4
6	37	4
7	47	4
8	70	4
9	131	4
10	345	4
11	1271	4
done	5001	4
0	9	15
1	17	13
2	29	9
3	33	9
done	33	9
0	9	14
1	17	12
2	26	12
3	33	9
4	36	9
done	36	9
0	10	14
1	15	14
2	27	13
3	36	9
4	39	9
done	39	9
0	9	13
1	15	13
2	26	12
3	35	9
4	38	9
done	38	9
0	8	12
1	17	12
2	34	12
3	52	8
4	62	5
5	69	5
6	75	5
7	85	5
8	106	5
9	170	5
10	381	5
11	1317	5
done	5000	5
0	8	12
1	16	12
2	34	12
3	65	8
4	141	5
5	324	5
6	789	5
7	2294	5
done	5001	5
0	8	14
1	17	10
2	40	10
3	72	8
4	79	8
5	97	8
6	145	8
7	267	8
8	654	8
9	2109	8
done	5000	8
0	9	21
1	25	21
2	85	11
3	305	11
4	710	10
5	976	6
6	1642	6
7	3373	6
done	5000	6
0	11	28
1	28	24
2	90	14
3	332	10
4	643	8
5	1127	8
6	2421	8
done	5001	8
0	11	35
1	34	35
2	126	15
3	495	10
4	808	6
5	1640	6
6	4479	6
done	5000	6
0	9	25
1	15	25
2	22	25
3	24	17
4	29	11
5	33	11
6	39	11
7	49	11
8	70	11
9	128	11
10	342	11
11	1248	11
done	5000	11
0	8	12
1	14	12
2	21	12
3	23	8
4	28	5
5	32	5
6	38	5
7	48	5
8	71	5
9	128	5
10	345	5
11	1274	5
done	5000	5
0	9	35
1	25	35
2	112	13
3	453	9
4	797	6
5	1029	6
6	2241	6
done	5000	6
0	8	12
1	14	12
2	21	12
3	23	8
4	28	5
5	32	5
6	38	5
7	48	5
8	71	5
9	128	5
10	345	5
11	1274	5
done	5000	5
0	8	12
1	14	12
2	21	12
3	23	8
4	28	5
5	32	5
6	38	5
7	48	5
8	71	5
9	128	5
10	345	5
11	1274	5
done	5000	5
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	6	8
1	10	8
2	11	8
done	11	8
0	15	21
1	32	21
2	91	21
3	338	17
4	678	14
5	1152	14
6	2294	14
7	3593	14
done	5000	14
0	15	21
1	32	21
2	91	21
3	338	17
4	678	14
5	1152	14
6	2294	14
7	3593	14
done	5000	14
0	15	21
1	32	21
2	91	21
3	338	17
4	678	14
5	1152	14
6	2294	14
7	3593	14
done	5000	14
0	15	21
1	32	21
2	91	21
3	338	17
4	678	14
5	1152	14
6	2294	14
7	3593	14
done	5000	14
0	15	21
1	32	21
2	91	21
3	338	17
4	678	14
5	1152	14
6	2294	14
7	3593	14
done	5000	14
0	18	26
1	37	24
2	78	20
3	118	20
4	127	20
5	136	20
6	154	20
7	177	20
8	200	20
9	210	20
10	213	20
11	217	20
12	222	20
done	222	20
0	18	25
1	37	23
2	69	23
3	115	20
4	132	20
5	141	20
6	159	20
7	182	20
8	205	20
9	217	20
10	222	20
11	226	20
12	231	20
done	231	20
0	19	25
1	35	25
2	71	24
3	118	20
4	128	20
5	137	20
6	155	20
7	178	20
8	201	20
9	211	20
10	216	20
11	220	20
12	223	20
done	223	20
0	18	24
1	35	24
2	65	23
3	111	20
4	134	20
5	143	20
6	161	20
7	184	20
8	207	20
9	219	20
10	222	20
11	226	20
12	231	20
done	231	20
0	17	23
1	35	23
2	65	23
3	111	19
4	152	16
5	169	16
6	193	16
7	226	16
8	270	16
9	341	16
10	551	16
11	1456	16
done	5000	16
0	16	22
1	36	22
2	108	22
3	397	18
4	818	15
5	1308	15
6	2445	15
7	3706	15
done	5000	15
0	16	22
1	35	22
2	109	22
3	422	18
4	1048	15
5	2404	15
done	5002	15
0	18	44
1	41	40
2	151	22
3	920	20
done	5002	20
0	19	51
1	49	51
2	194	23
3	1281	23
done	5000	23
0	21	58
1	52	54
2	204	26
3	1406	22
done	5000	22
0	21	65
1	58	65
2	240	27
3	1638	22
done	5001	22
0	19	65
1	49	65
2	223	25
3	1499	21
done	5000	21
0	17	45
1	34	45
2	93	45
3	340	37
4	675	31
5	1163	31
6	2336	31
7	3659	31
done	5000	31
0	16	22
1	33	22
2	92	22
3	340	18
4	685	15
5	1166	15
6	2327	15
7	3628	15
done	5000	15
0	17	65
1	44	65
2	228	23
3	1836	19
done	5000	19
0	16	22
1	33	22
2	92	22
3	340	18
4	685	15
5	1166	15
6	2327	15
7	3628	15
done	5000	15
0	16	22
1	33	22
2	92	22
3	340	18
4	685	15
5	1166	15
6	2327	15
7	3628	15
done	5000	15
0	14	19
1	33	19
2	106	19
3	332	15
4	761	12
5	1708	12
6	2291	12
7	2484	12
8	2505	12
9	2569	12
10	2772	12
11	3718	12
done	5000	12
0	10	14
1	21	14
2	59	14
3	150	10
4	254	7
5	279	7
6	285	7
7	295	7
8	316	7
9	375	7
10	595	7
11	1512	7
done	5000	7
0	9	13
1	18	13
2	44	13
3	76	9
4	82	6
5	86	6
6	92	6
7	102	6
8	123	6
9	183	6
10	402	6
11	1341	6
done	5000	6
0	13	19
1	27	19
2	68	19
3	202	15
4	440	12
5	1026	12
6	2255	12
7	2794	12
8	3037	12
9	3144	12
10	3351	12
11	4300	12
done	5001	12
0	14	19
1	33	19
2	106	19
3	332	15
4	761	12
5	1708	12
6	2291	12
7	2484	12
8	2505	12
9	2569	12
10	2772	12
11	3718	12
done	5000	12
0	10	14
1	21	14
2	59	14
3	150	10
4	254	7
5	279	7
6	285	7
7	295	7
8	316	7
9	375	7
10	595	7
11	1512	7
done	5000	7
0	14	19
1	27	19
2	64	19
3	168	15
4	374	12
5	868	12
6	1866	12
7	2405	12
8	2591	12
9	2647	12
10	2863	12
11	3795	12
done	5000	12
0	10	14
1	21	14
2	59	14
3	146	10
4	248	7
5	268	7
6	274	7
7	284	7
8	305	7
9	365	7
10	577	7
11	1493	7
done	5000	7
0	9	13
1	18	13
2	45	13
3	73	9
4	79	6
5	83	6
6	89	6
7	99	6
8	122	6
9	185	6
10	403	6
11	1326	6
done	5000	6
0	13	19
1	27	19
2	62	19
3	169	15
4	397	12
5	937	12
6	2036	12
7	2650	12
8	2980	12
9	3111	12
10	3333	12
11	4272	12
done	5000	12
0	14	19
1	27	19
2	64	19
3	168	15
4	374	12
5	868	12
6	1866	12
7	2405	12
8	2591	12
9	2647	12
10	2863	12
11	3795	12
done	5000	12
0	10	14
1	21	14
2	59	14
3	146	10
4	248	7
5	268	7
6	274	7
7	284	7
8	305	7
9	365	7
10	577	7
11	1493	7
done	5000	7
0	17	33
1	36	33
2	82	33
3	168	29
4	224	26
5	237	26
6	261	26
7	294	26
8	340	26
9	408	26
10	618	26
11	1537	26
done	5000	26
0	16	22
1	33	22
2	68	22
3	108	18
4	122	15
5	135	15
6	159	15
7	192	15
8	236	15
9	308	15
10	519	15
11	1433	15
done	5000	15
0	9	13
1	20	11
2	52	11
3	111	7
4	119	4
5	123	4
6	129	4
7	139	4
8	160	4
9	220	4
10	442	4
11	1378	4
done	5001	4
0	17	23
1	37	23
2	102	23
3	233	19
4	246	16
5	250	16
6	256	16
7	266	16
8	287	16
9	345	16
10	557	16
11	1477	16
done	5001	16
0	9	13
1	20	11
2	52	11
3	111	7
4	119	4
5	123	4
6	129	4
7	139	4
8	160	4
9	220	4
10	442	4
11	1378	4
done	5001	4
0	9	13
1	20	11
2	52	11
3	111	7
4	119	4
5	123	4
6	129	4
7	139	4
8	160	4
9	220	4
10	442	4
11	1378	4
done	5001	4
0	13	15
1	25	15
2	64	15
3	144	15
4	231	15
5	364	15
6	611	15
7	862	15
8	1254	15
9	2184	15
10	3177	15
11	3589	15
12	3619	15
done	3619	15
0	18	25
1	46	25
2	124	25
3	452	21
4	1985	18
done	5000	18
0	17	31
1	41	31
2	127	31
3	579	27
4	3191	24
done	5000	24
0	19	28
1	55	28
2	172	25
3	462	20
4	1343	20
5	4859	18
done	5000	18
0	17	24
1	44	24
2	114	24
3	241	21
4	615	18
5	1909	18
done	5000	18
0	17	24
1	45	24
2	120	24
3	288	21
4	834	18
5	2643	18
done	5000	18
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	18	25
1	56	23
2	180	21
3	457	21
4	1331	19
5	4994	17
done	5000	17
0	16	21
1	45	19
2	116	17
3	233	17
4	568	17
5	1754	17
done	5000	17
0	16	21
1	46	19
2	124	17
3	284	17
4	771	17
5	2537	17
done	5001	17
0	23	37
1	71	33
2	240	31
3	648	31
4	1838	27
done	5001	27
0	14	19
1	39	17
2	99	15
3	236	13
4	643	13
5	1756	13
done	5000	13
0	14	19
1	39	17
2	99	15
3	255	15
4	845	13
5	3204	13
done	5000	13

prune225.0ms

Filtered

92 candidates to 120 candidates (-30.4%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	8	10
Picked	0	1	1
Done	0	1	1
Total	120	12	132

Merged error: 0b

Counts

132 → 12

regimes157.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	20	14
done	20	14

end0.0ms

sample1.4s

Algorithm

intervals

Results

461.0ms	8628×	body	80	nan
427.0ms	8520×	body	80	valid

Details

sample56.0ms

simplify11.2s

prune3.0ms

localize10.0ms

rewrite38.0ms

series26.0ms

simplify2.5min

prune211.0ms

localize9.0ms

rewrite34.0ms

series29.0ms

simplify1.2min

prune158.0ms

localize9.0ms

rewrite37.0ms

series35.0ms

simplify1.5min

prune153.0ms

localize19.0ms

rewrite51.0ms

series34.0ms

simplify6.1min

prune225.0ms

regimes157.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling