Details

sample54.0ms

Algorithm

intervals

Results

13.0ms	29×	body	1280	valid
12.0ms	180×	body	80	valid
8.0ms	28×	body	640	valid
3.0ms	14×	body	320	valid
1.0ms	5×	body	160	valid

simplify117.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	74	9
8	87	9
9	101	9
10	122	9
11	136	9
done	136	9

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: 0.1b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (cos y))
0.0b	(sin y)
0.0b	(- (+ x (cos y)) (* z (sin y)))
0.1b	(* z (sin y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-log-exp`
8×	`add-sqr-sqrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
3×	`associate-r` `associate-l`
2×	`diff-log` `sum-log`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 51

Calls

4 calls:

4.0ms	(+ x (cos y))
2.0ms	(sin y)
7.0ms	(- (+ x (cos y)) (* z (sin y)))
5.0ms	(* z (sin y))

series37.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ x (cos y))
2.0ms	(sin y)
15.0ms	(- (+ x (cos y)) (* z (sin y)))
9.0ms	(* z (sin y))

simplify1.1min

Counts

63 → 63

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	14
2	40	8
3	79	8
4	137	6
5	259	6
6	654	6
7	2457	6
done	5001	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	46	6
3	89	6
4	105	6
5	151	6
6	283	6
7	735	6
8	2697	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	11	12
1	19	11
2	34	10
3	67	10
4	156	10
5	389	10
6	1178	10
7	4835	10
done	5000	10
0	10	11
1	19	10
2	34	10
3	72	10
4	157	10
5	387	10
6	1306	10
done	5000	10
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	9	10
1	18	10
2	43	10
3	77	10
4	146	10
5	387	10
6	1360	10
done	5000	10
0	10	21
1	16	21
2	29	21
3	35	21
4	41	21
5	50	21
6	63	21
7	76	21
8	89	21
9	103	21
10	124	21
11	138	21
done	138	21
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	10	29
1	17	29
2	56	11
3	263	11
4	1503	11
done	5001	11
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	11	13
1	31	13
2	102	13
3	337	13
4	861	13
5	2347	13
done	5000	13
0	12	29
1	36	24
2	100	24
3	253	24
4	700	24
5	1740	24
6	2425	24
7	2480	24
done	2480	24
0	5	5
1	10	5
2	12	5
done	12	5
0	10	19
1	30	19
2	85	19
3	211	19
4	548	19
5	1583	19
done	5000	19
0	8	9
1	13	9
2	19	9
done	19	9
0	6	7
1	9	7
2	16	7
done	16	7
0	5	5
1	10	5
2	12	5
done	12	5
0	3	3
done	3	3
0	3	3
done	3	3
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	4
4	18	4
5	28	4
6	49	4
7	108	4
8	316	4
9	1236	4
done	5000	4
0	3	3
done	3	3
0	3	3
done	3	3
0	6	6
1	9	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	5	5
1	9	5
2	10	5
done	10	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	20	14
2	52	6
3	117	6
4	276	6
5	847	6
6	1913	6
7	2707	6
8	3204	6
9	4268	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	8
1	21	8
2	30	8
3	47	8
4	88	8
5	210	8
6	614	8
7	2450	8
done	5000	8
0	8	14
1	16	11
2	31	11
3	44	11
4	64	11
5	85	11
6	102	11
7	125	11
8	168	11
9	230	11
10	231	11
done	231	11
0	6	9
1	11	9
2	18	9
3	33	9
4	58	9
5	99	9
6	161	9
7	329	9
8	1606	9
done	5000	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	9	9
1	21	9
2	48	9
3	97	9
4	207	9
5	538	9
6	1879	9
done	5001	9
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	79	9
8	95	9
9	103	9
10	126	9
11	138	9
done	138	9
0	8	9
1	14	9
2	27	9
3	33	9
4	39	9
5	48	9
6	61	9
7	79	9
8	95	9
9	103	9
10	126	9
11	138	9
done	138	9
0	11	13
1	30	13
2	72	13
3	158	13
4	346	13
5	880	13
6	3259	13
done	5000	13
0	2	2
done	2	2
0	2	2
done	2	2
0	9	9
1	21	9
2	48	9
3	97	9
4	207	9
5	538	9
6	1879	9
done	5001	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune98.0ms

Filtered

46 candidates to 63 candidates (-37.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	57	6	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	7	64

Merged error: 0.0b

Counts

64 → 7

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt z) (cbrt z))
0.6b	(cbrt z)
0.6b	(cbrt z)
0.6b	(cbrt z)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt z) (cbrt z))
1.0ms	(cbrt z)
1.0ms	(cbrt z)
1.0ms	(cbrt z)

