Details

sample82.0ms

Algorithm

intervals

Results

41.0ms	119×	body	1280	valid
14.0ms	71×	body	640	valid
8.0ms	249×	body	80	overflowed
4.0ms	34×	body	320	valid
2.0ms	21×	body	160	valid
0.0ms	11×	body	80	valid

simplify2.5s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13

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

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
0.7b	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.1b	(- (exp x) (exp (neg x)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
20×	`times-frac`
14×	`add-cube-cbrt`
7×	`distribute-lft-out` `add-log-exp`
6×	`distribute-lft-out--` `difference-of-squares`
5×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
4×	`associate-/r*`
3×	`pow1`
2×	`flip3--` `flip3-+` `associate-/r/` `flip--` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `diff-log` `div-sub` `tanh-undef` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 73

Calls

3 calls:

6.0ms	(+ (exp x) (exp (neg x)))
13.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
6.0ms	(- (exp x) (exp (neg x)))

series27.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ (exp x) (exp (neg x)))
16.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
6.0ms	(- (exp x) (exp (neg x)))

simplify1.7min

Counts

82 → 82

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	11	7
2	15	7
3	21	7
4	23	7
5	27	7
6	31	7
7	47	7
8	51	7
9	56	7
10	63	7
11	81	7
12	102	7
13	114	7
14	119	7
done	119	7
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	13	7
2	21	7
3	23	7
4	27	7
5	31	7
6	47	7
7	53	7
8	58	7
9	65	7
10	84	7
11	105	7
12	117	7
13	122	7
done	122	7
0	7	15
1	11	15
2	17	15
done	17	15
0	6	7
1	10	7
2	16	7
done	16	7
0	7	20
1	12	20
2	32	8
3	83	8
4	245	8
5	792	8
6	3270	8
done	5000	8
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	10	7
2	16	7
done	16	7
0	8	10
1	25	10
2	63	10
3	147	10
4	334	10
5	887	9
6	3788	9
done	5000	9
0	9	20
1	24	15
2	51	12
3	71	11
4	127	11
5	200	11
6	358	11
7	777	11
8	2083	11
done	5000	11
0	4	4
1	7	4
2	12	4
done	12	4
0	7	13
1	18	11
2	36	10
3	75	9
4	151	9
5	309	9
6	708	9
7	1676	9
done	5000	9
0	5	6
1	8	6
2	10	6
done	10	6
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
2	14	8
done	14	8
0	5	6
1	9	6
2	15	6
done	15	6
0	4	4
1	7	4
2	12	4
done	12	4
0	9	15
1	16	15
2	23	15
done	23	15
0	8	14
1	19	14
2	31	14
3	38	14
4	49	14
5	59	14
6	62	14
7	94	14
8	129	14
9	169	14
10	282	14
11	428	14
12	708	14
13	1632	14
done	5000	14
0	8	14
1	16	14
2	29	14
3	37	14
4	50	14
5	64	14
6	71	14
7	118	14
8	155	14
9	206	14
10	377	14
11	702	14
12	1732	14
done	5001	14
0	11	41
1	37	41
2	128	17
3	380	15
4	1690	15
done	5000	15
0	9	29
1	17	29
2	27	29
3	33	29
4	44	29
5	54	29
6	57	29
7	89	29
8	122	29
9	157	29
10	256	29
11	388	29
12	661	29
13	1554	29
done	5001	29
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	9	41
1	24	41
2	62	15
3	200	15
4	697	15
5	2611	15
done	5000	15
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	6	7
1	10	7
2	19	7
3	23	7
4	24	6
done	24	6
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	6	9
1	9	9
2	11	9
done	11	9
0	6	10
1	9	10
2	13	10
3	16	10
4	23	10
5	33	8
6	36	8
7	58	8
8	78	8
9	90	8
10	140	8
11	261	8
12	444	8
13	1032	8
14	3944	8
done	5000	8
0	11	31
1	22	31
2	37	31
3	43	31
done	43	31
0	9	15
1	14	15
2	20	15
done	20	15
0	10	23
1	17	23
2	25	23
3	26	23
done	26	23
0	9	15
1	14	15
2	20	15
done	20	15
0	9	17
1	16	15
2	26	15
3	31	15
done	31	15
0	8	14
1	13	14
2	19	14
done	19	14
0	9	17
1	16	15
2	26	15
3	31	15
done	31	15
0	8	14
1	13	14
2	19	14
done	19	14
0	10	23
1	17	23
2	23	23
done	23	23
0	9	15
1	14	15
2	20	15
done	20	15
0	9	15
1	14	15
2	20	15
done	20	15
0	9	15
1	14	15
2	20	15
done	20	15
0	8	9
1	13	7
2	19	7
done	19	7
0	8	14
1	13	14
2	19	14
done	19	14
0	8	9
1	13	7
2	19	7
done	19	7
0	8	14
1	13	14
2	19	14
done	19	14
0	9	17
1	15	17
done	15	17
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	8	9
1	12	9
done	12	9
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	11	24
1	17	24
2	19	24
done	19	24
0	10	16
1	18	16
2	23	16
3	25	16
done	25	16
0	10	16
1	14	16
2	16	16
done	16	16
0	10	16
1	18	16
2	23	16
3	25	16
done	25	16
0	9	10
1	13	8
2	15	8
done	15	8
0	9	15
1	17	15
2	22	15
3	24	15
done	24	15
0	9	10
1	13	8
2	15	8
done	15	8
0	9	15
1	17	15
2	22	15
3	24	15
done	24	15
0	9	17
1	15	17
done	15	17
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	8	9
1	12	9
done	12	9
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	7	8
1	11	8
done	11	8
0	7	13
1	12	13
2	18	13
done	18	13
0	9	22
1	19	22
2	34	22
3	46	22
4	62	22
5	68	22
done	68	22
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	7	8
1	15	6
2	25	6
3	35	6
4	44	6
5	57	6
6	71	6
7	72	6
done	72	6
0	7	8
1	15	6
2	25	6
3	35	6
4	44	6
5	57	6
6	71	6
7	72	6
done	72	6
0	8	14
1	13	14
2	19	14
done	19	14
0	8	14
1	13	14
2	19	14
done	19	14
0	7	13
1	12	13
2	18	13
done	18	13
0	9	15
1	14	15
2	17	15
done	17	15
0	7	13
1	12	13
2	18	13
done	18	13
0	10	17
1	31	17
2	64	17
3	121	17
4	238	17
5	572	16
6	2389	16
done	5001	16
0	9	20
1	24	18
2	60	17
3	132	16
4	314	8
5	726	8
6	3202	8
done	5001	8
0	11	27
1	33	22
2	102	19
3	236	18
4	801	18
5	4693	18
done	5000	18
0	6	13
1	15	13
2	34	13
3	74	13
4	139	12
5	199	11
6	270	11
7	333	11
8	477	11
9	914	11
10	2014	11
done	5000	11
0	7	8
1	12	7
2	15	7
done	15	7
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	12	7
2	15	7
done	15	7
0	7	15
1	10	15
2	12	15
done	12	15
0	6	7
1	9	7
2	11	7
done	11	7
0	7	20
1	23	20
2	65	8
3	181	8
4	680	8
5	2732	8
done	5000	8
0	6	7
1	9	7
2	11	7
done	11	7
0	6	7
1	9	7
2	11	7
done	11	7
0	8	10
1	24	10
2	49	10
3	100	10
4	195	10
5	407	9
6	1336	9
done	5001	9
0	9	20
1	25	15
2	60	12
3	96	11
4	183	11
5	339	11
6	761	11
7	2119	11
done	5000	11
0	7	13
1	18	11
2	36	10
3	75	9
4	151	9
5	309	9
6	708	9
7	1676	9
done	5000	9
0	5	6
1	9	6
2	15	6
done	15	6
0	5	6
1	8	6
2	10	6
done	10	6
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15
0	5	6
1	9	6
2	15	6
done	15	6
0	6	7
1	12	6
2	20	6
3	36	6
4	70	6
5	147	6
6	378	6
7	1201	6
8	4523	6
done	5000	6
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	8	15
1	18	13
2	28	13
3	50	13
4	99	13
5	234	13
6	708	13
7	2530	13
done	5001	13
0	9	11
1	22	11
2	54	11
3	81	11
4	105	11
5	143	11
6	227	11
7	476	11
8	1246	11
9	4879	11
done	5000	11
0	5	6
1	8	6
2	10	6
done	10	6
0	6	7
1	11	6
2	18	6
3	29	6
4	53	6
5	104	6
6	232	6
7	664	6
8	2286	6
done	5001	6

prune96.0ms

Filtered

57 candidates to 82 candidates (-43.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	79	3	82
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	3	83

Merged error: 0b

Counts

83 → 3

localize2.0ms

Local error

Found 1 expressions with local error:

0.0b

(tanh x)

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `tanh-def` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(tanh x)

series17.0ms

Counts

1 → 3

Calls

1 calls:

17.0ms

(tanh x)

simplify25.7s

Counts

13 → 13

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	9	6
2	15	6
done	15	6
0	5	6
1	8	6
2	10	6
done	10	6
0	6	6
1	14	6
2	21	6
3	37	6
4	72	6
5	167	6
6	437	6
7	1768	6
done	5001	6
0	6	6
1	12	6
2	18	6
3	28	6
4	51	6
5	100	6
6	216	6
7	594	6
8	2118	6
done	5000	6
0	6	6
1	13	6
2	20	6
3	32	6
4	67	6
5	156	6
6	432	6
7	1441	6
done	5000	6
0	6	6
1	12	6
2	18	6
3	27	6
4	52	6
5	107	6
6	246	6
7	750	6
8	2650	6
done	5000	6
0	3	3
1	22	3
2	59	3
3	85	3
4	129	3
5	230	3
6	529	3
7	1632	3
done	5000	3
0	3	3
1	22	3
2	50	3
3	79	3
4	126	3
5	227	3
6	520	3
7	1598	3
done	5001	3
0	4	7
1	23	7
2	51	7
3	71	7
4	112	7
5	207	7
6	485	7
7	1531	7
done	5000	7
0	3	3
1	22	3
2	50	3
3	70	3
4	111	3
5	206	3
6	483	3
7	1536	3
done	5000	3
0	4	8
1	24	8
2	78	4
3	240	4
4	1312	4
done	5001	4
0	3	3
1	22	3
2	50	3
3	70	3
4	111	3
5	206	3
6	483	3
7	1536	3
done	5000	3
0	3	3
1	22	3
2	50	3
3	70	3
4	111	3
5	206	3
6	483	3
7	1536	3
done	5000	3
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	8	15
1	18	13
2	28	13
3	50	13
4	99	13
5	234	13
6	708	13
7	2530	13
done	5001	13

prune21.0ms

Filtered

10 candidates to 13 candidates (-30.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0b

Counts

16 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
0.0b	(* 2/15 (pow x 5))
0.1b	(* 1/3 (pow x 3))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
19×	`associate-r`
13×	`add-exp-log`
10×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-log-exp`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`cube-prod` `sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `diff-log` `pow-exp` `*-commutative` `cbrt-unprod`
1×	`cube-mult` `sub-neg` `flip3--` `unpow3` `associate--l+` `sum-log` `flip--`

Counts

3 → 70

Calls

3 calls:

6.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
7.0ms	(* 2/15 (pow x 5))
7.0ms	(* 1/3 (pow x 3))

series21.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
9.0ms	(* 2/15 (pow x 5))
5.0ms	(* 1/3 (pow x 3))

simplify5.5min

Counts

79 → 79

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	18	7
2	30	7
3	57	7
4	111	7
5	257	7
6	736	7
7	2804	7
done	5000	7
0	6	6
1	18	6
2	44	6
3	92	6
4	181	6
5	434	6
6	1321	6
done	5001	6
0	6	6
1	17	6
2	40	6
3	94	5
4	232	5
5	701	5
6	2755	5
done	5000	5
0	9	17
1	29	9
2	87	7
3	358	7
4	1597	7
done	5000	7
0	7	13
1	16	13
2	34	13
3	58	13
4	102	13
5	244	13
6	769	13
7	3060	13
done	5001	13
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	17
1	27	15
2	107	7
3	511	7
4	2469	7
done	5000	7
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	6	6
1	15	6
2	33	6
3	56	6
4	103	6
5	241	6
6	766	6
7	3067	6
done	5000	6
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	34	7
3	52	7
4	100	7
5	246	7
6	764	7
7	3053	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	7	7
1	16	7
2	23	7
3	33	7
4	54	7
5	114	7
6	316	7
7	1251	7
done	5000	7
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	8	8
1	14	6
2	24	6
3	44	6
4	88	6
5	230	6
6	750	6
7	3051	6
done	5000	6
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	4	5
1	7	5
2	9	5
done	9	5
0	7	11
1	17	5
2	25	5
3	35	5
4	56	5
5	116	5
6	325	5
7	1246	5
done	5000	5
0	7	9
1	18	9
2	55	5
3	111	5
4	166	5
5	320	5
6	852	5
7	3190	5
done	5000	5
0	6	6
1	15	6
2	33	6
3	57	6
4	101	6
5	246	6
6	775	6
7	3072	6
done	5000	6
0	5	5
1	16	1
2	20	1
done	20	1
0	3	3
1	4	3
done	4	3
0	6	6
1	15	6
2	22	6
3	32	6
4	53	6
5	114	6
6	324	6
7	1259	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	87	5
5	227	5
6	762	5
7	3059	5
done	5001	5
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	6	6
1	15	6
2	33	6
3	61	6
4	107	6
5	252	6
6	785	6
7	3076	6
done	5001	6
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	15	7
2	24	7
3	42	7
4	91	7
5	241	7
6	737	7
7	2752	7
done	5000	7
0	6	6
1	15	6
2	30	6
3	60	6
4	144	6
5	405	6
6	1301	6
7	4933	6
done	5000	6
0	6	6
1	14	6
2	29	6
3	63	6
4	165	6
5	543	6
6	2400	6
done	5001	6
0	9	17
1	26	9
2	62	7
3	173	7
4	656	7
5	2869	7
done	5000	7
0	7	13
1	13	13
2	23	13
3	41	13
4	89	13
5	228	13
6	758	13
7	3065	13
done	5001	13
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	17
1	24	15
2	74	7
3	249	7
4	962	7
5	4036	7
done	5001	7
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	6	6
1	12	6
2	22	6
3	40	6
4	85	6
5	232	6
6	761	6
7	3051	6
done	5001	6
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	23	7
3	41	7
4	88	7
5	233	7
6	762	7
7	3059	7
done	5000	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	7	7
1	13	7
2	20	7
3	30	7
4	52	7
5	116	7
6	331	7
7	1268	7
done	5001	7
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	8	8
1	14	6
2	24	6
3	44	6
4	89	6
5	233	6
6	758	6
7	3055	6
done	5001	6
0	7	9
1	13	9
2	23	9
3	41	9
4	88	9
5	233	9
6	764	9
7	3068	9
done	5001	9
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	769	6
7	3058	6
done	5001	6
0	5	5
1	13	1
done	13	1
0	7	11
1	15	11
2	23	11
3	33	11
4	55	11
5	117	11
6	326	11
7	1255	11
done	5001	11
0	6	6
1	12	6
2	19	6
3	29	6
4	51	6
5	115	6
6	328	6
7	1249	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	23	5
3	41	5
4	88	5
5	230	5
6	762	5
7	3072	5
done	5000	5
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	6	6
1	12	6
2	22	6
3	42	6
4	88	6
5	238	6
6	767	6
7	3058	6
done	5000	6
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	14	16
1	37	15
2	84	14
3	206	14
4	650	14
5	3283	14
done	5000	14
0	13	15
1	35	14
2	81	14
3	212	14
4	645	14
5	2565	14
done	5000	14
0	12	14
1	31	14
2	73	14
3	163	14
4	352	14
5	841	14
6	2749	14
done	5000	14
0	12	14
1	34	14
2	88	14
3	224	14
4	576	14
5	2124	14
done	5001	14
0	13	29
1	32	29
2	74	29
3	160	29
4	346	29
5	854	29
6	2808	29
done	5000	29
0	12	14
1	31	14
2	73	14
3	163	14
4	352	14
5	841	14
6	2749	14
done	5000	14
0	13	41
1	33	41
2	100	15
3	385	15
4	2848	15
done	5000	15
0	12	14
1	31	14
2	73	14
3	163	14
4	352	14
5	841	14
6	2749	14
done	5000	14
0	12	14
1	31	14
2	73	14
3	163	14
4	352	14
5	841	14
6	2749	14
done	5000	14
0	13	17
1	44	17
2	143	17
3	670	17
4	4242	17
done	5001	17
0	15	41
1	53	35
2	185	35
3	737	27
4	2924	27
done	5000	27
0	6	6
1	20	5
2	55	5
3	128	5
4	265	5
5	678	5
6	2175	5
done	5001	5
0	13	27
1	47	25
2	167	21
3	672	21
4	2987	21
done	5000	21
0	11	13
1	29	13
2	63	13
3	110	13
4	209	13
5	500	13
6	1552	13
done	5000	13
0	10	11
1	26	11
2	62	11
3	144	11
4	315	11
5	800	11
6	2686	11
done	5001	11
0	6	6
1	20	5
2	55	5
3	128	5
4	265	5
5	678	5
6	2175	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	14	5
2	32	5
3	54	5
4	101	5
5	244	5
6	773	5
7	3060	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	5	5
1	11	5
2	21	5
3	39	5
4	87	5
5	230	5
6	754	5
7	3051	5
done	5001	5
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13

prune138.0ms

Filtered

55 candidates to 79 candidates (-43.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	79	3	82

Merged error: 0b

Counts

82 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(pow (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) 3)
0.1b	(cbrt (pow (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) 3))
0.7b	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
5.1b	(- (exp x) (exp (neg x)))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

153×	`*-un-lft-identity`
101×	`add-sqr-sqrt`
100×	`times-frac`
58×	`cbrt-prod`
57×	`add-cube-cbrt`
52×	`unpow-prod-down` `cube-prod`
26×	`distribute-lft-out`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`pow1` `flip3-+` `flip-+` `div-inv` `associate-/l*`
4×	`associate-/r*`
3×	`pow-unpow`
2×	`cbrt-undiv` `cube-div` `cube-mult` `flip3--` `unpow3` `div-exp` `pow-exp` `flip--` `associate-/l/` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `diff-log` `div-sub` `tanh-undef` `clear-num` `rem-cbrt-cube`

Counts

4 → 201

Calls

4 calls:

17.0ms	(pow (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) 3)
16.0ms	(cbrt (pow (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) 3))
14.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
11.0ms	(- (exp x) (exp (neg x)))

series72.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(pow (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) 3)
22.0ms	(cbrt (pow (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) 3))
16.0ms	(/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
6.0ms	(- (exp x) (exp (neg x)))

simplify11.0min

Counts

213 → 213

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	11	7
2	15	7
3	21	7
4	23	7
5	27	7
6	31	7
7	47	7
8	51	7
9	56	7
10	63	7
11	81	7
12	102	7
13	114	7
14	119	7
done	119	7
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	13	7
2	21	7
3	23	7
4	27	7
5	31	7
6	47	7
7	53	7
8	58	7
9	65	7
10	84	7
11	105	7
12	117	7
13	122	7
done	122	7
0	7	15
1	11	15
2	17	15
done	17	15
0	6	7
1	10	7
2	16	7
done	16	7
0	7	20
1	12	20
2	32	8
3	83	8
4	245	8
5	792	8
6	3270	8
done	5000	8
0	6	7
1	10	7
2	16	7
done	16	7
0	6	7
1	10	7
2	16	7
done	16	7
0	8	10
1	25	10
2	63	10
3	147	10
4	334	10
5	887	9
6	3788	9
done	5000	9
0	9	20
1	24	15
2	51	12
3	71	11
4	127	11
5	200	11
6	358	11
7	777	11
8	2083	11
done	5000	11
0	4	4
1	7	4
2	12	4
done	12	4
0	7	13
1	18	11
2	36	10
3	75	9
4	151	9
5	309	9
6	708	9
7	1676	9
done	5000	9
0	5	6
1	8	6
2	10	6
done	10	6
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
2	14	8
done	14	8
0	5	6
1	9	6
2	15	6
done	15	6
0	4	4
1	7	4
2	12	4
done	12	4
0	9	15
1	16	15
2	23	15
done	23	15
0	8	14
1	19	14
2	31	14
3	38	14
4	49	14
5	59	14
6	62	14
7	94	14
8	129	14
9	169	14
10	282	14
11	428	14
12	708	14
13	1632	14
done	5000	14
0	8	14
1	16	14
2	29	14
3	37	14
4	50	14
5	64	14
6	71	14
7	118	14
8	155	14
9	206	14
10	377	14
11	702	14
12	1732	14
done	5001	14
0	11	41
1	37	41
2	128	17
3	380	15
4	1690	15
done	5000	15
0	9	29
1	17	29
2	27	29
3	33	29
4	44	29
5	54	29
6	57	29
7	89	29
8	122	29
9	157	29
10	256	29
11	388	29
12	661	29
13	1554	29
done	5001	29
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	9	41
1	24	41
2	62	15
3	200	15
4	697	15
5	2611	15
done	5000	15
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	6	7
1	10	7
2	19	7
3	23	7
4	24	6
done	24	6
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	6	9
1	9	9
2	11	9
done	11	9
0	6	10
1	9	10
2	13	10
3	16	10
4	23	10
5	33	8
6	36	8
7	58	8
8	78	8
9	90	8
10	140	8
11	261	8
12	444	8
13	1032	8
14	3944	8
done	5000	8
0	11	31
1	22	31
2	37	31
3	43	31
done	43	31
0	9	15
1	14	15
2	20	15
done	20	15
0	10	23
1	17	23
2	25	23
3	26	23
done	26	23
0	9	15
1	14	15
2	20	15
done	20	15
0	9	17
1	16	15
2	26	15
3	31	15
done	31	15
0	8	14
1	13	14
2	19	14
done	19	14
0	9	17
1	16	15
2	26	15
3	31	15
done	31	15
0	8	14
1	13	14
2	19	14
done	19	14
0	10	23
1	17	23
2	23	23
done	23	23
0	9	15
1	14	15
2	20	15
done	20	15
0	9	15
1	14	15
2	20	15
done	20	15
0	9	15
1	14	15
2	20	15
done	20	15
0	8	9
1	13	7
2	19	7
done	19	7
0	8	14
1	13	14
2	19	14
done	19	14
0	8	9
1	13	7
2	19	7
done	19	7
0	8	14
1	13	14
2	19	14
done	19	14
0	9	17
1	15	17
done	15	17
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	8	9
1	12	9
done	12	9
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	11	24
1	17	24
2	19	24
done	19	24
0	10	16
1	18	16
2	23	16
3	25	16
done	25	16
0	10	16
1	14	16
2	16	16
done	16	16
0	10	16
1	18	16
2	23	16
3	25	16
done	25	16
0	9	10
1	13	8
2	15	8
done	15	8
0	9	15
1	17	15
2	22	15
3	24	15
done	24	15
0	9	10
1	13	8
2	15	8
done	15	8
0	9	15
1	17	15
2	22	15
3	24	15
done	24	15
0	9	17
1	15	17
done	15	17
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	8	9
1	12	9
done	12	9
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	7	8
1	11	8
done	11	8
0	7	13
1	12	13
2	18	13
done	18	13
0	9	22
1	19	22
2	34	22
3	46	22
4	62	22
5	68	22
done	68	22
0	8	14
1	16	14
2	26	14
3	32	14
4	36	14
done	36	14
0	7	8
1	15	6
2	25	6
3	35	6
4	44	6
5	57	6
6	71	6
7	72	6
done	72	6
0	7	8
1	15	6
2	25	6
3	35	6
4	44	6
5	57	6
6	71	6
7	72	6
done	72	6
0	8	14
1	13	14
2	19	14
done	19	14
0	8	14
1	13	14
2	19	14
done	19	14
0	7	13
1	12	13
2	18	13
done	18	13
0	9	15
1	14	15
2	17	15
done	17	15
0	7	13
1	12	13
2	18	13
done	18	13
0	10	17
1	31	17
2	64	17
3	121	17
4	238	17
5	572	16
6	2389	16
done	5001	16
0	9	20
1	24	18
2	60	17
3	132	16
4	314	8
5	726	8
6	3202	8
done	5001	8
0	11	27
1	33	22
2	102	19
3	236	18
4	801	18
5	4693	18
done	5000	18
0	6	13
1	15	13
2	34	13
3	74	13
4	139	12
5	199	11
6	270	11
7	333	11
8	477	11
9	914	11
10	2014	11
done	5000	11
0	11	17
1	30	14
2	67	14
3	197	14
4	638	14
5	2268	14
done	5000	14
0	11	17
1	30	14
2	67	14
3	197	14
4	637	14
5	2270	14
done	5000	14
0	12	32
1	30	29
2	61	17
3	115	17
4	328	17
5	1023	16
6	3496	16
done	5000	16
0	11	17
1	27	14
2	43	14
3	59	14
4	91	14
5	167	14
6	384	14
7	1344	14
done	5000	14
0	11	17
1	27	14
2	43	14
3	70	14
4	129	14
5	248	14
6	545	14
7	1784	14
done	5000	14
0	11	17
1	27	14
2	43	14
3	70	14
4	129	14
5	248	14
6	545	14
7	1784	14
done	5000	14
0	14	34
1	36	31
2	111	31
3	398	18
4	1829	18
done	5000	18
0	12	18
1	28	15
2	58	14
3	119	14
4	302	14
5	859	14
6	3700	14
done	5001	14
0	13	26
1	31	23
2	75	23
3	211	20
4	756	20
5	2904	20
done	5000	20
0	12	18
1	28	15
2	58	15
3	119	15
4	311	15
5	871	15
6	3738	15
done	5000	15
0	12	20
1	29	15
2	71	15
3	171	10
4	350	10
5	1015	10
6	3748	9
done	5000	9
0	11	17
1	27	14
2	57	14
3	134	14
4	360	14
5	1050	14
done	5000	14
0	12	20
1	29	15
2	71	15
3	171	10
4	350	10
5	1015	10
6	3748	9
done	5000	9
0	11	17
1	27	14
2	57	14
3	134	14
4	360	14
5	1050	14
done	5000	14
0	13	26
1	31	23
2	73	23
3	199	20
4	687	20
5	2579	20
done	5001	20
0	12	18
1	28	15
2	58	15
3	116	15
4	301	15
5	904	15
6	3862	15
done	5000	15
0	12	18
1	28	15
2	58	15
3	116	15
4	310	15
5	916	15
6	3903	15
done	5001	15
0	12	18
1	28	15
2	58	15
3	116	15
4	310	15
5	916	15
6	3903	15
done	5001	15
0	11	12
1	26	7
2	46	7
3	90	7
4	168	7
5	378	7
6	1229	7
done	5000	7
0	11	17
1	27	14
2	57	14
3	131	14
4	359	14
5	1098	14
done	5000	14
0	11	12
1	26	7
2	46	7
3	90	7
4	168	7
5	378	7
6	1229	7
done	5000	7
0	11	17
1	27	14
2	57	14
3	131	14
4	359	14
5	1098	14
done	5000	14
0	12	20
1	29	17
2	60	17
3	152	12
4	404	12
5	944	12
6	3135	12
done	5000	11
0	11	17
1	30	14
2	64	14
3	178	14
4	579	14
5	2087	14
done	5000	14
0	11	12
1	26	9
2	45	9
3	79	9
4	151	9
5	280	9
6	851	9
7	3057	9
done	5000	9
0	11	17
1	30	14
2	64	14
3	178	14
4	586	14
5	2097	14
done	5000	14
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	14	27
1	31	24
2	69	24
3	227	21
4	810	21
5	2940	21
done	5000	21
0	13	19
1	32	16
2	61	16
3	171	16
4	541	16
5	1750	16
done	5001	16
0	13	19
1	28	16
2	54	16
3	144	16
4	387	16
5	1103	16
6	4414	16
done	5001	16
0	13	19
1	32	16
2	61	16
3	171	16
4	550	16
5	1763	16
done	5000	16
0	12	13
1	26	8
2	58	8
3	123	8
4	263	8
5	690	8
6	2436	8
done	5000	8
0	12	18
1	31	15
2	60	15
3	186	15
4	596	15
5	1934	15
done	5000	15
0	12	13
1	26	8
2	58	8
3	123	8
4	263	8
5	690	8
6	2436	8
done	5000	8
0	12	18
1	31	15
2	60	15
3	186	15
4	596	15
5	1934	15
done	5000	15
0	12	20
1	29	17
2	60	17
3	152	12
4	404	12
5	944	12
6	3135	12
done	5000	11
0	11	17
1	30	14
2	64	14
3	178	14
4	579	14
5	2087	14
done	5000	14
0	11	12
1	26	9
2	45	9
3	79	9
4	151	9
5	280	9
6	851	9
7	3057	9
done	5000	9
0	11	17
1	30	14
2	64	14
3	178	14
4	586	14
5	2097	14
done	5000	14
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	10	11
1	25	8
2	44	8
3	94	8
4	197	8
5	444	8
6	1607	8
done	5000	8
0	12	20
1	41	17
2	95	17
3	273	17
4	923	17
5	4120	16
done	5000	16
0	12	23
1	36	15
2	92	12
3	260	11
4	1305	11
done	5000	11
0	12	23
1	38	18
2	99	17
3	380	16
4	2230	8
done	5001	8
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	9	28
1	21	28
2	43	28
3	107	28
4	284	28
5	752	28
6	2530	26
done	5001	26
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	12	34
1	30	28
2	64	28
3	192	28
4	631	28
5	2250	28
done	5000	28
0	11	17
1	30	14
2	64	14
3	192	14
4	632	14
5	2255	14
done	5000	14
0	12	32
1	30	29
2	61	17
3	115	17
4	328	17
5	1023	16
6	3496	16
done	5000	16
0	11	17
1	27	14
2	43	14
3	59	14
4	91	14
5	167	14
6	384	14
7	1344	14
done	5000	14
0	11	17
1	27	14
2	43	14
3	70	14
4	129	14
5	248	14
6	545	14
7	1784	14
done	5000	14
0	11	17
1	27	14
2	43	14
3	70	14
4	129	14
5	248	14
6	545	14
7	1784	14
done	5000	14
0	14	34
1	36	31
2	111	31
3	398	18
4	1829	18
done	5000	18
0	12	18
1	28	15
2	58	14
3	119	14
4	302	14
5	859	14
6	3700	14
done	5001	14
0	13	26
1	31	23
2	75	23
3	211	20
4	756	20
5	2904	20
done	5000	20
0	12	18
1	28	15
2	58	15
3	119	15
4	311	15
5	871	15
6	3738	15
done	5000	15
0	12	20
1	29	15
2	71	15
3	171	10
4	350	10
5	1015	10
6	3748	9
done	5000	9
0	11	17
1	27	14
2	57	14
3	134	14
4	360	14
5	1050	14
done	5000	14
0	12	20
1	29	15
2	71	15
3	171	10
4	350	10
5	1015	10
6	3748	9
done	5000	9
0	11	17
1	27	14
2	57	14
3	134	14
4	360	14
5	1050	14
done	5000	14
0	13	26
1	31	23
2	73	23
3	199	20
4	687	20
5	2579	20
done	5001	20
0	12	18
1	28	15
2	58	15
3	116	15
4	301	15
5	904	15
6	3862	15
done	5000	15
0	12	18
1	28	15
2	58	15
3	116	15
4	310	15
5	916	15
6	3903	15
done	5001	15
0	12	18
1	28	15
2	58	15
3	116	15
4	310	15
5	916	15
6	3903	15
done	5001	15
0	11	12
1	26	7
2	46	7
3	90	7
4	168	7
5	378	7
6	1229	7
done	5000	7
0	11	17
1	27	14
2	57	14
3	131	14
4	359	14
5	1098	14
done	5000	14
0	11	12
1	26	7
2	46	7
3	90	7
4	168	7
5	378	7
6	1229	7
done	5000	7
0	11	17
1	27	14
2	57	14
3	131	14
4	359	14
5	1098	14
done	5000	14
0	12	20
1	29	17
2	60	17
3	152	12
4	404	12
5	944	12
6	3135	12
done	5000	11
0	11	17
1	30	14
2	64	14
3	178	14
4	579	14
5	2087	14
done	5000	14
0	11	12
1	26	9
2	45	9
3	79	9
4	151	9
5	280	9
6	851	9
7	3057	9
done	5000	9
0	11	17
1	30	14
2	64	14
3	178	14
4	586	14
5	2097	14
done	5000	14
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	14	27
1	31	24
2	69	24
3	227	21
4	810	21
5	2940	21
done	5000	21
0	13	19
1	32	16
2	61	16
3	171	16
4	541	16
5	1750	16
done	5001	16
0	13	19
1	28	16
2	54	16
3	144	16
4	387	16
5	1103	16
6	4414	16
done	5001	16
0	13	19
1	32	16
2	61	16
3	171	16
4	550	16
5	1763	16
done	5000	16
0	12	13
1	26	8
2	58	8
3	123	8
4	263	8
5	690	8
6	2436	8
done	5000	8
0	12	18
1	31	15
2	60	15
3	186	15
4	596	15
5	1934	15
done	5000	15
0	12	13
1	26	8
2	58	8
3	123	8
4	263	8
5	690	8
6	2436	8
done	5000	8
0	12	18
1	31	15
2	60	15
3	186	15
4	596	15
5	1934	15
done	5000	15
0	12	20
1	29	17
2	60	17
3	152	12
4	404	12
5	944	12
6	3135	12
done	5000	11
0	11	17
1	30	14
2	64	14
3	178	14
4	579	14
5	2087	14
done	5000	14
0	11	12
1	26	9
2	45	9
3	79	9
4	151	9
5	280	9
6	851	9
7	3057	9
done	5000	9
0	11	17
1	30	14
2	64	14
3	178	14
4	586	14
5	2097	14
done	5000	14
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	5	6
1	16	1
done	16	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	4	4
1	14	1
2	18	1
done	18	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	10	11
1	25	8
2	44	8
3	94	8
4	197	8
5	444	8
6	1607	8
done	5000	8
0	12	20
1	41	17
2	95	17
3	273	17
4	923	17
5	4120	16
done	5000	16
0	12	23
1	36	15
2	92	12
3	260	11
4	1305	11
done	5000	11
0	12	23
1	38	18
2	99	17
3	380	16
4	2230	8
done	5001	8
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	8	14
1	16	14
2	26	14
3	32	14
4	43	14
5	53	14
6	56	14
7	88	14
8	121	14
9	157	14
10	255	14
11	386	14
12	652	14
13	1534	14
done	5001	14
0	9	28
1	21	28
2	43	28
3	107	28
4	284	28
5	752	28
6	2530	26
done	5001	26
0	11	17
1	30	17
2	65	17
3	193	17
4	634	17
5	2261	17
done	5000	17
0	11	17
1	30	17
2	65	17
3	193	17
4	634	17
5	2261	17
done	5000	17
0	2	2
1	4	1
done	4	1
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	12	18
1	25	16
2	41	16
3	57	16
4	89	16
5	160	16
6	373	16
7	1320	16
done	5000	16
0	12	18
1	25	16
2	41	16
3	57	16
4	89	16
5	160	16
6	373	16
7	1320	16
done	5000	16
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	8	9
1	19	6
2	43	6
3	93	6
4	233	6
5	843	6
6	3253	6
done	5000	6
0	12	35
1	31	29
2	65	29
3	193	29
4	633	29
5	2255	29
done	5000	29
0	11	17
1	30	14
2	64	14
3	192	14
4	632	14
5	2255	14
done	5000	14
0	12	50
1	29	15
2	63	15
3	191	15
4	629	15
5	2250	15
done	5000	15
0	11	17
1	30	14
2	64	14
3	192	14
4	632	14
5	2255	14
done	5000	14
0	11	17
1	30	14
2	64	14
3	192	14
4	632	14
5	2255	14
done	5000	14
0	11	17
1	19	17
2	32	17
3	37	17
4	42	17
done	42	17
0	10	16
1	22	16
2	34	16
3	47	16
4	63	16
5	78	16
6	81	16
7	113	16
8	146	16
9	186	16
10	317	16
11	480	16
12	797	16
13	1740	16
done	5000	16
0	10	16
1	22	16
2	34	16
3	47	16
4	63	16
5	78	16
6	81	16
7	113	16
8	146	16
9	186	16
10	317	16
11	480	16
12	797	16
13	1740	16
done	5000	16
0	3	3
1	6	1
done	6	1
0	11	19
1	23	19
2	40	19
3	70	19
4	136	19
5	297	19
6	907	19
7	3325	19
done	5000	19
0	10	16
1	22	16
2	37	16
3	61	16
4	112	16
5	229	16
6	612	16
7	2260	16
done	5001	16
0	9	15
1	23	13
2	38	13
3	55	13
4	88	13
5	164	13
6	382	13
7	1360	13
done	5000	13
0	11	31
1	29	31
2	60	16
3	116	16
4	327	16
5	1035	16
6	3546	16
done	5000	16
0	10	16
1	26	13
2	42	13
3	58	13
4	92	13
5	166	13
6	375	13
7	1335	13
done	5000	13
0	10	16
1	26	16
2	42	16
3	69	16
4	128	16
5	247	16
6	542	16
7	1763	16
done	5000	16
0	10	16
1	26	16
2	42	16
3	69	16
4	128	16
5	247	16
6	542	16
7	1763	16
done	5000	16
0	13	33
1	35	33
2	110	33
3	397	17
4	1870	17
done	5000	17
0	11	17
1	27	17
2	57	13
3	118	13
4	301	13
5	863	13
6	3695	13
done	5000	13
0	12	25
1	30	25
2	74	25
3	210	19
4	754	19
5	2889	19
done	5000	19
0	11	17
1	27	17
2	57	16
3	118	16
4	310	16
5	875	16
6	3748	16
done	5001	16
0	11	19
1	28	17
2	70	17
3	170	9
4	345	9
5	1013	9
6	3745	9
done	5000	9
0	10	16
1	26	16
2	56	15
3	133	15
4	359	15
5	1050	15
done	5000	15
0	11	19
1	28	17
2	70	17
3	170	9
4	345	9
5	1013	9
6	3745	9
done	5000	9
0	10	16
1	26	16
2	56	15
3	133	15
4	359	15
5	1050	15
done	5000	15
0	12	25
1	30	25
2	72	25
3	198	19
4	687	19
5	2572	19
done	5000	19
0	11	17
1	27	17
2	57	16
3	115	16
4	300	16
5	907	16
6	3874	16
done	5000	16
0	11	17
1	27	17
2	57	17
3	115	17
4	309	17
5	919	17
6	3911	17
done	5000	17
0	11	17
1	27	17
2	57	17
3	115	17
4	309	17
5	919	17
6	3911	17
done	5000	17
0	10	11
1	25	9
2	45	9
3	89	9
4	167	9
5	376	9
6	1220	9
done	5000	9
0	10	16
1	26	16
2	56	16
3	130	16
4	358	16
5	1095	16
done	5000	16
0	10	11
1	25	9
2	45	9
3	89	9
4	167	9
5	376	9
6	1220	9
done	5000	9
0	10	16
1	26	16
2	56	16
3	130	16
4	358	16
5	1095	16
done	5000	16
0	11	19
1	28	19
2	59	19
3	151	11
4	407	11
5	937	11
6	3094	11
done	5001	11
0	10	16
1	29	16
2	63	15
3	177	15
4	577	15
5	2091	15
done	5001	15
0	10	11
1	25	11
2	44	11
3	78	11
4	150	11
5	279	11
6	851	11
7	3006	11
done	5000	11
0	10	16
1	29	16
2	63	16
3	177	16
4	584	16
5	2103	16
done	5001	16
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	13	26
1	30	26
2	68	26
3	226	20
4	813	20
5	2927	20
done	5000	20
0	12	18
1	31	18
2	60	17
3	170	17
4	542	17
5	1746	17
done	5001	17
0	12	18
1	27	18
2	53	18
3	143	18
4	386	18
5	1097	18
6	4437	18
done	5000	18
0	12	18
1	31	18
2	60	18
3	170	18
4	551	18
5	1760	18
done	5000	18
0	11	12
1	25	10
2	57	10
3	122	10
4	262	10
5	687	10
6	2428	10
done	5000	10
0	11	17
1	30	17
2	59	17
3	185	17
4	596	17
5	1938	17
done	5000	17
0	11	12
1	25	10
2	57	10
3	122	10
4	262	10
5	687	10
6	2428	10
done	5000	10
0	11	17
1	30	17
2	59	17
3	185	17
4	596	17
5	1938	17
done	5000	17
0	11	19
1	28	19
2	59	19
3	151	11
4	407	11
5	937	11
6	3094	11
done	5001	11
0	10	16
1	29	16
2	63	15
3	177	15
4	577	15
5	2091	15
done	5001	15
0	10	11
1	25	11
2	44	11
3	78	11
4	150	11
5	279	11
6	851	11
7	3006	11
done	5000	11
0	10	16
1	29	16
2	63	16
3	177	16
4	584	16
5	2103	16
done	5001	16
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	3	3
1	13	1
done	13	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	7	8
1	19	8
2	43	8
3	99	8
4	276	8
5	877	8
6	3533	8
done	5000	8
0	9	10
1	24	10
2	43	10
3	93	10
4	196	10
5	441	10
6	1612	10
done	5000	10
0	11	19
1	40	19
2	94	19
3	272	19
4	924	19
5	4118	18
done	5000	18
0	11	22
1	35	17
2	91	14
3	259	13
4	1303	13
done	5000	13
0	11	22
1	37	20
2	98	19
3	379	18
4	2224	10
done	5000	10
0	7	8
1	19	8
2	43	8
3	99	8
4	276	8
5	877	8
6	3533	8
done	5000	8
0	8	27
1	20	27
2	42	27
3	106	27
4	283	27
5	751	27
6	2527	25
done	5001	25
0	10	16
1	31	16
2	77	16
3	234	16
4	799	16
5	2850	16
done	5000	16
0	10	16
1	29	16
2	69	16
3	214	16
4	715	16
5	2588	16
done	5001	16
0	11	33
1	29	27
2	63	27
3	191	27
4	629	27
5	2255	27
done	5000	27
0	10	16
1	29	13
2	63	13
3	191	13
4	629	13
5	2249	13
done	5000	13
0	11	47
1	34	31
2	109	17
3	549	17
done	5002	17
0	11	31
1	29	31
2	60	16
3	116	16
4	327	16
5	1035	16
6	3546	16
done	5000	16
0	10	16
1	26	13
2	42	13
3	58	13
4	92	13
5	166	13
6	375	13
7	1335	13
done	5000	13
0	10	16
1	26	16
2	42	16
3	69	16
4	128	16
5	247	16
6	542	16
7	1763	16
done	5000	16
0	10	16
1	26	16
2	42	16
3	69	16
4	128	16
5	247	16
6	542	16
7	1763	16
done	5000	16
0	13	33
1	35	33
2	110	33
3	397	17
4	1870	17
done	5000	17
0	11	17
1	27	17
2	57	13
3	118	13
4	301	13
5	863	13
6	3695	13
done	5000	13
0	12	25
1	30	25
2	74	25
3	210	19
4	754	19
5	2889	19
done	5000	19
0	11	17
1	27	17
2	57	16
3	118	16
4	310	16
5	875	16
6	3748	16
done	5001	16
0	11	19
1	28	17
2	70	17
3	170	9
4	345	9
5	1013	9
6	3745	9
done	5000	9
0	10	16
1	26	16
2	56	15
3	133	15
4	359	15
5	1050	15
done	5000	15
0	11	19
1	28	17
2	70	17
3	170	9
4	345	9
5	1013	9
6	3745	9
done	5000	9
0	10	16
1	26	16
2	56	15
3	133	15
4	359	15
5	1050	15
done	5000	15
0	12	25
1	30	25
2	72	25
3	198	19
4	687	19
5	2572	19
done	5000	19
0	11	17
1	27	17
2	57	16
3	115	16
4	300	16
5	907	16
6	3874	16
done	5000	16
0	11	17
1	27	17
2	57	17
3	115	17
4	309	17
5	919	17
6	3911	17
done	5000	17
0	11	17
1	27	17
2	57	17
3	115	17
4	309	17
5	919	17
6	3911	17
done	5000	17
0	10	11
1	25	9
2	45	9
3	89	9
4	167	9
5	376	9
6	1220	9
done	5000	9
0	10	16
1	26	16
2	56	16
3	130	16
4	358	16
5	1095	16
done	5000	16
0	10	11
1	25	9
2	45	9
3	89	9
4	167	9
5	376	9
6	1220	9
done	5000	9
0	10	16
1	26	16
2	56	16
3	130	16
4	358	16
5	1095	16
done	5000	16
0	11	19
1	28	19
2	59	19
3	151	11
4	407	11
5	937	11
6	3094	11
done	5001	11
0	10	16
1	29	16
2	63	15
3	177	15
4	577	15
5	2091	15
done	5001	15
0	10	11
1	25	11
2	44	11
3	78	11
4	150	11
5	279	11
6	851	11
7	3006	11
done	5000	11
0	10	16
1	29	16
2	63	16
3	177	16
4	584	16
5	2103	16
done	5001	16
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	13	26
1	30	26
2	68	26
3	226	20
4	813	20
5	2927	20
done	5000	20
0	12	18
1	31	18
2	60	17
3	170	17
4	542	17
5	1746	17
done	5001	17
0	12	18
1	27	18
2	53	18
3	143	18
4	386	18
5	1097	18
6	4437	18
done	5000	18
0	12	18
1	31	18
2	60	18
3	170	18
4	551	18
5	1760	18
done	5000	18
0	11	12
1	25	10
2	57	10
3	122	10
4	262	10
5	687	10
6	2428	10
done	5000	10
0	11	17
1	30	17
2	59	17
3	185	17
4	596	17
5	1938	17
done	5000	17
0	11	12
1	25	10
2	57	10
3	122	10
4	262	10
5	687	10
6	2428	10
done	5000	10
0	11	17
1	30	17
2	59	17
3	185	17
4	596	17
5	1938	17
done	5000	17
0	11	19
1	28	19
2	59	19
3	151	11
4	407	11
5	937	11
6	3094	11
done	5001	11
0	10	16
1	29	16
2	63	15
3	177	15
4	577	15
5	2091	15
done	5001	15
0	10	11
1	25	11
2	44	11
3	78	11
4	150	11
5	279	11
6	851	11
7	3006	11
done	5000	11
0	10	16
1	29	16
2	63	16
3	177	16
4	584	16
5	2103	16
done	5001	16
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	4	5
1	15	1
2	19	1
3	23	1
done	23	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	3	3
1	13	1
done	13	1
0	9	15
1	28	15
2	62	15
3	190	15
4	629	15
5	2256	15
done	5000	15
0	7	8
1	19	8
2	43	8
3	99	8
4	276	8
5	877	8
6	3533	8
done	5000	8
0	9	10
1	24	10
2	43	10
3	93	10
4	196	10
5	441	10
6	1612	10
done	5000	10
0	11	19
1	40	19
2	94	19
3	272	19
4	924	19
5	4118	18
done	5000	18
0	11	22
1	35	17
2	91	14
3	259	13
4	1303	13
done	5000	13
0	11	22
1	37	20
2	98	19
3	379	18
4	2224	10
done	5000	10
0	7	8
1	19	8
2	43	8
3	99	8
4	276	8
5	877	8
6	3533	8
done	5000	8
0	7	8
1	19	8
2	43	8
3	99	8
4	276	8
5	877	8
6	3533	8
done	5000	8
0	7	8
1	18	8
2	42	8
3	92	8
4	230	8
5	834	8
6	3237	8
done	5001	8
0	8	27
1	20	27
2	42	27
3	106	27
4	283	27
5	751	27
6	2527	25
done	5001	25
0	10	16
1	29	16
2	64	16
3	192	16
4	631	16
5	2257	16
done	5000	16
0	10	16
1	29	16
2	64	16
3	192	16
4	631	16
5	2257	16
done	5000	16
0	11	17
1	23	15
2	40	15
3	56	15
4	88	15
5	155	15
6	357	15
7	1307	15
done	5001	15
0	11	17
1	23	15
2	40	15
3	56	15
4	88	15
5	155	15
6	357	15
7	1307	15
done	5001	15
0	13	15
1	31	15
2	65	15
3	109	15
4	204	15
5	486	15
6	1535	15
done	5000	15
0	5	6
1	9	6
2	15	6
done	15	6
0	6	7
1	12	6
2	20	6
3	36	6
4	70	6
5	147	6
6	378	6
7	1201	6
8	4523	6
done	5000	6
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	8	15
1	18	13
2	28	13
3	50	13
4	99	13
5	234	13
6	708	13
7	2530	13
done	5001	13
0	11	13
1	30	13
2	72	13
3	158	13
4	345	13
5	852	13
6	2834	13
done	5001	13
0	7	13
1	15	13
2	25	13
3	31	13
4	42	13
5	52	13
6	55	13
7	87	13
8	120	13
9	155	13
10	253	13
11	382	13
12	655	13
13	1526	13
done	5000	13
0	8	15
1	18	13
2	28	13
3	50	13
4	99	13
5	234	13
6	708	13
7	2530	13
done	5001	13
0	11	13
1	33	13
2	68	13
3	125	13
4	265	13
5	796	13
6	3625	13
done	5001	13
0	10	17
1	28	17
2	101	17
3	332	17
4	1180	15
done	5001	15
0	11	19
1	31	17
2	105	17
3	353	17
4	1418	15
done	5000	15

prune179.0ms

Filtered

110 candidates to 213 candidates (-93.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	213	0	213
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	213	3	216

Merged error: 0b

Counts

216 → 3

regimes63.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
done	2	2

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.0s	3342×	body	1280	valid
487.0ms	2497×	body	640	valid
261.0ms	7523×	body	80	overflowed
158.0ms	1194×	body	320	valid
44.0ms	553×	body	160	valid
17.0ms	414×	body	80	valid

Details

sample82.0ms

simplify2.5s

prune3.0ms

localize14.0ms

rewrite26.0ms

series27.0ms

simplify1.7min

prune96.0ms

localize2.0ms

rewrite2.0ms

series17.0ms

simplify25.7s

prune21.0ms

localize10.0ms

rewrite22.0ms

series21.0ms

simplify5.5min

prune138.0ms

localize12.0ms

rewrite69.0ms

series72.0ms

simplify11.0min

prune179.0ms

regimes63.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling