Details

sample124.0ms

Algorithm

intervals

Results

61.0ms	123×	body	1280	valid
28.0ms	72×	body	640	valid
11.0ms	259×	body	80	nan
6.0ms	35×	body	320	valid
3.0ms	21×	body	160	valid
0.0ms	5×	body	80	valid

simplify63.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	12
1	18	12
2	24	12
3	39	12
4	56	12
5	78	12
6	93	12
7	101	12
done	101	12

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

Counts

2 → 1

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ 1.0 x) (- 1.0 x))
5.1b	(log (/ (+ 1.0 x) (- 1.0 x)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
41×	`add-sqr-sqrt`
40×	`times-frac`
26×	`log-prod`
23×	`add-cube-cbrt`
11×	`distribute-lft-out`
9×	`distribute-lft-out--` `difference-of-squares`
7×	`add-exp-log`
5×	`associate-/r*`
4×	`associate-/r/` `add-cbrt-cube` `associate-/l*`
3×	`pow1`
2×	`flip3--` `div-exp` `rem-log-exp` `flip--` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `log-div` `frac-2neg` `flip3-+` `clear-num` `log-pow` `flip-+`

Counts

2 → 82

Calls

2 calls:

9.0ms	(/ (+ 1.0 x) (- 1.0 x))
8.0ms	(log (/ (+ 1.0 x) (- 1.0 x)))

series10.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ (+ 1.0 x) (- 1.0 x))
7.0ms	(log (/ (+ 1.0 x) (- 1.0 x)))

simplify52.4s

Counts

88 → 88

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	18
1	13	18
2	16	11
3	17	11
done	17	11
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	10	20
1	22	20
2	44	20
3	73	12
4	112	12
5	147	12
6	202	12
7	244	12
8	281	12
9	284	12
done	284	12
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	9	15
1	17	15
2	26	15
3	39	13
4	47	13
5	51	13
6	59	13
7	73	13
8	85	13
9	97	13
10	109	13
11	110	13
done	110	13
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	12
1	15	10
2	29	10
3	52	7
4	72	7
5	85	7
6	97	7
7	110	7
done	110	7
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	10	16
1	17	16
2	25	16
3	38	14
4	46	14
5	50	14
6	58	14
7	72	14
8	84	14
9	96	14
10	108	14
11	109	14
done	109	14
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	8	12
1	15	10
2	29	10
3	52	7
4	72	7
5	85	7
6	97	7
7	110	7
done	110	7
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	9	15
1	17	15
2	24	15
3	32	13
4	44	13
5	52	13
6	61	13
7	74	13
8	90	13
9	93	13
done	93	13
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	7	7
1	12	5
2	18	5
3	22	5
done	22	5
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	9	11
1	14	11
2	16	11
3	17	11
done	17	11
0	9	11
1	15	11
2	18	11
3	19	11
done	19	11
0	7	7
1	12	5
2	18	5
3	22	5
done	22	5
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	8	12
1	18	11
2	24	11
3	37	8
4	49	7
5	79	7
6	106	7
7	112	7
8	121	7
done	121	7
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	7
1	15	6
2	17	6
3	21	6
4	23	6
5	29	6
6	34	6
done	34	6
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	3	4
1	7	1
done	7	1
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	8	8
1	15	7
2	16	7
3	20	7
4	22	7
5	28	7
6	33	7
done	33	7
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	3	4
1	7	1
done	7	1
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	8	12
1	18	11
2	24	11
3	37	8
4	49	7
5	79	7
6	106	7
7	112	7
8	121	7
done	121	7
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	7
1	15	6
2	17	6
3	21	6
4	23	6
5	29	6
6	34	6
done	34	6
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	3	4
1	7	1
done	7	1
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	8	8
1	15	7
2	16	7
3	20	7
4	22	7
5	28	7
6	33	7
done	33	7
0	8	10
1	14	10
2	17	10
3	18	10
done	18	10
0	3	4
1	7	1
done	7	1
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	2	2
1	4	1
done	4	1
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	4	4
1	5	4
done	5	4
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	9	12
1	28	12
2	52	12
3	92	12
4	192	12
5	565	12
6	2463	12
done	5001	12
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	8	12
1	16	12
2	28	12
3	56	6
4	93	5
5	187	5
6	525	5
7	1539	5
8	4166	5
done	5001	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	9
1	13	7
2	19	7
3	22	7
4	27	7
5	44	7
6	65	7
7	123	7
8	156	7
9	195	7
10	269	7
11	312	7
12	371	7
13	474	7
14	661	7
15	811	7
16	883	7
17	910	7
18	911	7
done	911	7
0	8	19
1	14	19
2	17	19
3	18	19
done	18	19
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	8	26
1	15	26
2	20	10
3	38	10
4	82	10
5	195	10
6	536	10
7	1791	10
done	5001	10
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	9
1	13	9
2	16	9
3	17	9
done	17	9
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	14	22
1	36	20
2	117	18
3	268	18
4	491	16
5	800	16
6	1107	16
7	1787	16
done	5000	16
0	14	16
1	34	16
2	66	12
3	116	12
4	243	12
5	648	12
6	2632	12
done	5000	12
0	14	16
1	34	16
2	66	12
3	116	12
4	243	12
5	648	12
6	2632	12
done	5000	12
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune172.0ms

Filtered

59 candidates to 88 candidates (-49.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	84	4	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	4	89

Merged error: 0.1b

Counts

89 → 4

localize13.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune10.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	3	3
Picked	1	1
Done	0	0
Total	4	4

Merged error: 0.1b

Counts

4 → 4

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ 1.0 x) (/ 1 (- 1.0 x)))
0.0b	(/ 1 (- 1.0 x))
5.1b	(log (* (+ 1.0 x) (/ 1 (- 1.0 x))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
32×	`times-frac`
26×	`add-exp-log`
23×	`add-cube-cbrt`
21×	`associate-r`
10×	`add-cbrt-cube`
9×	`pow1`
8×	`prod-exp`
7×	`distribute-lft-out--` `difference-of-squares`
6×	`log-div` `div-exp`
5×	`rem-log-exp` `associate-/r*`
4×	`frac-times` `flip3-+` `associate-l` `associate-*l/` `associate-/r/` `flip-+`
3×	`rec-exp` `1-exp` `associate-/l*` `add-log-exp` `unswap-sqr`
2×	`cbrt-undiv` `flip3--` `associate-*r/` `pow-prod-down` `log-pow` `un-div-inv` `flip--` `cbrt-unprod` `div-inv`
1×	`log-prod` `pow-flip` `frac-2neg` `clear-num` `*-commutative` `distribute-lft-out` `inv-pow`

Counts

3 → 111

Calls

3 calls:

15.0ms	(* (+ 1.0 x) (/ 1 (- 1.0 x)))
6.0ms	(/ 1 (- 1.0 x))
11.0ms	(log (* (+ 1.0 x) (/ 1 (- 1.0 x))))

series11.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(* (+ 1.0 x) (/ 1 (- 1.0 x)))
2.0ms	(/ 1 (- 1.0 x))
6.0ms	(log (* (+ 1.0 x) (/ 1 (- 1.0 x))))

simplify2.1min

Counts

120 → 120

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	5	4
done	5	4
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	9	10
1	28	8
2	51	8
3	100	8
4	203	8
5	432	8
6	1146	8
7	3824	8
done	5000	8
0	10	16
1	24	14
2	54	14
3	145	14
4	370	14
5	890	14
6	2199	14
7	3891	14
8	4667	14
done	5000	14
0	8	10
1	18	8
2	44	8
3	106	8
4	203	8
5	268	8
6	363	8
7	567	8
8	2114	8
done	5000	8
0	5	8
1	9	8
2	18	6
3	36	6
4	69	6
5	112	6
6	191	6
7	301	6
8	458	6
9	632	6
10	682	6
11	684	6
done	684	6
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	12	4
2	26	4
3	34	4
done	34	4
0	4	4
1	6	4
2	7	4
done	7	4
0	11	14
1	35	14
2	62	12
3	139	12
4	324	12
5	950	12
6	2910	12
done	5000	12
0	8	12
1	16	10
2	31	10
3	44	10
4	64	10
5	85	10
6	102	10
7	125	10
8	168	10
9	230	10
10	231	10
done	231	10
0	10	14
1	24	14
2	59	12
3	204	6
4	582	4
5	2263	4
done	5001	4
0	4	4
1	6	4
2	7	4
done	7	4
0	8	10
1	19	10
2	37	8
3	73	8
4	125	8
5	150	8
6	189	8
7	199	8
8	210	8
done	210	8
0	8	10
1	19	10
2	37	8
3	73	8
4	125	8
5	150	8
6	189	8
7	199	8
8	210	8
done	210	8
0	9	11
1	20	11
2	38	9
3	74	9
4	126	9
5	151	9
6	191	9
7	201	9
8	210	9
done	210	9
0	9	11
1	20	9
2	41	7
3	81	7
4	141	7
5	171	7
6	222	7
7	281	7
8	334	7
9	409	7
10	528	7
11	657	7
12	789	7
13	853	7
14	878	7
15	879	7
done	879	7
0	10	23
1	21	23
2	39	19
3	75	19
4	127	19
5	152	19
6	192	19
7	202	19
8	212	19
done	212	19
0	9	11
1	20	11
2	38	9
3	74	9
4	126	9
5	151	9
6	191	9
7	201	9
8	210	9
done	210	9
0	10	32
1	22	32
2	54	10
3	133	10
4	342	10
5	1158	10
6	3328	10
done	5000	10
0	9	11
1	20	11
2	38	9
3	74	9
4	126	9
5	151	9
6	191	9
7	201	9
8	210	9
done	210	9
0	9	11
1	20	11
2	38	9
3	74	9
4	126	9
5	151	9
6	191	9
7	201	9
8	210	9
done	210	9
0	2	2
1	5	1
done	5	1
0	5	5
1	7	5
2	8	5
done	8	5
0	6	6
1	10	5
2	15	5
3	17	5
4	23	5
5	28	5
done	28	5
0	7	7
1	13	6
2	15	5
3	21	5
4	27	5
5	32	5
done	32	5
0	6	6
1	14	5
2	16	5
3	20	5
4	22	5
5	28	5
6	33	5
done	33	5
0	6	6
1	10	6
2	11	6
done	11	6
0	9	17
1	21	13
2	46	7
3	112	7
4	275	7
5	740	7
6	2085	7
done	5000	7
0	7	13
1	11	13
2	12	13
done	12	13
0	6	6
1	10	6
2	11	6
done	11	6
0	7	17
1	18	17
2	35	7
3	78	7
4	115	7
5	198	7
6	378	7
7	954	7
8	2476	7
done	5000	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	2
1	5	1
done	5	1
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	15
1	19	13
2	29	11
3	35	11
done	35	11
0	7	7
1	11	6
2	12	6
done	12	6
0	8	10
1	14	8
2	17	6
3	18	6
done	18	6
0	7	7
1	11	6
2	12	6
done	12	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	9	11
1	14	9
2	16	7
3	17	7
done	17	7
0	8	8
1	12	7
2	13	7
done	13	7
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	12
1	14	11
2	15	11
done	15	11
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	7	7
1	11	6
2	12	6
done	12	6
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	3	4
1	5	1
done	5	1
0	6	6
1	10	5
2	11	5
done	11	5
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	2	3
1	4	1
done	4	1
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	9	5
2	10	5
done	10	5
0	5	5
1	12	3
2	17	3
done	17	3
0	7	11
1	13	11
2	14	11
done	14	11
0	6	6
1	10	6
2	11	6
done	11	6
0	2	3
1	4	1
done	4	1
0	7	7
1	10	7
done	10	7
0	2	3
1	4	1
done	4	1
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	6	6
1	13	5
2	16	5
3	18	3
4	23	3
5	27	3
done	27	3
0	5	5
1	12	3
2	17	3
done	17	3
0	8	9
1	25	9
2	47	9
3	83	9
4	175	9
5	519	9
6	2307	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	7	9
1	15	9
2	27	7
3	57	7
4	91	7
5	101	7
6	108	7
7	113	7
8	115	7
done	115	7
0	8	10
1	13	9
2	14	9
done	14	9
0	9	11
1	17	10
2	28	9
3	37	9
4	55	9
5	81	9
6	86	9
7	95	9
8	109	9
done	109	9
0	10	12
1	20	11
2	28	9
3	45	9
4	63	9
5	89	9
6	94	9
7	103	9
8	121	9
done	121	9
0	9	11
1	19	10
2	26	9
3	37	9
4	49	9
5	81	9
6	99	9
7	106	9
8	117	9
done	117	9
0	8	10
1	19	10
2	37	8
3	73	8
4	125	8
5	150	8
6	189	8
7	199	8
8	210	8
done	210	8
0	8	10
1	18	10
2	40	8
3	87	8
4	176	8
5	314	8
6	705	8
7	2269	8
done	5000	8
0	13	29
1	44	25
2	139	11
3	514	11
4	1962	11
done	5000	11
0	11	29
1	41	29
2	127	13
3	399	13
4	1551	9
done	5000	9
0	9	21
1	17	21
2	29	17
3	59	17
4	93	17
5	103	17
6	110	17
7	115	17
8	117	17
done	117	17
0	8	10
1	16	10
2	28	8
3	58	8
4	92	8
5	102	8
6	109	8
7	114	8
8	116	8
done	116	8
0	9	29
1	27	29
2	114	9
3	478	9
4	1511	9
5	3472	9
done	5000	9
0	8	10
1	16	10
2	28	8
3	58	8
4	92	8
5	102	8
6	109	8
7	114	8
8	116	8
done	116	8
0	8	10
1	16	10
2	28	8
3	58	8
4	92	8
5	102	8
6	109	8
7	114	8
8	116	8
done	116	8
0	8	9
1	25	7
2	45	7
3	94	7
4	204	7
5	430	7
6	1131	7
7	3794	7
done	5000	7
0	9	15
1	20	13
2	49	13
3	140	13
4	361	13
5	892	13
6	2193	13
7	3882	13
8	4648	13
done	5000	13
0	7	9
1	15	7
2	35	7
3	92	7
4	180	7
5	245	7
6	340	7
7	544	7
8	2073	7
done	5001	7
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	9	11
1	15	11
2	16	11
done	16	11
0	9	11
1	15	11
2	16	11
done	16	11
0	10	12
1	18	11
2	22	11
3	26	9
4	37	9
5	38	9
done	38	9
0	10	12
1	18	11
2	22	11
3	26	9
4	37	9
5	38	9
done	38	9
0	9	11
1	17	11
2	21	9
3	36	9
4	39	9
done	39	9
0	9	11
1	17	11
2	21	9
3	36	9
4	39	9
done	39	9
0	9	17
1	17	17
2	28	17
3	40	17
4	42	17
done	42	17
0	8	10
1	14	10
2	23	10
done	23	10
0	11	19
1	25	17
2	63	15
3	133	13
4	209	13
5	223	13
6	235	13
7	237	13
done	237	13
0	10	14
1	20	12
2	39	10
3	72	8
4	116	8
done	116	8
0	8	11
1	16	7
2	39	5
3	51	3
4	55	3
done	55	3
0	11	15
1	20	13
2	38	11
3	71	9
4	115	9
done	115	9
0	8	11
1	16	7
2	39	5
3	51	3
4	55	3
done	55	3
0	10	16
1	20	15
2	40	15
3	78	13
4	161	13
5	193	13
6	209	13
7	214	13
done	214	13
0	9	11
1	17	10
2	29	10
3	45	8
4	80	8
5	83	8
done	83	8
0	7	8
1	13	5
2	26	3
3	38	3
done	38	3
0	10	12
1	17	11
2	28	11
3	44	9
4	79	9
5	82	9
done	82	9
0	7	8
1	13	5
2	26	3
3	38	3
done	38	3
0	9	15
1	19	15
2	38	13
3	92	13
4	171	13
5	187	13
6	199	13
7	203	13
done	203	13
0	8	10
1	16	10
2	28	8
3	55	8
4	84	8
done	84	8
0	6	7
1	12	5
2	25	3
3	37	3
done	37	3
0	9	11
1	16	11
2	27	9
3	54	9
4	85	9
done	85	9
0	6	7
1	12	5
2	25	3
3	37	3
done	37	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	10	13
1	31	13
2	64	11
3	137	11
4	362	11
5	1264	11
done	5001	11
0	9	13
1	19	13
2	42	11
3	129	11
4	437	5
5	957	5
6	3012	5
done	5000	5
0	8	10
1	16	10
2	20	8
3	38	8
4	44	8
5	48	8
6	51	8
7	53	8
8	55	8
done	55	8
0	8	10
1	16	10
2	20	8
3	38	8
4	44	8
5	48	8
6	51	8
7	53	8
8	55	8
done	55	8
0	7	9
1	15	9
2	27	7
3	57	7
4	91	7
5	101	7
6	108	7
7	113	7
8	115	7
done	115	7
0	7	9
1	15	9
2	27	7
3	57	7
4	91	7
5	101	7
6	108	7
7	113	7
8	115	7
done	115	7
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	10	13
1	31	13
2	52	11
3	123	11
4	287	11
5	905	11
6	2740	11
done	5001	11
0	9	13
1	20	13
2	47	11
3	176	5
4	513	3
5	2051	3
done	5000	3
0	14	22
1	36	20
2	117	18
3	268	18
4	491	16
5	800	16
6	1107	16
7	1787	16
done	5000	16
0	14	16
1	34	16
2	66	12
3	116	12
4	243	12
5	648	12
6	2632	12
done	5000	12
0	14	16
1	34	16
2	66	12
3	116	12
4	243	12
5	648	12
6	2632	12
done	5000	12
0	8	11
1	19	11
2	43	9
3	60	9
4	86	9
5	115	9
6	145	9
7	217	9
8	444	9
9	1375	9
done	5000	9
0	15	20
1	39	20
2	104	16
3	307	15
4	1111	15
5	4129	12
done	5001	12
0	15	20
1	39	20
2	104	16
3	307	15
4	1111	15
5	4129	12
done	5001	12
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune157.0ms

Filtered

73 candidates to 120 candidates (-64.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	120	4	124

Merged error: 0.1b

Counts

124 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ 1.0 x) (- 1.0 x))
0.0b	(/ (+ 1.0 x) (- 1.0 x))
5.2b	(log (cbrt (/ (+ 1.0 x) (- 1.0 x))))
5.2b	(log (cbrt (/ (+ 1.0 x) (- 1.0 x))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity`
84×	`add-sqr-sqrt`
80×	`times-frac`
58×	`log-prod`
52×	`cbrt-prod`
48×	`add-cube-cbrt`
22×	`distribute-lft-out`
18×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `associate-/r*`
8×	`associate-/r/` `add-cbrt-cube` `associate-/l*`
6×	`pow1`
4×	`flip3--` `log-pow` `flip--` `div-inv` `associate-/l/` `add-log-exp`
2×	`cbrt-undiv` `log-div` `cbrt-div` `frac-2neg` `flip3-+` `pow1/3` `div-exp` `rem-log-exp` `clear-num` `flip-+`

Counts

4 → 170

Calls

4 calls:

9.0ms	(/ (+ 1.0 x) (- 1.0 x))
9.0ms	(/ (+ 1.0 x) (- 1.0 x))
10.0ms	(log (cbrt (/ (+ 1.0 x) (- 1.0 x))))
9.0ms	(log (cbrt (/ (+ 1.0 x) (- 1.0 x))))

series38.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (+ 1.0 x) (- 1.0 x))
3.0ms	(/ (+ 1.0 x) (- 1.0 x))
13.0ms	(log (cbrt (/ (+ 1.0 x) (- 1.0 x))))
19.0ms	(log (cbrt (/ (+ 1.0 x) (- 1.0 x))))

simplify1.7min

Counts

182 → 182

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	19
1	12	19
2	13	19
done	13	19
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	11	21
1	20	21
2	30	21
3	36	21
done	36	21
0	9	11
1	12	11
2	13	11
done	13	11
0	10	16
1	15	16
2	18	16
3	19	16
done	19	16
0	9	11
1	12	11
2	13	11
done	13	11
0	9	13
1	14	11
2	20	11
3	25	11
done	25	11
0	8	10
1	11	10
2	12	10
done	12	10
0	11	17
1	15	17
2	17	17
3	18	17
done	18	17
0	10	12
1	13	12
2	14	12
done	14	12
0	9	13
1	14	11
2	20	11
3	25	11
done	25	11
0	8	10
1	11	10
2	12	10
done	12	10
0	10	16
1	15	16
2	16	16
done	16	16
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	8	8
1	11	6
2	13	6
done	13	6
0	8	10
1	11	10
2	12	10
done	12	10
0	10	12
1	12	12
done	12	12
0	10	12
1	13	12
2	14	12
done	14	12
0	8	8
1	11	6
2	13	6
done	13	6
0	8	10
1	11	10
2	12	10
done	12	10
0	9	13
1	15	13
2	16	13
done	16	13
0	8	10
1	11	10
2	12	10
done	12	10
0	8	8
1	12	8
2	13	8
done	13	8
0	8	10
1	11	10
2	12	10
done	12	10
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	9	9
1	12	9
done	12	9
0	9	11
1	12	11
2	13	11
done	13	11
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	9	13
1	15	13
2	16	13
done	16	13
0	8	10
1	11	10
2	12	10
done	12	10
0	8	8
1	12	8
2	13	8
done	13	8
0	8	10
1	11	10
2	12	10
done	12	10
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	9	9
1	12	9
done	12	9
0	9	11
1	12	11
2	13	11
done	13	11
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	3	3
1	5	2
done	5	2
0	7	9
1	10	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	7	7
1	11	7
2	12	7
done	12	7
0	10	13
1	26	13
2	48	13
3	84	13
4	172	13
5	510	13
6	2307	13
done	5001	13
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	9	13
1	14	13
2	22	13
3	40	7
4	67	7
5	108	7
6	168	7
7	336	7
8	1627	7
done	5000	7
0	5	5
1	6	5
done	6	5
0	9	20
1	14	20
2	17	12
3	18	12
done	18	12
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	2	2
1	4	1
done	4	1
0	7	9
1	10	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	8
2	12	8
done	12	8
0	9	21
1	12	21
2	13	21
done	13	21
0	8	10
1	11	10
2	12	10
done	12	10
0	9	29
1	13	29
2	16	11
3	21	11
4	27	11
5	37	11
6	58	11
7	118	11
8	334	11
9	1264	11
done	5000	11
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	9	19
1	12	19
2	13	19
done	13	19
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	11	21
1	20	21
2	30	21
3	36	21
done	36	21
0	9	11
1	12	11
2	13	11
done	13	11
0	10	16
1	15	16
2	18	16
3	19	16
done	19	16
0	9	11
1	12	11
2	13	11
done	13	11
0	9	13
1	14	11
2	20	11
3	25	11
done	25	11
0	8	10
1	11	10
2	12	10
done	12	10
0	11	17
1	15	17
2	17	17
3	18	17
done	18	17
0	10	12
1	13	12
2	14	12
done	14	12
0	9	13
1	14	11
2	20	11
3	25	11
done	25	11
0	8	10
1	11	10
2	12	10
done	12	10
0	10	16
1	15	16
2	16	16
done	16	16
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	9	11
1	12	11
2	13	11
done	13	11
0	8	8
1	11	6
2	13	6
done	13	6
0	8	10
1	11	10
2	12	10
done	12	10
0	10	12
1	12	12
done	12	12
0	10	12
1	13	12
2	14	12
done	14	12
0	8	8
1	11	6
2	13	6
done	13	6
0	8	10
1	11	10
2	12	10
done	12	10
0	9	13
1	15	13
2	16	13
done	16	13
0	8	10
1	11	10
2	12	10
done	12	10
0	8	8
1	12	8
2	13	8
done	13	8
0	8	10
1	11	10
2	12	10
done	12	10
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	9	9
1	12	9
done	12	9
0	9	11
1	12	11
2	13	11
done	13	11
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	9	13
1	15	13
2	16	13
done	16	13
0	8	10
1	11	10
2	12	10
done	12	10
0	8	8
1	12	8
2	13	8
done	13	8
0	8	10
1	11	10
2	12	10
done	12	10
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	9	9
1	12	9
done	12	9
0	9	11
1	12	11
2	13	11
done	13	11
0	4	5
1	6	2
done	6	2
0	7	9
1	10	9
2	11	9
done	11	9
0	3	3
1	5	2
done	5	2
0	7	9
1	10	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	7	7
1	11	7
2	12	7
done	12	7
0	10	13
1	26	13
2	48	13
3	84	13
4	172	13
5	510	13
6	2307	13
done	5001	13
0	9	13
1	16	11
2	24	11
3	25	11
4	26	11
done	26	11
0	9	13
1	14	13
2	22	13
3	40	7
4	67	7
5	108	7
6	168	7
7	336	7
8	1627	7
done	5000	7
0	5	5
1	6	5
done	6	5
0	9	20
1	14	20
2	17	12
3	18	12
done	18	12
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	2	2
1	4	1
done	4	1
0	7	9
1	10	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	7	9
1	10	9
2	11	9
done	11	9
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	8
2	12	8
done	12	8
0	9	21
1	12	21
2	13	21
done	13	21
0	8	10
1	11	10
2	12	10
done	12	10
0	9	29
1	13	29
2	16	11
3	21	11
4	27	11
5	37	11
6	58	11
7	118	11
8	334	11
9	1264	11
done	5000	11
0	8	10
1	11	10
2	12	10
done	12	10
0	8	10
1	11	10
2	12	10
done	12	10
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	7	9
1	12	9
2	14	9
done	14	9
0	6	8
1	12	8
2	15	8
3	16	8
done	16	8
0	6	8
1	9	8
2	10	8
done	10	8
0	9	23
1	33	23
2	108	11
3	291	9
4	813	9
5	2446	9
done	5001	9
0	7	17
1	10	17
2	11	17
done	11	17
0	6	8
1	9	8
2	10	8
done	10	8
0	7	23
1	17	23
2	50	9
3	128	9
4	336	9
5	825	9
6	2030	9
done	5000	9
0	6	8
1	9	8
2	10	8
done	10	8
0	6	8
1	9	8
2	10	8
done	10	8
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	9	19
1	18	19
2	28	19
3	34	19
done	34	19
0	7	9
1	10	9
2	11	9
done	11	9
0	8	14
1	13	14
2	16	14
3	17	14
done	17	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	9	15
1	13	15
2	15	15
3	16	15
done	16	15
0	8	10
1	11	10
2	12	10
done	12	10
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	8
1	9	8
2	10	8
done	10	8
0	8	14
1	13	14
2	14	14
done	14	14
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	7	9
1	10	9
2	11	9
done	11	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	8	10
1	10	10
done	10	10
0	8	10
1	11	10
2	12	10
done	12	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	8
1	9	8
2	10	8
done	10	8
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	11
1	13	11
2	14	11
done	14	11
0	6	8
1	9	8
2	10	8
done	10	8
0	6	6
1	10	6
2	11	6
done	11	6
0	6	8
1	9	8
2	10	8
done	10	8
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	7	7
1	10	7
done	10	7
0	7	9
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	5	7
1	8	7
2	9	7
done	9	7
0	5	5
1	9	5
2	10	5
done	10	5
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	7	13
1	12	13
2	13	13
done	13	13
0	6	8
1	9	8
2	10	8
done	10	8
0	5	5
1	8	3
2	10	3
done	10	3
0	7	9
1	9	9
done	9	9
0	5	5
1	8	3
2	10	3
done	10	3
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	6	8
1	12	8
2	15	8
3	17	8
done	17	8
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	5	7
1	11	7
2	14	7
3	16	7
done	16	7
0	8	11
1	24	11
2	46	11
3	82	11
4	176	11
5	527	11
6	2325	11
done	5000	11
0	7	11
1	12	11
2	20	11
3	38	5
4	65	5
5	106	5
6	166	5
7	334	5
8	1602	5
done	5000	5
0	9	15
1	26	13
2	74	13
3	202	13
4	494	13
5	1263	13
6	3143	13
7	4779	13
done	5000	13
0	4	7
1	6	7
2	13	7
3	30	7
4	63	7
5	106	7
6	186	7
7	296	7
8	455	7
9	628	7
10	671	7
11	672	7
done	672	7
0	16	24
1	43	23
2	127	23
3	305	21
4	674	17
5	1512	17
6	4084	17
done	5001	17
0	16	18
1	43	17
2	84	13
3	163	13
4	368	13
5	1011	13
6	3790	13
done	5000	13
0	16	18
1	43	17
2	84	13
3	163	13
4	368	13
5	1011	13
6	3790	13
done	5000	13
0	16	24
1	43	23
2	127	23
3	305	21
4	674	17
5	1512	17
6	4084	17
done	5001	17
0	16	18
1	43	17
2	84	13
3	163	13
4	368	13
5	1011	13
6	3790	13
done	5000	13
0	16	18
1	43	17
2	84	13
3	163	13
4	368	13
5	1011	13
6	3790	13
done	5000	13
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	9	11
1	20	11
2	42	9
3	55	9
4	69	9
5	87	9
6	133	9
7	242	9
8	479	9
9	1419	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9
0	12	16
1	30	16
2	74	12
3	171	11
4	413	11
5	1292	9
done	5000	9

prune463.0ms

Filtered

126 candidates to 182 candidates (-44.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	180	2	182
Fresh	1	0	1
Picked	1	0	1
Done	0	2	2
Total	182	4	186

Merged error: 0.1b

Counts

186 → 4

regimes67.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.7s	3432×	body	1280	valid
749.0ms	2557×	body	640	valid
342.0ms	7938×	body	80	nan
228.0ms	1217×	body	320	valid
68.0ms	578×	body	160	valid
12.0ms	216×	body	80	valid

Details

sample124.0ms

simplify63.0ms

prune3.0ms

localize8.0ms

rewrite20.0ms

series10.0ms

simplify52.4s

prune172.0ms

localize13.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune10.0ms

localize10.0ms

rewrite38.0ms

series11.0ms

simplify2.1min

prune157.0ms

localize13.0ms

rewrite47.0ms

series38.0ms

simplify1.7min

prune463.0ms

regimes67.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.4s

Profiling