series115.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt z) (cbrt z))
32.0ms	(cbrt z)
29.0ms	(cbrt z)
26.0ms	(cbrt z)

simplify51.2s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	314	3
6	887	3
7	2959	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	548	10
5	2145	10
done	5001	9

prune98.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	84	8	92

Merged error: 0.0b

Counts

92 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt z)
0.6b	(cbrt (* (cbrt z) (cbrt z)))
0.6b	(cbrt (* (cbrt z) (cbrt z)))
0.6b	(cbrt (* (cbrt z) (cbrt z)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

6×	`cbrt-prod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 38

Calls

4 calls:

1.0ms	(cbrt z)
5.0ms	(cbrt (* (cbrt z) (cbrt z)))
5.0ms	(cbrt (* (cbrt z) (cbrt z)))
5.0ms	(cbrt (* (cbrt z) (cbrt z)))

series157.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt z)
43.0ms	(cbrt (* (cbrt z) (cbrt z)))
46.0ms	(cbrt (* (cbrt z) (cbrt z)))
42.0ms	(cbrt (* (cbrt z) (cbrt z)))

simplify42.8s

Counts

50 → 50

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	6	15
done	6	15
0	5	7
done	5	7
0	6	20
1	7	20
2	9	8
3	14	5
4	20	5
5	30	5
6	53	5
7	118	5
8	324	5
9	1243	5
done	5000	5
0	5	7
done	5	7
0	5	7
done	5	7
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
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	3	3
done	3	3
0	3	3
done	3	3
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	314	3
6	889	3
7	2957	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	314	3
6	889	3
7	2957	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	10	10
1	23	9
2	39	5
3	78	3
4	155	3
5	314	3
6	889	3
7	2957	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	130	5
4	285	3
5	616	3
6	1979	3
done	5001	3
0	17	19
1	38	17
2	75	15
3	199	13
4	569	11
5	2214	11
done	5000	11
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	174	2
6	360	2
7	911	2
8	3082	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2

prune82.0ms

Filtered

39 candidates to 50 candidates (-28.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	50	0	50
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	50	8	58

Merged error: 0.0b

Counts

58 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
0.5b	(cbrt (- (+ x (cos y)) (* z (sin y))))
0.5b	(cbrt (- (+ x (cos y)) (* z (sin y))))
0.5b	(cbrt (- (+ x (cos y)) (* z (sin y))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

17.0ms	(* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
6.0ms	(cbrt (- (+ x (cos y)) (* z (sin y))))
6.0ms	(cbrt (- (+ x (cos y)) (* z (sin y))))
6.0ms	(cbrt (- (+ x (cos y)) (* z (sin y))))

series272.0ms

Counts

4 → 12

Calls

4 calls:

79.0ms	(* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
65.0ms	(cbrt (- (+ x (cos y)) (* z (sin y))))
63.0ms	(cbrt (- (+ x (cos y)) (* z (sin y))))
66.0ms	(cbrt (- (+ x (cos y)) (* z (sin y))))

simplify2.4min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	11	22
1	17	22
2	30	22
3	36	22
4	42	22
5	51	22
6	64	22
7	77	22
8	90	22
9	104	22
10	125	22
11	139	22
done	139	22
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	12	14
1	32	14
2	103	14
3	351	14
4	876	14
5	2362	14
done	5000	14
0	13	30
1	37	25
2	101	25
3	254	25
4	717	25
5	1738	25
6	2368	25
7	2418	25
done	2418	25
0	11	20
1	31	20
2	86	20
3	213	20
4	550	20
5	1585	20
done	5000	20
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	11	32
1	18	32
2	33	12
3	44	9
4	56	9
5	75	9
6	109	9
7	182	9
8	397	9
9	1329	9
done	5000	9
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	11	22
1	17	22
2	30	22
3	36	22
4	42	22
5	51	22
6	64	22
7	77	22
8	90	22
9	104	22
10	125	22
11	139	22
done	139	22
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	12	14
1	32	14
2	103	14
3	351	14
4	876	14
5	2362	14
done	5000	14
0	13	30
1	37	25
2	101	25
3	254	25
4	717	25
5	1738	25
6	2368	25
7	2418	25
done	2418	25
0	11	20
1	31	20
2	86	20
3	213	20
4	550	20
5	1585	20
done	5000	20
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	11	32
1	18	32
2	33	12
3	44	9
4	56	9
5	75	9
6	109	9
7	182	9
8	397	9
9	1329	9
done	5000	9
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	11	22
1	17	22
2	30	22
3	36	22
4	42	22
5	51	22
6	64	22
7	77	22
8	90	22
9	104	22
10	125	22
11	139	22
done	139	22
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	28	10
3	34	10
4	40	10
5	49	10
6	62	10
7	75	10
8	88	10
9	102	10
10	123	10
11	137	10
done	137	10
0	12	14
1	32	14
2	103	14
3	351	14
4	876	14
5	2362	14
done	5000	14
0	13	30
1	37	25
2	101	25
3	254	25
4	717	25
5	1738	25
6	2368	25
7	2418	25
done	2418	25
0	11	20
1	31	20
2	86	20
3	213	20
4	550	20
5	1585	20
done	5000	20
0	9	10
1	14	10
2	20	10
3	22	10
done	22	10
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	11	32
1	18	32
2	33	12
3	44	9
4	56	9
5	75	9
6	109	9
7	182	9
8	397	9
9	1329	9
done	5000	9
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	10	11
1	16	11
2	29	11
3	35	11
4	41	11
5	50	11
6	63	11
7	76	11
8	89	11
9	103	11
10	124	11
11	138	11
done	138	11
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	9	19
1	15	19
2	40	19
3	152	19
4	538	19
5	2011	19
done	5001	19
0	10	21
1	16	21
2	29	21
3	35	21
4	41	21
5	50	21
6	63	21
7	76	21
8	89	21
9	103	21
10	124	21
11	138	21
done	138	21
0	2	3
1	6	1
done	6	1
0	11	23
1	19	13
2	33	13
3	39	13
4	45	13
5	54	13
6	67	13
7	80	13
8	93	13
9	107	13
10	128	13
11	142	13
done	142	13
0	11	22
1	19	22
2	34	13
3	41	13
4	47	13
5	56	13
6	69	13
7	82	13
8	95	13
9	109	13
10	130	13
11	144	13
done	144	13
0	11	22
1	19	22
2	36	22
3	47	22
4	71	22
5	120	22
6	239	22
7	628	22
8	2322	22
done	5000	22
0	9	19
1	15	19
2	40	19
3	152	19
4	538	19
5	2011	19
done	5001	19
0	12	45
1	18	45
2	31	45
3	37	45
4	43	45
5	52	45
6	65	45
7	78	45
8	91	45
9	105	45
10	126	45
11	140	45
done	140	45
0	11	22
1	17	22
2	30	22
3	36	22
4	42	22
5	51	22
6	64	22
7	77	22
8	90	22
9	104	22
10	125	22
11	139	22
done	139	22
0	12	65
1	26	65
2	47	23
3	67	12
4	179	12
5	568	12
6	1973	12
done	5001	12
0	11	22
1	18	11
2	31	11
3	37	11
4	43	11
5	52	11
6	65	11
7	78	11
8	91	11
9	105	11
10	126	11
11	140	11
done	140	11
0	11	22
1	18	11
2	31	11
3	37	11
4	43	11
5	52	11
6	65	11
7	78	11
8	91	11
9	105	11
10	126	11
11	140	11
done	140	11
0	13	29
1	33	29
2	104	29
3	345	29
4	866	29
5	2344	29
done	5001	29
0	14	61
1	38	51
2	102	51
3	257	51
4	712	51
5	1770	51
6	2412	51
7	2453	51
done	2453	51
0	17	35
1	54	35
2	173	35
3	527	35
4	1370	35
5	4145	35
done	5001	35
0	16	41
1	43	36
2	112	36
3	282	36
4	761	36
5	1782	36
6	2333	36
7	2381	36
done	2381	36
0	17	35
1	54	35
2	173	35
3	518	35
4	1363	35
5	4155	35
done	5000	35
0	16	41
1	43	36
2	112	36
3	281	36
4	766	36
5	1770	36
6	2332	36
7	2371	36
done	2371	36
0	12	41
1	32	41
2	87	41
3	214	41
4	549	41
5	1585	41
done	5000	41
0	10	21
1	15	21
2	21	21
done	21	21
0	12	45
1	18	45
2	31	45
3	37	45
4	43	45
5	52	45
6	65	45
7	78	45
8	91	45
9	105	45
10	126	45
11	140	45
done	140	45
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	3	5
1	5	3
done	5	1
0	10	21
1	16	21
2	29	21
3	35	21
4	41	21
5	50	21
6	63	21
7	76	21
8	89	21
9	103	21
10	124	21
11	138	21
done	138	21
0	12	47
1	22	47
2	39	25
3	54	13
4	75	13
5	110	13
6	194	13
7	417	13
8	1326	13
done	5000	13
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	11	23
1	17	10
2	31	10
3	37	10
4	43	10
5	52	10
6	65	10
7	78	10
8	91	10
9	105	10
10	126	10
11	140	10
done	140	10
0	11	23
1	17	10
2	31	10
3	37	10
4	43	10
5	52	10
6	65	10
7	78	10
8	91	10
9	105	10
10	126	10
11	140	10
done	140	10
0	2	3
1	4	1
done	4	1
0	10	21
1	16	21
2	29	21
3	35	21
4	41	21
5	50	21
6	63	21
7	76	21
8	89	21
9	103	21
10	124	21
11	138	21
done	138	21
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	11	23
1	17	23
2	30	23
3	36	23
4	42	23
5	51	23
6	64	23
7	77	23
8	90	23
9	104	23
10	125	23
11	139	23
done	139	23
0	13	23
1	20	23
2	33	23
3	39	23
4	45	23
5	54	23
6	67	23
7	80	23
8	93	23
9	107	23
10	128	23
11	142	23
done	142	23
0	13	23
1	20	23
2	33	23
3	39	23
4	45	23
5	54	23
6	67	23
7	80	23
8	93	23
9	107	23
10	128	23
11	142	23
done	142	23
0	13	23
1	20	23
2	33	23
3	39	23
4	45	23
5	54	23
6	67	23
7	80	23
8	93	23
9	107	23
10	128	23
11	142	23
done	142	23
0	13	23
1	20	23
2	33	23
3	39	23
4	45	23
5	54	23
6	67	23
7	80	23
8	93	23
9	107	23
10	128	23
11	142	23
done	142	23
0	11	23
1	17	10
2	31	10
3	37	10
4	43	10
5	52	10
6	65	10
7	78	10
8	91	10
9	105	10
10	126	10
11	140	10
done	140	10
0	11	23
1	17	10
2	31	10
3	37	10
4	43	10
5	52	10
6	65	10
7	78	10
8	91	10
9	105	10
10	126	10
11	140	10
done	140	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	12	33
1	19	33
2	32	33
3	38	33
4	44	33
5	53	33
6	66	33
7	79	33
8	92	33
9	106	33
10	127	33
11	141	33
done	141	33
0	12	22
1	19	22
2	32	22
3	38	22
4	44	22
5	53	22
6	66	22
7	79	22
8	92	22
9	106	22
10	127	22
11	141	22
done	141	22
0	12	13
1	21	12
2	34	12
3	40	10
4	49	10
5	58	10
6	71	10
7	84	10
8	97	10
9	111	10
10	132	10
11	146	10
done	146	10
0	12	34
1	21	34
2	36	34
3	42	34
4	48	34
5	57	34
6	70	34
7	83	34
8	96	34
9	110	34
10	131	34
11	145	34
done	145	34
0	11	22
1	18	22
2	31	22
3	37	22
4	43	22
5	52	22
6	65	22
7	78	22
8	91	22
9	105	22
10	126	22
11	140	22
done	140	22
0	11	12
1	20	10
2	36	10
3	42	10
4	48	10
5	57	10
6	70	10
7	83	10
8	96	10
9	110	10
10	131	10
11	145	10
done	145	10
0	11	22
1	18	22
2	31	22
3	37	22
4	43	22
5	52	22
6	65	22
7	78	22
8	91	22
9	105	22
10	126	22
11	140	22
done	140	22
0	12	22
1	19	22
2	32	22
3	38	22
4	44	22
5	53	22
6	66	22
7	79	22
8	92	22
9	106	22
10	127	22
11	141	22
done	141	22
0	10	21
1	16	21
2	29	21
3	35	21
4	41	21
5	50	21
6	63	21
7	76	21
8	89	21
9	103	21
10	124	21
11	138	21
done	138	21
0	11	22
1	18	22
2	31	22
3	37	22
4	43	22
5	52	22
6	65	22
7	78	22
8	91	22
9	105	22
10	126	22
11	140	22
done	140	22
0	11	22
1	18	22
2	31	22
3	37	22
4	43	22
5	52	22
6	65	22
7	78	22
8	91	22
9	105	22
10	126	22
11	140	22
done	140	22
0	10	21
1	16	21
2	29	21
3	35	21
4	41	21
5	50	21
6	63	21
7	76	21
8	89	21
9	103	21
10	124	21
11	138	21
done	138	21
0	15	25
1	40	25
2	123	25
3	365	25
4	934	25
5	2447	25
done	5001	25
0	14	31
1	38	31
2	110	31
3	317	31
4	900	31
5	3161	31
done	5001	31
0	15	25
1	40	25
2	123	25
3	370	25
4	934	25
5	2450	25
done	5000	25
0	14	31
1	38	31
2	110	31
3	318	31
4	896	31
5	3119	31
done	5000	31
0	11	13
1	29	11
2	61	11
3	118	9
4	239	9
5	587	9
6	2012	9
done	5000	9
0	23	50
1	57	44
2	157	35
3	642	26
4	4426	23
done	5001	23
0	25	53
1	59	50
2	160	50
3	648	38
4	4477	23
done	5001	23
0	11	13
1	29	11
2	61	11
3	118	9
4	239	9
5	587	9
6	2012	9
done	5000	9
0	23	50
1	57	44
2	157	35
3	642	26
4	4426	23
done	5001	23
0	25	53
1	59	50
2	160	50
3	648	38
4	4477	23
done	5001	23
0	11	13
1	29	11
2	61	11
3	118	9
4	239	9
5	587	9
6	2012	9
done	5000	9
0	23	50
1	57	44
2	157	35
3	642	26
4	4426	23
done	5001	23
0	25	53
1	59	50
2	160	50
3	648	38
4	4477	23
done	5001	23
0	12	13
1	30	11
2	62	11
3	117	9
4	246	9
5	589	9
6	1951	9
done	5000	9
0	25	56
1	60	50
2	169	44
3	698	35
4	4585	25
done	5000	25
0	26	56
1	61	53
2	167	47
3	694	38
4	4634	29
done	5000	29

prune113.0ms

Filtered

78 candidates to 99 candidates (-26.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	98	9	107

Merged error: 0b

Counts

107 → 9

regimes321.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	10	9
done	10	9

end0.0ms

sample1.6s

Algorithm

intervals

Results

444.0ms	943×	body	1280	valid
386.0ms	5601×	body	80	valid
245.0ms	837×	body	640	valid
84.0ms	400×	body	320	valid
32.0ms	219×	body	160	valid

Details

sample54.0ms

simplify117.0ms

prune4.0ms

localize10.0ms

rewrite19.0ms

series37.0ms

simplify1.1min

prune98.0ms

localize14.0ms

rewrite13.0ms

series115.0ms

simplify51.2s

prune98.0ms

localize23.0ms

rewrite18.0ms

series157.0ms

simplify42.8s

prune82.0ms

localize15.0ms

rewrite39.0ms

series272.0ms

simplify2.4min

prune113.0ms

regimes321.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.6s

Profiling