Details

sample14.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
done	6	7

prune6.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: 15.1b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) 1.0)
15.1b	(/ x (+ (* x x) 1.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow1` `flip3-+` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

2 → 40

Calls

2 calls:

4.0ms	(+ (* x x) 1.0)
6.0ms	(/ x (+ (* x x) 1.0))

series10.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ (* x x) 1.0)
5.0ms	(/ x (+ (* x x) 1.0))

simplify54.3s

Counts

46 → 46

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	10	9
2	11	9
done	11	9
0	6	8
1	10	8
2	12	8
3	13	8
done	13	8
0	6	8
1	7	8
done	7	8
0	8	23
1	30	23
2	102	11
3	269	9
4	640	9
5	1661	9
6	4215	9
done	5000	9
0	7	17
1	8	17
done	8	17
0	6	8
1	7	8
done	7	8
0	7	23
1	15	23
2	30	9
3	68	9
4	151	9
5	309	9
6	651	9
7	1683	9
done	5000	9
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	2	2
done	2	2
0	5	6
1	9	6
2	14	6
3	15	6
done	15	6
0	9	19
1	16	19
2	25	19
3	31	19
done	31	19
0	7	9
1	8	9
done	8	9
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	9
1	8	9
done	8	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	8
1	7	8
done	7	8
0	8	16
1	11	16
done	11	16
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	4	4
1	6	2
2	8	2
done	8	2
0	6	8
1	7	8
done	7	8
0	8	15
1	13	15
done	13	15
0	6	8
1	7	8
done	7	8
0	7	8
1	10	8
done	10	8
0	6	8
1	7	8
done	7	8
0	2	3
1	4	1
done	4	1
0	5	7
1	6	7
done	6	7
0	6	7
1	9	7
done	9	7
0	5	7
1	6	7
done	6	7
0	7	15
1	10	15
done	10	15
0	6	8
1	7	8
done	7	8
0	3	3
1	5	1
done	5	1
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	5	7
1	6	7
done	6	7
0	8	11
1	24	11
2	48	9
3	84	9
4	175	9
5	463	9
6	1477	9
done	5001	9
0	7	13
1	16	13
2	29	11
3	55	9
4	103	9
5	193	9
6	355	9
7	845	9
8	3576	9
done	5000	9
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	121	6
6	313	6
7	1010	6
8	3782	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	306	6
8	1004	6
9	3787	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	166	7
4	413	7
5	1137	7
6	2577	7
7	4034	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	180	7
5	455	7
6	1467	7
done	5000	7
0	8	17
1	22	15
2	47	13
3	85	11
4	138	11
5	237	11
6	485	11
7	1244	11
8	4856	11
done	5000	11
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	6	5
2	7	5
done	7	5
0	11	15
1	33	13
2	78	11
3	183	11
4	397	11
5	949	11
6	3211	11
done	5001	11
0	14	19
1	38	19
2	91	15
3	216	15
4	558	15
5	1929	15
done	5000	15
0	14	19
1	38	19
2	91	15
3	216	15
4	558	15
5	1929	15
done	5000	15
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune81.0ms

Filtered

38 candidates to 46 candidates (-21.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0b

Counts

47 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x x) 1.0)
0.0b	(/ x (sqrt (+ (* x x) 1.0)))
15.0b	(sqrt (+ (* x x) 1.0))
15.0b	(sqrt (+ (* x x) 1.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac` `sqrt-prod`
6×	`pow1` `add-exp-log` `sqrt-div` `associate-/r*` `add-cbrt-cube` `add-log-exp`
4×	`flip3-+` `flip-+`
3×	`associate-/l*`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-/r/`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

4 → 82

Calls

4 calls:

5.0ms	(+ (* x x) 1.0)
7.0ms	(/ x (sqrt (+ (* x x) 1.0)))
5.0ms	(sqrt (+ (* x x) 1.0))
4.0ms	(sqrt (+ (* x x) 1.0))

series21.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(+ (* x x) 1.0)
8.0ms	(/ x (sqrt (+ (* x x) 1.0)))
4.0ms	(sqrt (+ (* x x) 1.0))
4.0ms	(sqrt (+ (* x x) 1.0))

simplify1.7min

Counts

94 → 94

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	20	8
3	29	8
4	35	8
5	45	8
6	66	8
7	129	8
8	345	8
9	1263	8
done	5000	8
0	7	14
1	9	7
done	9	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	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	48	8
3	84	8
4	175	8
5	463	8
6	1477	8
done	5001	8
0	9	18
1	23	16
2	48	14
3	86	12
4	139	12
5	238	12
6	486	12
7	1217	12
8	4797	12
done	5000	12
0	7	12
1	16	12
2	27	10
3	51	8
4	99	8
5	189	8
6	350	8
7	832	8
8	3577	8
done	5001	8
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	6	1
done	6	1
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	7	15
1	8	15
done	8	15
0	6	7
1	7	7
done	7	7
0	7	20
1	9	12
2	20	8
3	29	8
4	35	8
5	45	8
6	66	8
7	129	8
8	345	8
9	1263	8
done	5000	8
0	7	14
1	9	7
done	9	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	2	2
1	4	1
done	4	1
0	5	6
1	6	6
done	6	6
0	8	10
1	24	10
2	48	8
3	84	8
4	175	8
5	463	8
6	1477	8
done	5001	8
0	9	18
1	23	16
2	48	14
3	86	12
4	139	12
5	238	12
6	486	12
7	1217	12
8	4797	12
done	5000	12
0	7	12
1	16	12
2	27	10
3	51	8
4	99	8
5	189	8
6	350	8
7	832	8
8	3577	8
done	5001	8
0	5	6
1	7	6
2	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	8	10
1	11	10
2	12	10
done	12	10
0	7	9
1	11	9
2	13	9
3	14	9
done	14	9
0	7	9
1	8	9
done	8	9
0	9	26
1	19	18
2	60	12
3	131	10
4	218	10
5	351	10
6	829	10
7	3473	10
done	5001	10
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	16	26
2	31	10
3	69	10
4	136	10
5	225	10
6	371	10
7	896	10
8	3695	10
done	5000	10
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
done	2	2
0	6	7
1	7	7
done	7	7
0	10	21
1	17	21
2	26	21
3	32	21
done	32	21
0	8	10
1	9	10
done	9	10
0	10	20
1	14	13
2	16	13
3	17	13
done	17	13
0	8	10
1	9	10
done	9	10
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	10
1	9	10
done	9	10
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	7	9
1	8	9
done	8	9
0	9	13
1	12	13
2	14	13
3	15	13
done	15	13
0	8	10
1	9	10
done	9	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	9
1	8	9
done	8	9
0	9	18
1	12	18
done	12	18
0	8	10
1	9	10
done	9	10
0	9	17
1	11	10
done	11	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	5
1	7	4
done	7	4
0	7	9
1	8	9
done	8	9
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	8	9
done	8	9
0	9	17
1	14	17
done	14	17
0	7	9
1	8	9
done	8	9
0	9	16
1	13	9
done	13	9
0	7	9
1	8	9
done	8	9
0	8	9
1	11	9
done	11	9
0	7	9
1	8	9
done	8	9
0	3	4
1	5	3
done	5	3
0	6	8
1	7	8
done	7	8
0	8	9
1	11	9
done	11	9
0	7	9
1	8	9
done	8	9
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	7	8
1	10	8
done	10	8
0	6	8
1	7	8
done	7	8
0	8	17
1	11	17
done	11	17
0	8	16
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	4	4
1	6	3
done	6	3
0	7	9
1	8	9
done	8	9
0	3	3
1	5	1
done	5	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	8
1	7	8
done	7	8
0	9	12
1	25	12
2	49	10
3	85	10
4	176	10
5	448	10
6	1447	10
done	5000	10
0	8	14
1	17	14
2	28	12
3	52	10
4	100	10
5	188	10
6	347	10
7	829	10
8	3549	10
done	5000	10
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	121	6
6	313	6
7	1010	6
8	3782	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	306	6
8	1004	6
9	3787	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	166	7
4	413	7
5	1137	7
6	2577	7
7	4034	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	180	7
5	455	7
6	1467	7
done	5000	7
0	8	17
1	22	15
2	47	13
3	85	11
4	138	11
5	237	11
6	485	11
7	1244	11
8	4856	11
done	5000	11
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	6	5
2	7	5
done	7	5
0	17	22
1	43	22
2	127	22
3	408	22
4	1750	19
done	5000	19
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	68	11
3	134	11
4	292	11
5	788	11
6	2970	11
done	5000	11
0	17	22
1	43	22
2	127	22
3	408	22
4	1750	19
done	5000	19
0	12	15
1	33	15
2	74	11
3	172	11
4	424	11
5	1361	11
done	5000	11
0	12	15
1	33	15
2	68	11
3	134	11
4	292	11
5	788	11
6	2970	11
done	5000	11
0	20	33
1	55	33
2	144	33
3	421	26
4	1614	26
done	5000	26
0	14	17
1	34	17
2	89	13
3	241	13
4	808	13
5	2605	13
done	5001	13
0	14	17
1	34	17
2	84	13
3	224	13
4	775	13
5	2662	13
done	5001	13
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune172.0ms

Filtered

76 candidates to 94 candidates (-23.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	94	3	97

Merged error: 0b

Counts

97 → 3

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x x) 1.0)
0.2b	(/ 1 (+ (* x x) 1.0))
14.9b	(* x (/ 1 (+ (* x x) 1.0)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
20×	`*-un-lft-identity` `times-frac`
19×	`add-cube-cbrt`
16×	`add-exp-log`
15×	`associate-r`
10×	`add-cbrt-cube`
6×	`pow1`
5×	`add-log-exp`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`flip3-+` `associate-l` `associate-/r` `flip-+` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `cbrt-unprod` `div-inv`
1×	`+-commutative` `pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `un-div-inv` `-commutative` `inv-pow`

Counts

3 → 82

Calls

3 calls:

4.0ms	(+ (* x x) 1.0)
7.0ms	(/ 1 (+ (* x x) 1.0))
11.0ms	(* x (/ 1 (+ (* x x) 1.0)))

series13.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (* x x) 1.0)
4.0ms	(/ 1 (+ (* x x) 1.0))
5.0ms	(* x (/ 1 (+ (* x x) 1.0)))

simplify1.4min

Counts

91 → 91

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	7	9
1	13	9
2	16	7
3	17	7
4	22	7
5	23	7
done	23	7
0	8	10
1	11	9
done	11	9
0	9	11
1	15	10
2	25	9
3	34	9
4	52	9
5	78	9
6	81	9
7	90	9
8	101	9
done	101	9
0	10	12
1	18	11
2	25	9
3	42	9
4	60	9
5	86	9
6	91	9
7	100	9
8	118	9
done	118	9
0	9	11
1	17	10
2	23	9
3	34	9
4	46	9
5	78	9
6	99	9
7	106	9
8	116	9
done	116	9
0	8	10
1	17	10
2	26	8
3	32	8
4	50	8
5	62	8
6	92	8
7	98	8
8	107	8
done	107	8
0	8	10
1	16	10
2	25	8
3	36	8
4	82	8
5	180	8
6	435	8
7	1324	8
8	4550	8
done	5001	8
0	12	29
1	41	25
2	127	11
3	397	11
4	1048	11
5	2731	9
done	5000	9
0	10	29
1	26	29
2	75	13
3	210	13
4	494	9
5	1072	9
6	2626	9
done	5000	9
0	9	21
1	15	21
2	18	17
3	19	17
4	24	17
5	25	17
done	25	17
0	8	10
1	14	10
2	17	8
3	18	8
4	23	8
5	24	8
done	24	8
0	9	29
1	24	29
2	78	9
3	210	9
4	427	9
5	712	9
6	1582	9
7	4959	9
done	5000	9
0	8	10
1	14	10
2	17	8
3	18	8
4	23	8
5	24	8
done	24	8
0	8	10
1	14	10
2	17	8
3	18	8
4	23	8
5	24	8
done	24	8
0	9	11
1	13	11
done	13	11
0	9	11
1	13	11
done	13	11
0	10	12
1	16	11
2	19	11
3	23	9
4	34	9
5	35	9
done	35	9
0	10	12
1	16	11
2	19	11
3	23	9
4	34	9
5	35	9
done	35	9
0	9	11
1	15	11
2	18	9
3	33	9
4	34	9
done	34	9
0	9	11
1	15	11
2	18	9
3	33	9
4	34	9
done	34	9
0	9	19
1	15	19
2	17	19
done	17	19
0	8	10
1	12	10
done	12	10
0	11	21
1	23	19
2	52	17
3	86	15
4	96	15
5	97	15
done	97	15
0	10	14
1	18	12
2	28	10
3	41	8
4	42	8
done	42	8
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	10	18
1	18	17
2	29	17
3	43	15
4	68	15
5	82	15
done	82	15
0	9	11
1	15	10
2	18	10
3	22	8
4	28	8
5	29	8
done	29	8
0	5	6
1	10	3
2	15	1
done	15	1
0	9	17
1	17	17
2	27	15
3	35	15
4	55	15
5	86	15
6	91	15
done	91	15
0	8	10
1	14	10
2	17	8
3	18	8
4	23	8
5	24	8
done	24	8
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	10	13
1	31	13
2	58	9
3	94	9
4	188	9
5	462	9
6	1466	9
done	5000	9
0	9	15
1	23	15
2	43	11
3	81	11
4	171	9
5	359	9
6	690	9
7	1580	9
done	5000	9
0	8	10
1	14	10
2	17	8
3	32	8
4	33	8
done	33	8
0	8	10
1	14	10
2	17	8
3	32	8
4	33	8
done	33	8
0	7	9
1	13	9
2	16	7
3	17	7
4	22	7
5	23	7
done	23	7
0	3	3
1	6	1
done	6	1
0	2	2
1	5	1
done	5	1
0	6	7
1	7	7
done	7	7
0	7	8
1	10	7
2	14	7
3	16	7
4	22	7
5	27	7
done	27	7
0	8	9
1	13	8
2	14	7
3	20	7
4	26	7
5	31	7
done	31	7
0	7	8
1	14	7
2	15	7
3	19	7
4	21	7
5	27	7
6	32	7
done	32	7
0	7	8
1	10	8
done	10	8
0	10	23
1	33	19
2	85	9
3	211	9
4	519	9
5	1276	9
6	2836	9
done	5000	9
0	8	17
1	11	17
done	11	17
0	7	8
1	10	8
done	10	8
0	8	23
1	18	23
2	34	9
3	71	9
4	95	9
5	157	9
6	314	9
7	772	9
8	2159	9
done	5000	9
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	2	2
1	5	1
done	5	1
0	5	6
1	9	6
2	14	6
3	15	6
done	15	6
0	10	19
1	19	17
2	28	15
3	34	15
done	34	15
0	8	9
1	11	8
done	11	8
0	9	12
1	14	10
2	16	8
3	17	8
done	17	8
0	8	9
1	11	8
done	11	8
0	4	7
1	8	3
2	12	1
done	12	1
0	7	8
1	10	7
done	10	7
0	9	16
1	14	15
done	14	15
0	8	9
1	11	8
done	11	8
0	8	9
1	11	8
done	11	8
0	8	9
1	11	8
done	11	8
0	3	4
1	5	1
done	5	1
0	7	8
1	10	7
done	10	7
0	8	15
1	13	15
done	13	15
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
done	9	7
0	6	7
1	9	7
done	9	7
0	6	7
1	9	5
2	11	5
done	11	5
0	8	15
1	13	15
done	13	15
0	7	8
1	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	7	8
1	10	7
done	10	7
0	7	8
1	10	7
done	10	7
0	6	7
1	9	5
2	11	5
done	11	5
0	9	11
1	27	11
2	51	9
3	90	9
4	181	9
5	459	9
6	1468	9
done	5001	9
0	8	13
1	19	13
2	32	11
3	57	9
4	103	9
5	191	9
6	353	9
7	835	9
8	3581	9
done	5001	9
0	6	7
1	11	6
2	16	6
3	25	6
4	53	6
5	121	6
6	313	6
7	1010	6
8	3782	6
done	5000	6
0	5	6
1	6	6
done	6	6
0	5	6
1	9	6
2	12	6
3	16	6
4	25	6
5	51	6
6	117	6
7	306	6
8	1004	6
9	3787	6
done	5000	6
0	6	13
1	7	13
done	7	13
0	5	6
1	6	6
done	6	6
0	6	17
1	20	17
2	62	7
3	166	7
4	413	7
5	1137	7
6	2577	7
7	4034	7
done	5000	7
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	7	9
1	23	9
2	47	7
3	87	7
4	180	7
5	455	7
6	1467	7
done	5000	7
0	8	17
1	22	15
2	47	13
3	85	11
4	138	11
5	237	11
6	485	11
7	1244	11
8	4856	11
done	5000	11
0	6	11
1	15	11
2	26	9
3	50	7
4	98	7
5	186	7
6	349	7
7	830	7
8	3556	7
done	5001	7
0	4	5
1	6	5
2	7	5
done	7	5
0	11	15
1	33	13
2	78	11
3	183	11
4	397	11
5	949	11
6	3211	11
done	5001	11
0	14	19
1	38	19
2	91	15
3	216	15
4	558	15
5	1929	15
done	5000	15
0	14	19
1	38	19
2	91	15
3	216	15
4	558	15
5	1929	15
done	5000	15
0	10	13
1	25	13
2	74	11
3	135	11
4	208	11
5	310	11
6	599	11
7	1508	11
8	4910	11
done	5000	11
0	16	21
1	39	21
2	98	17
3	270	17
4	1332	17
done	5000	17
0	16	21
1	39	21
2	98	17
3	270	17
4	1332	17
done	5000	17
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5
0	5	5
1	11	5
2	19	5
3	24	5
4	30	5
5	40	5
6	62	5
7	126	5
8	342	5
9	1264	5
done	5000	5

prune100.0ms

Filtered

60 candidates to 91 candidates (-51.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	91	3	94

Merged error: 0b

Counts

94 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (pow x 5))
0.2b	(/ 1.0 (pow x 3))
22.8b	(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

108×	`add-sqr-sqrt`
94×	`times-frac`
54×	`*-un-lft-identity`
46×	`add-cube-cbrt`
33×	`unpow-prod-down`
20×	`difference-of-squares`
19×	`associate-/r*`
17×	`sqr-pow`
16×	`cube-prod`
13×	`add-exp-log`
7×	`add-cbrt-cube`
6×	`div-exp` `associate-/l*`
5×	`distribute-lft-out--` `add-log-exp`
4×	`cube-mult` `unpow3` `div-inv`
3×	`pow1`
2×	`cbrt-undiv` `pow-to-exp` `frac-2neg` `pow-exp` `clear-num`
1×	`sub-neg` `flip3--` `diff-log` `frac-sub` `flip--`

Counts

3 → 148

Calls

3 calls:

6.0ms	(/ 1.0 (pow x 5))
6.0ms	(/ 1.0 (pow x 3))
55.0ms	(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

series23.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ 1.0 (pow x 5))
4.0ms	(/ 1.0 (pow x 3))
13.0ms	(- (/ 1.0 (pow x 5)) (/ 1.0 (pow x 3)))

simplify11.9min

Counts

157 → 157

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	11	13
1	25	12
2	47	12
3	87	12
4	174	12
5	405	12
6	1179	12
7	4514	12
done	5000	12
0	10	12
1	24	12
2	47	12
3	88	12
4	168	12
5	385	12
6	1150	12
7	4481	12
done	5000	12
0	10	12
1	27	12
2	52	12
3	96	12
4	182	12
5	403	12
6	1187	12
7	4495	12
done	5000	12
0	11	25
1	25	25
2	48	25
3	89	25
4	169	25
5	390	25
6	1156	25
7	4459	25
done	5000	25
0	10	12
1	24	12
2	47	12
3	88	12
4	168	12
5	385	12
6	1150	12
7	4481	12
done	5000	12
0	11	35
1	26	35
2	62	13
3	168	13
4	778	13
done	5000	13
0	10	12
1	24	12
2	47	12
3	88	12
4	168	12
5	385	12
6	1150	12
7	4481	12
done	5000	12
0	10	12
1	24	12
2	47	12
3	88	12
4	168	12
5	385	12
6	1150	12
7	4481	12
done	5000	12
0	9	11
1	25	11
2	62	9
3	119	9
4	280	9
5	806	9
6	3001	9
done	5001	9
0	6	7
1	19	7
2	51	7
3	141	7
4	421	5
5	1833	3
done	5000	3
0	11	15
1	40	15
2	119	15
3	517	15
4	3306	15
done	5001	15
0	13	35
1	42	29
2	122	29
3	465	29
4	1843	25
done	5001	25
0	6	6
1	16	6
2	34	6
3	62	6
4	109	6
5	235	6
6	669	6
7	2496	6
done	5000	6
0	11	23
1	36	23
2	96	23
3	359	23
4	1430	13
done	5001	13
0	9	11
1	22	11
2	42	11
3	71	11
4	137	11
5	317	11
6	943	11
7	3649	11
done	5000	11
0	11	13
1	24	13
2	44	13
3	73	13
4	139	13
5	328	13
6	954	13
7	3657	13
done	5000	13
0	11	13
1	25	13
2	46	13
3	75	13
4	139	13
5	325	13
6	952	13
7	3647	13
done	5000	13
0	12	14
1	25	14
2	45	14
3	73	14
4	139	14
5	321	14
6	949	14
7	3647	14
done	5000	14
0	12	14
1	26	14
2	49	14
3	89	14
4	168	14
5	390	14
6	1158	14
7	4478	14
done	5000	14
0	12	14
1	25	14
2	45	14
3	73	14
4	139	14
5	321	14
6	949	14
7	3647	14
done	5000	14
0	12	14
1	26	14
2	49	14
3	89	14
4	168	14
5	390	14
6	1158	14
7	4478	14
done	5000	14
0	12	14
1	25	14
2	40	14
3	64	14
4	119	14
5	269	14
6	797	14
7	3072	14
done	5000	14
0	12	14
1	26	14
2	44	14
3	68	14
4	123	14
5	274	14
6	800	14
7	3074	14
done	5001	14
0	13	15
1	23	13
2	39	13
3	67	13
4	131	13
5	310	13
6	926	13
7	3649	13
done	5000	13
0	13	15
1	23	13
2	43	13
3	75	13
4	152	13
5	368	13
6	1144	13
7	4480	13
done	5000	13
0	12	14
1	25	14
2	45	14
3	75	14
4	141	14
5	323	14
6	954	14
7	3666	14
done	5000	14
0	12	14
1	26	14
2	47	14
3	77	14
4	141	14
5	328	14
6	960	14
7	3650	14
done	5000	14
0	11	15
1	24	15
2	44	15
3	72	15
4	136	15
5	325	15
6	951	15
7	3640	15
done	5000	15
0	11	15
1	25	15
2	48	15
3	88	15
4	167	15
5	391	15
6	1161	15
7	4474	15
done	5000	15
0	11	15
1	24	15
2	44	15
3	72	15
4	136	15
5	325	15
6	951	15
7	3640	15
done	5000	15
0	11	15
1	25	15
2	48	15
3	88	15
4	167	15
5	391	15
6	1161	15
7	4474	15
done	5000	15
0	12	15
1	25	15
2	40	15
3	64	15
4	117	15
5	264	15
6	783	15
7	3091	15
done	5000	15
0	12	15
1	26	15
2	44	15
3	68	15
4	121	15
5	271	15
6	795	15
7	3068	15
done	5001	15
0	13	16
1	23	14
2	39	14
3	67	14
4	131	14
5	311	14
6	934	14
7	3644	14
done	5000	14
0	13	16
1	23	14
2	43	14
3	75	14
4	152	14
5	370	14
6	1151	14
7	4493	14
done	5000	14
0	12	14
1	25	14
2	44	14
3	70	14
4	123	14
5	271	14
6	795	14
7	3070	14
done	5000	14
0	12	14
1	26	14
2	46	14
3	72	14
4	127	14
5	284	14
6	812	14
7	3120	14
done	5000	14
0	12	15
1	25	15
2	44	15
3	68	15
4	123	15
5	278	15
6	800	15
7	3078	15
done	5001	15
0	12	15
1	26	15
2	48	15
3	84	15
4	150	15
5	345	15
6	1026	15
7	3917	15
done	5000	15
0	12	15
1	25	15
2	44	15
3	68	15
4	123	15
5	278	15
6	800	15
7	3078	15
done	5001	15
0	12	15
1	26	15
2	48	15
3	84	15
4	150	15
5	345	15
6	1026	15
7	3917	15
done	5000	15
0	12	15
1	25	15
2	39	15
3	59	15
4	101	15
5	221	15
6	634	15
7	2470	15
done	5000	15
0	12	15
1	26	15
2	43	15
3	63	15
4	105	15
5	227	15
6	641	15
7	2493	15
done	5000	15
0	13	16
1	22	14
2	38	14
3	62	14
4	115	14
5	264	14
6	781	14
7	3053	14
done	5001	14
0	13	16
1	24	14
2	42	14
3	70	14
4	136	14
5	330	14
6	1000	14
7	3852	14
done	5000	14
0	13	15
1	26	13
2	46	13
3	75	13
4	141	13
5	324	13
6	956	13
7	3651	13
done	5000	13
0	13	15
1	26	13
2	48	13
3	77	13
4	143	13
5	328	13
6	955	13
7	3638	13
done	5000	13
0	13	16
1	26	14
2	46	14
3	74	14
4	138	14
5	317	14
6	945	14
7	3660	14
done	5000	14
0	13	16
1	26	14
2	49	14
3	90	14
4	173	14
5	396	14
6	1168	14
7	4481	14
done	5000	14
0	13	16
1	26	14
2	46	14
3	74	14
4	138	14
5	317	14
6	945	14
7	3660	14
done	5000	14
0	13	16
1	26	14
2	49	14
3	90	14
4	173	14
5	396	14
6	1168	14
7	4481	14
done	5000	14
0	13	16
1	26	14
2	41	14
3	65	14
4	118	14
5	269	14
6	801	14
7	3075	14
done	5001	14
0	13	16
1	26	14
2	45	14
3	73	14
4	128	14
5	284	14
6	808	14
7	3086	14
done	5000	14
0	13	17
1	23	13
2	40	13
3	72	13
4	136	13
5	311	13
6	935	13
7	3642	13
done	5000	13
0	13	17
1	24	13
2	44	13
3	80	13
4	157	13
5	375	13
6	1148	13
7	4451	13
done	5000	13
0	10	13
1	24	13
2	47	13
3	89	13
4	170	13
5	395	13
6	1163	13
7	4508	13
done	5000	13
0	10	13
1	24	13
2	47	13
3	89	13
4	170	13
5	395	13
6	1163	13
7	4508	13
done	5000	13
0	9	11
1	23	11
2	46	11
3	87	11
4	168	11
5	387	11
6	1160	11
7	4470	11
done	5000	11
0	9	11
1	23	11
2	46	11
3	87	11
4	168	11
5	387	11
6	1160	11
7	4470	11
done	5000	11
0	9	11
1	25	11
2	49	11
3	90	11
4	173	11
5	389	11
6	1153	11
7	4463	11
done	5000	11
0	6	6
1	16	6
2	34	6
3	62	6
4	109	6
5	235	6
6	669	6
7	2496	6
done	5000	6
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	19	7
2	37	7
3	65	7
4	136	7
5	343	7
6	1061	7
7	4175	7
done	5000	7
0	6	6
1	17	6
2	38	6
3	83	6
4	178	6
5	435	6
6	1302	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	9	17
1	29	13
2	110	9
3	617	7
4	3726	7
done	5001	7
0	7	13
1	15	13
2	27	13
3	43	13
4	75	13
5	166	13
6	483	13
7	1825	13
done	5000	13
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	7	17
1	22	17
2	76	7
3	471	7
4	3031	7
done	5000	7
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	482	6
7	1830	6
done	5001	6
0	2	2
done	2	2
0	4	4
1	12	4
2	27	4
3	48	4
4	92	4
5	228	4
6	752	4
7	3059	4
done	5000	4
0	9	13
1	21	13
2	64	9
3	161	9
4	325	9
5	658	9
6	1754	9
done	5000	9
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	8	10
1	18	10
2	41	10
3	85	10
4	161	10
5	414	10
6	1498	10
done	5001	10
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	9
1	19	7
2	21	5
3	25	5
4	30	5
done	30	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	6	9
1	12	9
2	21	9
3	27	9
done	27	9
0	4	4
done	4	4
0	9	15
1	22	9
2	37	9
3	53	9
4	74	9
5	141	9
6	356	9
7	1269	9
done	5000	9
0	7	7
1	15	4
2	21	4
3	31	4
4	52	4
5	115	4
6	323	4
7	1257	4
done	5000	4
0	9	13
1	21	13
2	64	9
3	161	9
4	325	9
5	658	9
6	1754	9
done	5000	9
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	8	10
1	18	10
2	41	10
3	85	10
4	161	10
5	414	10
6	1498	10
done	5001	10
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	9
1	19	7
2	21	5
3	25	5
4	30	5
done	30	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	6
1	7	6
done	7	6
0	8	10
1	18	10
2	27	10
3	38	10
4	59	10
5	120	10
6	324	10
7	1255	10
done	5000	10
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	9	11
1	16	9
2	29	9
3	57	9
4	131	9
5	384	9
6	1459	9
done	5001	9
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	8	10
1	18	10
2	47	6
3	83	6
4	120	6
5	218	6
6	546	6
7	1942	6
done	5001	6
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	6	6
1	16	4
2	20	2
done	20	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	5	6
1	7	6
done	7	6
0	4	4
done	4	4
0	8	12
1	17	6
2	23	6
3	33	6
4	54	6
5	115	6
6	324	6
7	1245	6
done	5001	6
0	7	7
1	15	4
2	21	4
3	31	4
4	52	4
5	115	4
6	323	4
7	1257	4
done	5000	4
0	8	10
1	18	10
2	47	6
3	83	6
4	120	6
5	218	6
6	546	6
7	1942	6
done	5001	6
0	7	7
1	15	4
2	19	4
3	25	4
4	35	4
5	58	4
6	121	4
7	342	4
8	1286	4
done	5001	4
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	7	7
1	15	7
2	27	7
3	41	7
4	75	7
5	165	7
6	483	7
7	1833	7
done	5000	7
0	6	6
1	16	4
2	20	2
done	20	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	4	4
done	4	4
0	5	6
1	7	6
done	7	6
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	7	7
1	15	7
2	22	7
3	32	7
4	53	7
5	114	7
6	323	7
7	1262	7
done	5000	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	14	6
2	26	6
3	42	6
4	74	6
5	165	6
6	479	6
7	1831	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	67	6
5	163	6
6	481	6
7	1850	6
done	5000	6
0	7	9
1	19	9
2	48	5
3	86	5
4	123	5
5	220	5
6	553	5
7	1964	5
done	5001	5
0	6	6
1	14	3
2	18	3
3	24	3
4	34	3
5	55	3
6	120	3
7	342	3
8	1273	3
done	5000	3
0	6	6
1	16	6
2	28	6
3	42	6
4	74	6
5	164	6
6	480	6
7	1837	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	4	5
1	14	1
2	18	1
done	18	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	4	5
1	8	5
done	8	5
0	3	3
done	3	3
0	7	11
1	18	5
2	24	5
3	34	5
4	55	5
5	118	5
6	321	5
7	1256	5
done	5001	5
0	6	6
1	14	3
2	20	3
3	30	3
4	51	3
5	113	3
6	327	3
7	1247	3
done	5000	3
0	7	9
1	19	9
2	48	5
3	86	5
4	123	5
5	220	5
6	553	5
7	1964	5
done	5001	5
0	6	6
1	14	3
2	18	3
3	24	3
4	34	3
5	55	3
6	120	3
7	342	3
8	1273	3
done	5000	3
0	6	6
1	16	6
2	28	6
3	42	6
4	74	6
5	164	6
6	480	6
7	1837	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	4	5
1	14	1
2	18	1
done	18	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	3	3
1	5	3
done	5	3
0	4	5
1	6	5
done	6	5
0	6	6
1	16	6
2	23	6
3	33	6
4	54	6
5	111	6
6	317	6
7	1250	6
done	5001	6
0	6	6
1	14	6
2	21	6
3	31	6
4	52	6
5	114	6
6	317	6
7	1256	6
done	5000	6
0	2	3
1	4	1
done	4	1
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	7	7
1	14	5
2	22	5
3	36	5
4	68	5
5	156	5
6	474	5
7	1845	5
done	5000	5
0	7	7
1	12	5
2	20	5
3	34	5
4	66	5
5	158	5
6	475	5
7	1836	5
done	5000	5
0	5	5
1	15	5
2	27	5
3	43	5
4	75	5
5	165	5
6	476	5
7	1834	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	47	5
4	95	5
5	230	5
6	748	5
7	3127	5
done	5000	5
0	7	9
1	17	9
2	46	5
3	85	5
4	122	5
5	222	5
6	548	5
7	1954	5
done	5001	5
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	5	5
1	15	3
done	15	1
0	4	5
1	6	5
done	6	5
0	7	11
1	16	5
2	22	5
3	32	5
4	53	5
5	113	5
6	323	5
7	1248	5
done	5001	5
0	7	9
1	17	9
2	46	5
3	85	5
4	122	5
5	222	5
6	548	5
7	1954	5
done	5001	5
0	6	6
1	14	6
2	26	6
3	40	6
4	72	6
5	164	6
6	477	6
7	1821	6
done	5001	6
0	5	5
1	15	3
done	15	1
0	3	3
done	3	3
0	6	6
1	14	6
2	21	6
3	31	6
4	52	6
5	114	6
6	317	6
7	1256	6
done	5000	6
0	3	3
1	5	1
done	5	1
0	7	7
1	12	5
2	20	5
3	34	5
4	66	5
5	158	5
6	475	5
7	1836	5
done	5000	5
0	6	6
1	14	6
2	26	6
3	48	6
4	96	6
5	231	6
6	755	6
7	3136	6
done	5000	6
0	6	6
1	14	6
2	26	6
3	48	6
4	96	6
5	231	6
6	755	6
7	3136	6
done	5000	6
0	5	5
1	13	5
2	25	5
3	47	5
4	95	5
5	230	5
6	748	5
7	3127	5
done	5000	5
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	10	7
2	18	7
done	18	7
0	7	7
1	16	7
2	31	7
3	51	7
4	111	7
5	314	7
6	1007	7
7	3986	7
done	5001	7
0	6	6
1	14	6
2	28	6
3	59	6
4	139	6
5	386	6
6	1229	6
7	4784	6
done	5000	6
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	9	17
1	26	13
2	81	9
3	296	7
4	1358	7
done	5001	7
0	7	13
1	12	13
2	20	13
3	34	13
4	67	13
5	162	13
6	483	13
7	1848	13
done	5001	13
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	7	17
1	19	17
2	52	7
3	210	7
4	1042	7
done	5000	7
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1849	6
done	5001	6
0	2	2
done	2	2
0	4	4
1	9	4
2	18	4
3	35	4
4	79	4
5	222	4
6	747	4
7	3129	4
done	5000	4
0	9	13
1	16	13
2	29	13
3	57	13
4	132	13
5	387	13
6	1477	13
done	5001	13
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	8	10
1	15	10
2	28	10
3	56	10
4	129	10
5	379	10
6	1465	10
done	5001	10
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	7	9
1	16	7
2	18	5
3	22	5
4	27	5
done	27	5
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	9	15
1	20	15
2	35	15
3	51	15
4	73	15
5	138	15
6	354	15
7	1285	15
done	5000	15
0	7	7
1	12	7
2	18	7
3	28	7
4	50	7
5	111	7
6	325	7
7	1260	7
done	5000	7
0	8	10
1	15	10
2	24	10
3	35	10
4	59	10
5	121	10
6	337	10
7	1265	10
done	5000	10
0	7	7
1	12	7
2	19	7
3	29	7
4	51	7
5	116	7
6	326	7
7	1266	7
done	5000	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	9	11
1	16	9
2	29	9
3	57	9
4	132	9
5	387	9
6	1479	9
done	5001	9
0	8	8
1	13	6
2	21	6
3	35	6
4	68	6
5	166	6
6	491	6
7	1839	6
done	5000	6
0	8	10
1	13	10
2	21	10
3	35	10
4	68	10
5	163	10
6	478	10
7	1854	10
done	5000	10
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	34	7
4	67	7
5	163	7
6	494	7
7	1853	7
done	5001	7
0	6	6
1	13	4
done	13	2
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	8	12
1	15	12
2	21	12
3	31	12
4	53	12
5	118	12
6	320	12
7	1254	12
done	5000	12
0	7	7
1	12	7
2	18	7
3	28	7
4	50	7
5	111	7
6	325	7
7	1260	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	29	7
4	51	7
5	116	7
6	326	7
7	1266	7
done	5000	7
0	7	7
1	12	7
2	19	7
3	29	7
4	51	7
5	116	7
6	326	7
7	1266	7
done	5000	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	68	6
5	166	6
6	491	6
7	1839	6
done	5000	6
0	8	8
1	13	6
2	21	6
3	35	6
4	68	6
5	166	6
6	491	6
7	1839	6
done	5000	6
0	7	9
1	14	9
2	22	9
3	36	9
4	69	9
5	161	9
6	475	9
7	1832	9
done	5000	9
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	6	6
1	13	6
2	21	6
3	35	6
4	68	6
5	163	6
6	483	6
7	1852	6
done	5000	6
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	4	5
1	11	1
done	11	1
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	7	11
1	16	11
2	22	11
3	32	11
4	54	11
5	115	11
6	327	11
7	1254	11
done	5001	11
0	6	6
1	11	6
2	17	6
3	27	6
4	49	6
5	111	6
6	323	6
7	1247	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	30	6
4	52	6
5	115	6
6	326	6
7	1257	6
done	5000	6
0	6	6
1	11	6
2	18	6
3	28	6
4	50	6
5	110	6
6	319	6
7	1250	6
done	5000	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	7	7
1	14	5
2	22	5
3	36	5
4	69	5
5	159	5
6	477	5
7	1829	5
done	5000	5
0	7	7
1	12	5
2	20	5
3	34	5
4	67	5
5	161	5
6	483	5
7	1855	5
done	5000	5
0	5	5
1	12	5
2	20	5
3	34	5
4	67	5
5	161	5
6	485	5
7	1838	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	34	5
4	77	5
5	216	5
6	734	5
7	3125	5
done	5000	5
0	7	9
1	12	9
2	20	9
3	34	9
4	67	9
5	163	9
6	494	9
7	1853	9
done	5000	9
0	6	6
1	11	6
2	19	6
3	33	6
4	66	6
5	157	6
6	473	6
7	1851	6
done	5000	6
0	5	5
1	12	3
done	12	1
0	7	11
1	14	11
2	20	11
3	30	11
4	52	11
5	116	11
6	329	11
7	1239	11
done	5000	11
0	6	6
1	11	6
2	18	6
3	28	6
4	50	6
5	110	6
6	319	6
7	1250	6
done	5000	6
0	3	3
1	5	1
done	5	1
0	7	7
1	12	5
2	20	5
3	34	5
4	67	5
5	161	5
6	483	5
7	1855	5
done	5000	5
0	6	6
1	11	6
2	19	6
3	35	6
4	78	6
5	215	6
6	739	6
7	3117	6
done	5001	6
0	6	6
1	11	6
2	19	6
3	35	6
4	78	6
5	215	6
6	739	6
7	3117	6
done	5001	6
0	5	5
1	10	5
2	18	5
3	34	5
4	77	5
5	216	5
6	734	5
7	3125	5
done	5000	5
0	12	15
1	35	13
2	83	11
3	201	11
4	533	11
5	1884	11
done	5001	11
0	12	15
1	35	13
2	83	11
3	201	11
4	533	11
5	1884	11
done	5001	11
0	12	15
1	35	13
2	83	11
3	201	11
4	533	11
5	1884	11
done	5001	11
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	13	5
2	25	5
3	40	5
4	72	5
5	164	5
6	486	5
7	1827	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5
0	5	5
1	10	5
2	18	5
3	32	5
4	65	5
5	154	5
6	472	5
7	1832	5
done	5000	5

prune291.0ms

Filtered

106 candidates to 157 candidates (-48.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	157	3	160

Merged error: 0b

Counts

160 → 3

regimes42.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch23.0ms

Steps

Iters	Range		Point
7	280.39199233801065	54027.26876101495	547.3149962408245
9	-7.739528915077586e+40	-1.7943074260329577e+33	-3.6379247676032e+36

simplify3.0ms

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	22	47
1	30	33
done	30	33

end0.0ms

sample381.0ms

Algorithm

intervals

Results

215.0ms

8000×

body

valid

Details

sample14.0ms

simplify2.0ms

prune6.0ms

localize5.0ms

rewrite12.0ms

series10.0ms

simplify54.3s

prune81.0ms

localize8.0ms

rewrite24.0ms

series21.0ms

simplify1.7min

prune172.0ms

localize6.0ms

rewrite25.0ms

series13.0ms

simplify1.4min

prune100.0ms

localize11.0ms

rewrite74.0ms

series23.0ms

simplify11.9min

prune291.0ms

regimes42.0ms

bsearch23.0ms

simplify3.0ms

end0.0ms

sample381.0ms

Profiling