Details

sample43.0ms

Algorithm

intervals

Results

26.0ms

483×

body

valid

simplify2.9s

Counts

1 → 1

Iterations

Useful iterations: 5 (196.0ms)

Iter	Nodes	Cost
0	11	19
1	20	19
2	53	17
3	134	17
4	320	12
5	669	11
6	1619	11
done	5000	11

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* x.re x.im) x.im)
0.2b	(* 3 (* (* x.re x.im) x.im))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

6.0ms	(* (* x.re x.im) x.im)
7.0ms	(* 3 (* (* x.re x.im) x.im))

series20.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (* x.re x.im) x.im)
12.0ms	(* 3 (* (* x.re x.im) x.im))

simplify1.1min

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	9	11
1	16	11
2	31	10
3	42	10
4	43	10
done	43	10
0	9	10
1	16	10
2	27	10
3	41	10
4	47	10
done	47	10
0	8	9
1	16	9
2	27	9
3	45	9
4	54	9
5	55	9
done	55	9
0	7	8
1	17	8
2	40	8
3	78	8
4	104	8
5	105	8
done	105	8
0	7	8
1	16	8
2	37	8
3	91	8
4	200	8
5	547	8
6	1788	8
done	5001	8
0	12	23
1	32	19
2	122	13
3	512	9
4	1912	9
done	5000	9
0	12	23
1	36	19
2	133	11
3	597	11
4	2133	9
done	5000	9
0	10	23
1	31	19
2	117	9
3	502	9
4	1754	9
5	4160	9
done	5000	9
0	8	17
1	15	17
2	28	17
3	40	17
4	41	17
done	41	17
0	7	8
1	14	8
2	27	8
3	38	8
4	39	8
done	39	8
0	8	23
1	26	21
2	113	9
3	614	9
4	2471	9
5	4748	9
done	5000	9
0	7	8
1	14	8
2	27	8
3	38	8
4	39	8
done	39	8
0	7	8
1	14	8
2	27	8
3	38	8
4	39	8
done	39	8
0	5	5
1	9	5
2	15	5
done	15	5
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	6	7
1	13	7
2	26	7
3	38	7
4	39	7
done	39	7
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune94.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	39	6	45
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	40	7	47

Merged error: 0.0b

Counts

47 → 7

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* 3 (* x.re x.im)) x.im)
0.2b	(* 3 (* x.re x.im))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*`
2×	`*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

8.0ms	(* (* 3 (* x.re x.im)) x.im)
6.0ms	(* 3 (* x.re x.im))

series13.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(* (* 3 (* x.re x.im)) x.im)
4.0ms	(* 3 (* x.re x.im))

simplify1.0min

Counts

45 → 45

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	55	6
4	120	6
5	292	6
6	772	6
7	2667	6
done	5000	6
0	11	17
1	26	13
2	81	9
3	260	9
4	785	7
5	2017	7
6	4846	7
done	5000	7
0	9	17
1	28	13
2	85	7
3	301	7
4	782	7
5	1427	7
6	2395	7
done	5001	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	22	15
2	90	7
3	399	7
4	1102	7
5	1458	7
6	2245	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	13	7
2	26	7
3	38	7
4	40	7
done	40	7
0	6	7
1	13	7
2	26	7
3	38	7
4	40	7
done	40	7
0	6	7
1	13	7
2	26	7
3	38	7
4	40	7
done	40	7
0	9	11
1	16	11
2	29	11
3	43	10
4	46	10
done	46	10
0	9	10
1	16	10
2	28	10
3	44	10
4	49	10
done	49	10
0	8	9
1	16	9
2	32	9
3	51	9
4	66	9
5	67	9
done	67	9
0	7	8
1	17	8
2	39	8
3	80	8
4	109	8
5	112	8
done	112	8
0	7	8
1	16	8
2	42	8
3	93	8
4	204	8
5	491	8
6	1309	8
7	4547	8
done	5000	8
0	12	23
1	32	19
2	120	13
3	535	9
4	2205	9
done	5001	9
0	12	23
1	36	19
2	131	11
3	627	11
4	2384	11
done	5000	11
0	10	23
1	31	21
2	138	11
3	818	11
4	3578	9
done	5000	9
0	8	17
1	15	17
2	28	17
3	40	17
4	42	17
done	42	17
0	7	8
1	14	8
2	27	8
3	41	8
4	43	8
done	43	8
0	8	23
1	25	23
2	112	9
3	639	9
4	2558	9
done	5000	9
0	7	8
1	14	8
2	27	8
3	41	8
4	43	8
done	43	8
0	7	8
1	14	8
2	27	8
3	41	8
4	43	8
done	43	8
0	8	11
1	17	11
2	45	11
3	109	11
4	149	11
done	149	11
0	7	8
1	14	8
2	33	8
3	59	8
4	61	8
done	61	8
0	7	7
1	16	5
2	41	5
3	68	5
done	68	5
0	4	5
1	8	5
2	9	5
done	9	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7

prune80.0ms

Filtered

33 candidates to 45 candidates (-36.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	43	2	45
Fresh	3	2	5
Picked	0	1	1
Done	0	1	1
Total	46	6	52

Merged error: 0.0b

Counts

52 → 6

localize8.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* (* 3 x.re) x.im) x.im)
0.2b	(* (* 3 x.re) x.im)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`associate-r`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
2×	`associate-l` `*-commutative` `add-log-exp`

Counts

2 → 39

Calls

2 calls:

8.0ms	(* (* (* 3 x.re) x.im) x.im)
6.0ms	(* (* 3 x.re) x.im)

series13.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(* (* (* 3 x.re) x.im) x.im)
4.0ms	(* (* 3 x.re) x.im)

simplify1.0min

Counts

45 → 45

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	55	6
4	118	6
5	262	6
6	616	6
7	1756	6
done	5000	6
0	11	17
1	26	13
2	76	9
3	250	9
4	725	9
5	1879	7
6	4643	7
done	5000	7
0	9	17
1	27	15
2	91	9
3	374	9
4	1101	7
5	2066	7
6	4206	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	421	7
4	1148	7
5	1592	7
6	2611	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
done	23	3
0	3	3
1	4	3
done	4	3
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	6	7
1	13	7
2	27	7
3	39	7
4	40	7
done	40	7
0	9	11
1	16	11
2	32	10
3	47	10
4	48	10
done	48	10
0	8	10
1	16	10
2	26	9
3	42	9
4	46	9
done	46	9
0	8	9
1	15	9
2	30	9
3	52	9
4	71	9
done	71	9
0	7	8
1	17	8
2	40	8
3	74	8
4	100	8
5	101	8
done	101	8
0	7	8
1	16	8
2	42	8
3	86	8
4	185	8
5	433	8
6	1055	8
7	3261	8
done	5000	8
0	12	23
1	32	19
2	118	13
3	479	9
4	1757	9
done	5000	9
0	10	23
1	33	21
2	131	13
3	685	9
4	2692	9
done	5000	9
0	10	23
1	29	23
2	137	11
3	800	11
4	3254	9
done	5001	9
0	8	17
1	15	17
2	29	17
3	41	17
done	41	17
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	8	23
1	24	23
2	103	9
3	549	9
4	2408	9
done	5000	9
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	7	8
1	14	8
2	28	8
3	40	8
4	41	8
done	41	8
0	8	11
1	17	11
2	46	11
3	110	11
4	153	11
done	153	11
0	7	8
1	14	8
2	34	8
3	57	8
4	58	8
done	58	8
0	7	7
1	16	5
2	42	5
3	60	5
4	72	5
done	72	5
0	2	3
done	2	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7
0	7	7
1	16	7
2	42	7
3	61	7
4	69	7
5	79	7
6	100	7
7	165	7
8	376	7
9	1323	7
done	5000	7

prune73.0ms

Filtered

32 candidates to 45 candidates (-40.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	45	6	51

Merged error: 0.0b

Counts

51 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* x.re x.im) x.im)
0.2b	(* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.im)))
0.2b	(* (sqrt 3) (* (* x.re x.im) x.im))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

31×	`pow1` `add-exp-log` `add-cbrt-cube`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
13×	`associate-l`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-prod`
5×	`associate-r`
3×	`*-commutative` `add-log-exp`

Counts

3 → 69

Calls

3 calls:

6.0ms	(* (* x.re x.im) x.im)
13.0ms	(* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.im)))
9.0ms	(* (sqrt 3) (* (* x.re x.im) x.im))

series38.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (* x.re x.im) x.im)
14.0ms	(* (sqrt 3) (* (sqrt 3) (* (* x.re x.im) x.im)))
16.0ms	(* (sqrt 3) (* (* x.re x.im) x.im))

simplify1.7min

Counts

78 → 78

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	10	12
1	17	12
2	32	11
3	45	11
done	45	11
0	10	11
1	17	11
2	28	11
3	44	11
4	50	11
done	50	11
0	9	10
1	17	10
2	28	10
3	46	10
4	56	10
5	57	10
done	57	10
0	8	9
1	18	9
2	41	9
3	76	9
4	101	9
5	103	9
done	103	9
0	8	9
1	17	9
2	38	9
3	85	9
4	183	9
5	439	9
6	1090	9
7	3234	9
done	5000	9
0	13	26
1	31	22
2	128	16
3	582	12
4	2337	12
done	5001	12
0	13	26
1	35	22
2	139	14
3	692	14
4	2725	12
done	5000	12
0	11	26
1	30	22
2	121	12
3	580	12
4	2140	12
5	4269	12
done	5000	12
0	9	19
1	16	19
2	29	19
3	39	19
done	39	19
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	9	26
1	26	26
2	115	10
3	638	10
4	2627	10
done	5001	10
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	8	9
1	15	9
2	28	9
3	37	9
done	37	9
0	7	8
1	14	8
2	27	8
3	37	8
done	37	8
0	8	11
1	18	11
2	41	7
3	81	7
4	100	7
done	100	7
0	8	11
1	18	11
2	41	7
3	81	7
4	100	7
done	100	7
0	8	11
1	18	11
2	41	7
3	81	7
4	100	7
done	100	7
0	8	11
1	18	11
2	41	7
3	81	7
4	100	7
done	100	7
0	11	16
1	21	16
2	47	13
3	86	13
4	101	11
5	102	11
done	102	11
0	11	15
1	21	15
2	42	13
3	80	13
4	106	11
5	107	11
done	107	11
0	10	14
1	21	14
2	37	12
3	72	12
4	108	12
5	119	11
6	120	11
done	120	11
0	10	13
1	20	13
2	45	13
3	92	12
4	159	12
5	178	10
6	179	10
done	179	10
0	9	12
1	22	12
2	54	8
3	126	8
4	236	8
5	278	8
6	280	8
7	281	8
done	281	8
0	9	12
1	21	12
2	52	8
3	143	8
4	353	8
5	912	8
6	2365	8
done	5000	8
0	14	35
1	37	27
2	171	15
3	891	9
4	4640	9
done	5000	9
0	14	35
1	41	27
2	183	11
3	1003	11
done	5000	11
0	12	35
1	36	27
2	164	11
3	845	9
4	4305	9
done	5000	9
0	12	35
1	34	27
2	157	15
3	987	15
done	5001	15
0	10	25
1	20	25
2	43	17
3	83	17
4	100	17
done	100	17
0	9	12
1	19	12
2	42	8
3	80	8
4	97	8
done	97	8
0	10	35
1	29	35
2	119	9
3	731	9
4	4470	9
done	5000	9
0	9	12
1	19	12
2	42	8
3	80	8
4	97	8
done	97	8
0	9	12
1	19	12
2	42	8
3	80	8
4	97	8
done	97	8
0	3	5
done	3	1
0	9	12
1	19	12
2	48	12
3	110	12
4	152	12
5	154	12
done	154	12
0	10	12
1	20	12
2	49	12
3	114	12
4	161	12
5	163	12
done	163	12
0	9	12
1	19	12
2	48	12
3	110	12
4	152	12
5	154	12
done	154	12
0	8	11
1	18	11
2	41	7
3	81	7
4	100	7
done	100	7
0	9	12
1	19	12
2	48	12
3	110	12
4	152	12
5	154	12
done	154	12
0	8	11
1	18	11
2	41	7
3	81	7
4	100	7
done	100	7
0	4	5
1	8	5
2	9	5
done	9	5
0	4	5
1	8	5
2	9	5
done	9	5
0	6	8
1	10	8
2	13	7
3	14	7
done	14	7
0	6	7
1	10	7
2	13	7
3	16	7
4	17	7
done	17	7
0	5	6
1	12	6
2	19	6
3	23	6
4	25	6
5	26	6
done	26	6
0	5	6
1	11	6
2	22	6
3	40	6
4	84	6
5	194	6
6	475	6
7	1303	6
done	5000	6
0	8	17
1	20	17
2	77	11
3	219	7
4	454	7
5	1201	7
6	4018	7
done	5001	7
0	8	17
1	24	17
2	89	9
3	270	9
4	451	7
5	1025	7
6	3081	7
done	5001	7
0	6	13
1	10	13
2	11	13
done	11	13
0	5	6
1	9	6
2	10	6
done	10	6
0	6	17
1	19	17
2	72	7
3	211	7
4	361	7
5	532	7
6	1355	7
7	4489	7
done	5000	7
0	5	6
1	9	6
2	10	6
done	10	6
0	5	6
1	9	6
2	10	6
done	10	6
0	6	9
1	12	9
2	25	9
3	37	9
done	37	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	3
done	2	3
0	8	8
1	17	8
2	43	8
3	62	8
4	70	8
5	80	8
6	101	8
7	160	8
8	378	8
9	1301	8
done	5000	8
0	8	8
1	17	8
2	43	8
3	62	8
4	70	8
5	80	8
6	101	8
7	160	8
8	378	8
9	1301	8
done	5000	8
0	8	8
1	17	8
2	43	8
3	62	8
4	70	8
5	80	8
6	101	8
7	160	8
8	378	8
9	1301	8
done	5000	8
0	9	10
1	21	10
2	78	7
3	147	7
4	328	7
5	971	7
6	3274	7
done	5001	7
0	9	10
1	21	10
2	78	7
3	147	7
4	328	7
5	971	7
6	3274	7
done	5001	7
0	9	10
1	21	10
2	78	7
3	147	7
4	328	7
5	971	7
6	3274	7
done	5001	7
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5
0	5	5
1	11	5
2	27	5
3	32	5
4	38	5
5	48	5
6	70	5
7	129	5
8	346	5
9	1272	5
done	5000	5

prune135.0ms

Filtered

59 candidates to 78 candidates (-32.2%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	78	6	84

Merged error: 0.0b

Counts

84 → 6

regimes97.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	11	11
done	11	11

end0.0ms

sample1.3s

Algorithm

intervals

Results

815.0ms

14350×

body

valid

Details

sample43.0ms

simplify2.9s

prune9.0ms

localize8.0ms

rewrite15.0ms

series20.0ms

simplify1.1min

prune94.0ms

localize7.0ms

rewrite15.0ms

series13.0ms

simplify1.0min

prune80.0ms

localize8.0ms

rewrite15.0ms

series13.0ms

simplify1.0min

prune73.0ms

localize10.0ms

rewrite31.0ms

series38.0ms

simplify1.7min

prune135.0ms

regimes97.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling