Details

sample90.0ms

Algorithm

intervals

Results

54.0ms	188×	body	1280	valid
13.0ms	259×	body	80	valid
6.0ms	37×	body	640	valid
2.0ms	16×	body	320	valid
1.0ms	10×	body	160	valid

simplify97.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	14	8
2	26	8
3	38	8
4	49	8
5	54	8
6	63	8
7	80	8
8	99	8
9	106	8
10	110	8
11	114	8
done	114	8

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

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (exp x) 2.0)
4.2b	(+ (- (exp x) 2.0) (exp (neg x)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt` `frac-add`
3×	`flip3--` `flip--`
2×	`pow1` `add-exp-log` `neg-sub0` `exp-neg` `add-cube-cbrt` `sub-neg` `associate-+l+` `exp-diff` `diff-log` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3-+` `flip-+` `difference-of-squares`

Counts

2 → 35

Calls

2 calls:

4.0ms	(- (exp x) 2.0)
9.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

series11.0ms

Counts

2 → 6

Calls

2 calls:

2.0ms	(- (exp x) 2.0)
9.0ms	(+ (- (exp x) 2.0) (exp (neg x)))

simplify1.0min

Counts

41 → 41

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	10
2	30	9
3	43	9
4	63	9
5	93	9
6	128	9
7	226	9
8	334	9
9	412	9
10	432	9
done	432	9
0	9	10
1	19	9
2	33	9
3	59	9
4	88	9
5	121	9
6	202	9
7	295	9
8	414	9
9	455	9
done	455	9
0	8	9
1	15	9
2	27	9
3	39	9
4	50	9
5	55	9
6	64	9
7	81	9
8	100	9
9	107	9
10	111	9
11	115	9
done	115	9
0	8	9
1	18	9
2	38	9
3	69	9
4	102	9
5	140	9
6	249	9
7	369	9
8	412	9
9	418	9
done	418	9
0	9	19
1	16	19
2	28	19
3	40	19
4	51	19
5	56	19
6	65	19
7	82	19
8	101	19
9	108	19
10	112	19
11	116	19
done	116	19
0	8	9
1	15	9
2	27	9
3	39	9
4	50	9
5	55	9
6	64	9
7	81	9
8	100	9
9	107	9
10	111	9
11	115	9
done	115	9
0	9	26
1	29	26
2	93	10
3	413	10
4	2657	10
done	5001	10
0	8	9
1	15	9
2	27	9
3	39	9
4	50	9
5	55	9
6	64	9
7	81	9
8	100	9
9	107	9
10	111	9
11	115	9
done	115	9
0	8	9
1	15	9
2	27	9
3	39	9
4	50	9
5	55	9
6	64	9
7	81	9
8	100	9
9	107	9
10	111	9
11	115	9
done	115	9
0	16	28
1	43	23
2	113	23
3	306	21
4	764	20
5	1916	20
done	5000	20
0	9	17
1	19	14
2	43	14
3	77	14
4	97	14
5	127	14
6	204	14
7	383	14
8	996	14
9	3467	14
done	5001	14
0	17	29
1	43	25
2	98	23
3	271	23
4	693	20
5	1836	20
done	5001	20
0	9	17
1	19	14
2	43	14
3	77	14
4	97	14
5	127	14
6	204	14
7	383	14
8	996	14
9	3467	14
done	5001	14
0	11	19
1	23	16
2	63	16
3	186	14
4	378	14
5	783	14
6	1918	14
7	4812	14
done	5000	14
0	5	7
1	7	7
2	14	7
3	16	7
4	18	7
5	21	7
6	25	7
7	34	7
8	59	7
9	118	7
10	256	7
11	704	7
12	2415	7
done	5001	7
0	12	20
1	23	18
2	49	16
3	154	16
4	352	14
5	747	14
6	1846	14
7	4653	14
done	5000	14
0	5	7
1	7	7
2	14	7
3	16	7
4	18	7
5	21	7
6	25	7
7	34	7
8	59	7
9	118	7
10	256	7
11	704	7
12	2415	7
done	5001	7
0	10	12
1	28	12
2	65	12
3	153	12
4	361	12
5	954	12
6	3562	11
done	5000	11
0	11	26
1	25	22
2	73	22
3	201	19
4	669	18
5	2147	18
done	5000	18
0	9	17
1	20	16
2	53	15
3	145	15
4	485	14
5	1585	14
done	5000	14
0	7	8
1	15	8
2	31	8
3	47	8
4	58	8
5	66	8
6	81	8
7	107	8
8	115	8
9	119	8
10	123	8
done	123	8
0	7	8
1	14	8
2	26	8
3	38	8
4	49	8
5	54	8
6	63	8
7	80	8
8	99	8
9	106	8
10	110	8
11	114	8
done	114	8
0	7	8
1	14	8
2	26	8
3	38	8
4	49	8
5	54	8
6	63	8
7	80	8
8	99	8
9	106	8
10	110	8
11	114	8
done	114	8
0	6	6
1	10	6
2	13	5
done	13	5
0	6	6
1	10	6
2	13	5
done	13	5
0	5	5
1	10	5
2	16	5
done	16	5
0	6	6
1	8	5
2	10	5
3	13	5
4	16	5
5	22	5
6	26	5
7	42	5
8	46	5
9	51	5
10	58	5
11	76	5
12	97	5
13	115	5
14	118	5
done	118	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	5
3	16	5
4	22	5
5	26	5
6	42	5
7	46	5
8	51	5
9	58	5
10	77	5
11	98	5
12	111	5
13	114	5
done	114	5
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	178	6
5	507	6
6	1724	6
7	4983	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	46	8
3	85	8
4	176	8
5	521	8
6	2312	8
done	5001	8
0	8	14
1	17	11
2	27	11
3	31	11
4	36	11
5	45	11
6	70	11
7	129	11
8	266	11
9	715	11
10	2419	11
done	5000	11
0	2	2
done	2	2
0	6	9
1	13	8
2	22	8
3	40	8
4	69	8
5	122	8
6	211	8
7	470	8
8	2108	8
done	5001	8
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	8
1	14	8
2	23	8
3	29	8
4	35	8
5	44	8
6	60	8
7	80	8
8	96	8
9	103	8
10	120	8
11	122	8
done	122	8
0	8	9
1	17	8
2	31	8
3	48	8
4	78	8
5	136	8
6	305	8
7	1005	8
8	4494	8
done	5000	8
0	8	9
1	19	9
2	41	9
3	52	9
4	66	9
5	87	9
6	140	9
7	250	9
8	498	9
9	1446	9
done	5000	9
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4

prune77.0ms

Filtered

30 candidates to 41 candidates (-36.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	38	3	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	3	42

Merged error: 0.0b

Counts

42 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.0b	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
0.0b	(* 1/360 (pow x 6))
0.1b	(* 1/12 (pow x 4))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
14×	`add-exp-log` `associate-r`
12×	`*-un-lft-identity`
11×	`add-log-exp`
10×	`add-cube-cbrt`
8×	`unpow-prod-down` `add-cbrt-cube`
6×	`associate-l` `prod-exp` `unswap-sqr`
4×	`pow1` `sum-log` `sqr-pow`
2×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+`
1×	`associate-+r+` `distribute-lft-out`

Counts

4 → 75

Calls

4 calls:

5.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
9.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
7.0ms	(* 1/360 (pow x 6))
6.0ms	(* 1/12 (pow x 4))

series29.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
7.0ms	(+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
5.0ms	(* 1/360 (pow x 6))
5.0ms	(* 1/12 (pow x 4))

simplify4.7min

Counts

87 → 87

Iterations

Useful iterations: 1 (1.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	14	7
2	24	7
3	51	7
4	79	7
5	109	7
6	132	7
7	193	7
8	371	7
9	981	7
10	3406	7
done	5000	7
0	6	6
1	14	6
2	30	6
3	79	6
4	124	6
5	158	6
6	189	6
7	282	6
8	559	6
9	1481	6
done	5001	6
0	6	6
1	13	6
2	29	6
3	81	6
4	152	6
5	318	6
6	777	6
7	2529	6
done	5001	6
0	9	17
1	25	9
2	62	7
3	210	7
4	640	7
5	1416	7
6	3385	5
done	5001	5
0	7	13
1	12	13
2	23	13
3	59	13
4	78	13
5	90	13
6	118	13
7	186	13
8	370	13
9	1009	13
10	3761	13
done	5000	13
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	7	17
1	23	15
2	74	7
3	289	7
4	919	7
5	1658	7
6	3651	5
done	5000	5
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	7	7
1	12	7
2	23	7
3	59	6
4	99	6
5	217	6
6	663	6
7	2548	6
done	5000	6
0	7	7
1	12	7
2	23	7
3	59	6
4	99	6
5	217	6
6	663	6
7	2548	6
done	5000	6
0	7	7
1	12	7
2	20	7
3	40	7
4	51	7
5	63	7
6	83	7
7	125	7
8	235	7
9	611	7
10	2249	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	40	7
4	51	7
5	63	7
6	83	7
7	125	7
8	235	7
9	611	7
10	2249	7
done	5001	7
0	8	8
1	13	6
2	25	6
3	30	6
4	36	6
5	46	6
6	70	6
7	129	6
8	337	6
9	1271	6
done	5000	6
0	8	8
1	13	6
2	25	6
3	30	6
4	36	6
5	46	6
6	70	6
7	129	6
8	337	6
9	1271	6
done	5000	6
0	7	9
1	12	9
2	23	9
3	63	9
4	165	9
5	535	9
6	1815	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	5
4	101	5
5	210	5
6	653	5
7	2629	5
done	5000	5
0	5	5
1	12	1
done	12	1
0	7	11
1	14	11
2	23	11
3	43	11
4	52	11
5	64	11
6	84	11
7	126	11
8	239	11
9	616	11
10	2259	11
done	5001	11
0	6	6
1	11	6
2	19	6
3	39	6
4	48	6
5	60	6
6	80	6
7	122	6
8	233	6
9	612	6
10	2256	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	12	5
2	24	5
3	29	5
4	35	5
5	45	5
6	67	5
7	129	5
8	345	5
9	1261	5
done	5000	5
0	6	6
1	11	6
2	22	6
3	58	6
4	79	6
5	91	6
6	119	6
7	187	6
8	375	6
9	1018	6
10	3752	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	79	6
5	91	6
6	119	6
7	187	6
8	375	6
9	1018	6
10	3752	6
done	5000	6
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	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	27	7
3	59	7
4	170	7
5	494	7
6	1503	7
done	5000	7
0	6	6
1	15	6
2	33	6
3	93	6
4	311	6
5	921	6
6	2983	6
done	5000	6
0	6	6
1	14	6
2	32	6
3	93	6
4	305	6
5	1090	6
6	4847	6
done	5000	6
0	9	17
1	26	9
2	64	7
3	224	7
4	1403	7
done	5000	7
0	7	13
1	13	13
2	26	13
3	71	13
4	186	13
5	532	13
6	1674	13
done	5000	13
0	6	6
1	12	6
2	25	6
3	70	6
4	189	6
5	524	6
6	1705	6
done	5001	6
0	7	17
1	24	15
2	76	7
3	316	7
4	2082	7
done	5000	7
0	6	6
1	12	6
2	25	6
3	70	6
4	189	6
5	524	6
6	1705	6
done	5001	6
0	6	6
1	12	6
2	25	6
3	70	6
4	189	6
5	524	6
6	1705	6
done	5001	6
0	7	7
1	13	7
2	26	7
3	71	7
4	188	6
5	537	6
6	1755	6
done	5001	6
0	7	7
1	13	7
2	26	7
3	71	7
4	188	6
5	537	6
6	1755	6
done	5001	6
0	7	7
1	13	7
2	23	7
3	44	7
4	92	7
5	213	7
6	640	7
7	2516	7
done	5000	7
0	7	7
1	13	7
2	23	7
3	44	7
4	92	7
5	213	7
6	640	7
7	2516	7
done	5000	7
0	8	8
1	14	6
2	27	6
3	53	6
4	102	6
5	247	6
6	770	6
7	3072	6
done	5000	6
0	8	8
1	14	6
2	27	6
3	53	6
4	102	6
5	247	6
6	770	6
7	3072	6
done	5000	6
0	7	9
1	13	9
2	28	9
3	102	9
4	392	6
5	1214	5
6	4145	5
done	5001	5
0	6	6
1	12	6
2	25	6
3	72	6
4	183	5
5	522	5
6	1716	5
done	5000	5
0	5	5
1	13	1
done	13	1
0	7	11
1	15	11
2	26	11
3	47	11
4	90	11
5	220	5
6	677	5
7	2885	5
done	5001	5
0	6	6
1	12	6
2	22	6
3	43	6
4	85	6
5	210	6
6	649	6
7	2533	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	13	5
2	26	5
3	52	5
4	100	5
5	245	5
6	763	5
7	3048	5
done	5001	5
0	6	6
1	12	6
2	25	6
3	72	6
4	186	6
5	535	6
6	1745	6
done	5000	6
0	6	6
1	12	6
2	25	6
3	72	6
4	186	6
5	535	6
6	1745	6
done	5000	6
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	16	18
1	40	17
2	103	16
3	246	16
4	785	16
5	3560	16
done	5001	16
0	15	17
1	36	16
2	94	16
3	201	16
4	591	16
5	2408	16
done	5000	16
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	840	16
6	2623	16
done	5000	16
0	14	16
1	35	16
2	88	16
3	185	16
4	469	16
5	1604	16
done	5001	16
0	15	33
1	33	33
2	75	33
3	142	33
4	332	33
5	872	33
6	2626	33
done	5001	33
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	15	47
1	46	47
2	174	17
3	705	17
4	4780	17
done	5000	17
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	16	19
1	43	19
2	116	17
3	317	17
4	1736	17
done	5000	17
0	17	47
1	54	31
2	188	31
3	621	31
4	3124	31
done	5000	31
0	15	31
1	43	27
2	126	27
3	453	27
4	2525	27
done	5000	27
0	13	15
1	32	15
2	77	15
3	178	15
4	559	15
5	2000	15
done	5000	15
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	8	9
1	19	9
2	39	9
3	91	9
4	223	9
5	563	9
6	1765	9
done	5000	9
0	12	13
1	29	12
2	63	12
3	187	12
4	532	12
5	1931	12
done	5001	12
0	11	12
1	22	12
2	45	12
3	125	12
4	263	12
5	654	12
6	2114	12
done	5000	12
0	11	12
1	25	12
2	57	12
3	161	12
4	433	12
5	1464	12
done	5000	12
0	12	25
1	23	25
2	46	25
3	126	25
4	260	25
5	653	25
6	2117	25
done	5001	25
0	11	12
1	22	12
2	45	12
3	125	12
4	263	12
5	651	12
6	2097	12
done	5000	12
0	12	35
1	36	35
2	122	13
3	572	13
4	3602	13
done	5001	13
0	11	12
1	22	12
2	45	12
3	125	12
4	263	12
5	651	12
6	2097	12
done	5000	12
0	11	12
1	22	12
2	45	12
3	125	12
4	263	12
5	651	12
6	2097	12
done	5000	12
0	13	15
1	43	15
2	129	15
3	457	13
4	2431	11
done	5000	11
0	14	35
1	52	27
2	169	21
3	674	21
4	3394	21
done	5001	21
0	12	23
1	43	19
2	127	11
3	456	11
4	1967	11
done	5000	11
0	10	11
1	22	11
2	53	11
3	145	11
4	340	11
5	842	11
6	2641	11
done	5000	11
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	5	5
1	11	5
2	24	5
3	69	5
4	184	5
5	531	5
6	1751	5
done	5001	5
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	13	15
1	31	15
2	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	10	11
1	21	11
2	44	11
3	124	11
4	258	11
5	660	11
6	2137	11
done	5000	11
0	10	11
1	21	11
2	44	11
3	124	11
4	258	11
5	660	11
6	2137	11
done	5000	11
0	10	11
1	21	11
2	44	11
3	124	11
4	258	11
5	660	11
6	2137	11
done	5000	11

prune187.0ms

Filtered

63 candidates to 87 candidates (-38.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	85	2	87
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	85	5	90

Merged error: 0.0b

Counts

90 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b	(* 1/12 (pow x 4))
0.1b	(* 1/12 (pow x 4))
31.6b	(sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
31.6b	(sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-exp-log` `associate-r`
12×	`add-cube-cbrt`
8×	`unpow-prod-down` `sqrt-prod` `add-cbrt-cube`
6×	`pow1` `associate-l` `prod-exp` `unswap-sqr`
4×	`sqrt-div` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `pow-exp` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out`

Counts

4 → 82

Calls

4 calls:

6.0ms	(* 1/12 (pow x 4))
6.0ms	(* 1/12 (pow x 4))
12.0ms	(sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
8.0ms	(sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))

series26.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* 1/12 (pow x 4))
4.0ms	(* 1/12 (pow x 4))
8.0ms	(sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
9.0ms	(sqrt (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))

simplify5.4min

Counts

94 → 94

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	16	35
1	34	35
2	76	35
3	143	35
4	326	35
5	852	35
6	2638	35
done	5000	35
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	16	50
1	35	32
2	93	18
3	197	18
4	515	18
5	1582	18
done	5000	18
0	16	34
1	35	17
2	77	17
3	144	17
4	339	17
5	863	17
6	2734	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	2	2
1	4	1
done	4	1
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	2	2
1	4	1
done	4	1
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	17	20
1	44	20
2	117	18
3	320	18
4	1722	18
done	5001	18
0	18	48
1	55	32
2	189	32
3	624	32
4	3123	32
done	5000	32
0	16	32
1	44	28
2	127	28
3	454	28
4	2530	28
done	5000	28
0	14	16
1	33	16
2	78	16
3	179	16
4	558	16
5	1984	16
done	5000	16
0	3	3
1	6	1
done	6	1
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	16	35
1	34	35
2	76	35
3	143	35
4	326	35
5	852	35
6	2638	35
done	5000	35
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	16	50
1	35	32
2	93	18
3	197	18
4	515	18
5	1582	18
done	5000	18
0	16	34
1	35	17
2	77	17
3	144	17
4	339	17
5	863	17
6	2734	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	2	2
1	4	1
done	4	1
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	2	2
1	4	1
done	4	1
0	14	16
1	32	16
2	74	16
3	143	16
4	323	16
5	837	16
6	2741	16
done	5001	16
0	17	20
1	44	20
2	117	18
3	320	18
4	1722	18
done	5001	18
0	18	48
1	55	32
2	189	32
3	624	32
4	3123	32
done	5000	32
0	16	32
1	44	28
2	127	28
3	454	28
4	2530	28
done	5000	28
0	14	16
1	33	16
2	78	16
3	179	16
4	558	16
5	1984	16
done	5000	16
0	3	3
1	6	1
done	6	1
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	15	17
1	33	17
2	75	17
3	142	17
4	332	17
5	872	17
6	2626	17
done	5001	17
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	14	7
2	24	7
3	51	7
4	79	7
5	109	7
6	132	7
7	193	7
8	371	7
9	981	7
10	3406	7
done	5000	7
0	6	6
1	14	6
2	30	6
3	79	6
4	124	6
5	158	6
6	189	6
7	282	6
8	559	6
9	1481	6
done	5001	6
0	6	6
1	13	6
2	29	6
3	81	6
4	152	6
5	318	6
6	777	6
7	2529	6
done	5001	6
0	9	17
1	25	9
2	62	7
3	210	7
4	640	7
5	1416	7
6	3385	5
done	5001	5
0	7	13
1	12	13
2	23	13
3	59	13
4	78	13
5	90	13
6	118	13
7	186	13
8	370	13
9	1009	13
10	3761	13
done	5000	13
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	7	17
1	23	15
2	74	7
3	289	7
4	919	7
5	1658	7
6	3651	5
done	5000	5
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	7	7
1	12	7
2	23	7
3	59	6
4	99	6
5	217	6
6	663	6
7	2548	6
done	5000	6
0	7	7
1	12	7
2	23	7
3	59	6
4	99	6
5	217	6
6	663	6
7	2548	6
done	5000	6
0	7	7
1	12	7
2	20	7
3	40	7
4	51	7
5	63	7
6	83	7
7	125	7
8	235	7
9	611	7
10	2249	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	40	7
4	51	7
5	63	7
6	83	7
7	125	7
8	235	7
9	611	7
10	2249	7
done	5001	7
0	8	8
1	13	6
2	25	6
3	30	6
4	36	6
5	46	6
6	70	6
7	129	6
8	337	6
9	1271	6
done	5000	6
0	8	8
1	13	6
2	25	6
3	30	6
4	36	6
5	46	6
6	70	6
7	129	6
8	337	6
9	1271	6
done	5000	6
0	7	9
1	12	9
2	23	9
3	63	9
4	165	9
5	535	9
6	1815	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	5
4	101	5
5	210	5
6	653	5
7	2629	5
done	5000	5
0	5	5
1	12	1
done	12	1
0	7	11
1	14	11
2	23	11
3	43	11
4	52	11
5	64	11
6	84	11
7	126	11
8	239	11
9	616	11
10	2259	11
done	5001	11
0	6	6
1	11	6
2	19	6
3	39	6
4	48	6
5	60	6
6	80	6
7	122	6
8	233	6
9	612	6
10	2256	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	12	5
2	24	5
3	29	5
4	35	5
5	45	5
6	67	5
7	129	5
8	345	5
9	1261	5
done	5000	5
0	6	6
1	11	6
2	22	6
3	58	6
4	79	6
5	91	6
6	119	6
7	187	6
8	375	6
9	1018	6
10	3752	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	79	6
5	91	6
6	119	6
7	187	6
8	375	6
9	1018	6
10	3752	6
done	5000	6
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	7
1	14	7
2	24	7
3	51	7
4	79	7
5	109	7
6	132	7
7	193	7
8	371	7
9	981	7
10	3406	7
done	5000	7
0	6	6
1	14	6
2	30	6
3	79	6
4	124	6
5	158	6
6	189	6
7	282	6
8	559	6
9	1481	6
done	5001	6
0	6	6
1	13	6
2	29	6
3	81	6
4	152	6
5	318	6
6	777	6
7	2529	6
done	5001	6
0	9	17
1	25	9
2	62	7
3	210	7
4	640	7
5	1416	7
6	3385	5
done	5001	5
0	7	13
1	12	13
2	23	13
3	59	13
4	78	13
5	90	13
6	118	13
7	186	13
8	370	13
9	1009	13
10	3761	13
done	5000	13
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	7	17
1	23	15
2	74	7
3	289	7
4	919	7
5	1658	7
6	3651	5
done	5000	5
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	6	6
1	11	6
2	22	6
3	58	6
4	76	6
5	88	6
6	116	6
7	186	6
8	372	6
9	1015	6
10	3762	6
done	5001	6
0	7	7
1	12	7
2	23	7
3	59	6
4	99	6
5	217	6
6	663	6
7	2548	6
done	5000	6
0	7	7
1	12	7
2	23	7
3	59	6
4	99	6
5	217	6
6	663	6
7	2548	6
done	5000	6
0	7	7
1	12	7
2	20	7
3	40	7
4	51	7
5	63	7
6	83	7
7	125	7
8	235	7
9	611	7
10	2249	7
done	5001	7
0	7	7
1	12	7
2	20	7
3	40	7
4	51	7
5	63	7
6	83	7
7	125	7
8	235	7
9	611	7
10	2249	7
done	5001	7
0	8	8
1	13	6
2	25	6
3	30	6
4	36	6
5	46	6
6	70	6
7	129	6
8	337	6
9	1271	6
done	5000	6
0	8	8
1	13	6
2	25	6
3	30	6
4	36	6
5	46	6
6	70	6
7	129	6
8	337	6
9	1271	6
done	5000	6
0	7	9
1	12	9
2	23	9
3	63	9
4	165	9
5	535	9
6	1815	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	5
4	101	5
5	210	5
6	653	5
7	2629	5
done	5000	5
0	5	5
1	12	1
done	12	1
0	7	11
1	14	11
2	23	11
3	43	11
4	52	11
5	64	11
6	84	11
7	126	11
8	239	11
9	616	11
10	2259	11
done	5001	11
0	6	6
1	11	6
2	19	6
3	39	6
4	48	6
5	60	6
6	80	6
7	122	6
8	233	6
9	612	6
10	2256	6
done	5000	6
0	3	3
1	6	1
done	6	1
0	7	7
1	12	5
2	24	5
3	29	5
4	35	5
5	45	5
6	67	5
7	129	5
8	345	5
9	1261	5
done	5000	5
0	6	6
1	11	6
2	22	6
3	58	6
4	79	6
5	91	6
6	119	6
7	187	6
8	375	6
9	1018	6
10	3752	6
done	5000	6
0	6	6
1	11	6
2	22	6
3	58	6
4	79	6
5	91	6
6	119	6
7	187	6
8	375	6
9	1018	6
10	3752	6
done	5000	6
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	11	13
1	29	13
2	63	13
3	108	13
4	204	13
5	490	13
6	1540	13
done	5000	13
0	22	33
1	60	29
2	149	29
3	362	27
4	862	22
5	2465	20
done	5001	20
0	22	33
1	60	29
2	145	29
3	327	27
4	746	22
5	1960	20
done	5000	20
0	11	13
1	29	13
2	63	13
3	108	13
4	204	13
5	490	13
6	1540	13
done	5000	13
0	22	33
1	60	29
2	149	29
3	362	27
4	862	22
5	2465	20
done	5001	20
0	22	33
1	60	29
2	145	29
3	327	27
4	746	22
5	1960	20
done	5000	20
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5
0	5	5
1	10	5
2	21	5
3	57	5
4	76	5
5	88	5
6	116	5
7	182	5
8	361	5
9	1011	5
10	3772	5
done	5000	5

prune339.0ms

Filtered

70 candidates to 94 candidates (-34.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	94	5	99

Merged error: 0.0b

Counts

99 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp x) (exp (neg x)))
3.7b	(- (+ (exp x) (exp (neg x))) 2.0)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity` `add-log-exp`
4×	`add-sqr-sqrt`
2×	`pow1` `add-exp-log` `add-cube-cbrt` `diff-log` `sum-log` `add-cbrt-cube` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `sub-neg` `flip3--` `flip3-+` `associate--l+` `flip--` `flip-+` `difference-of-squares`

Counts

2 → 29

Calls

2 calls:

6.0ms	(+ (exp x) (exp (neg x)))
8.0ms	(- (+ (exp x) (exp (neg x))) 2.0)

series12.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ (exp x) (exp (neg x)))
8.0ms	(- (+ (exp x) (exp (neg x))) 2.0)

simplify49.8s

Counts

35 → 35

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	10
2	28	9
3	44	9
4	67	9
5	95	9
6	144	9
7	222	9
8	435	9
9	494	9
10	497	9
done	497	9
0	9	10
1	17	9
2	28	9
3	45	9
4	64	9
5	87	9
6	127	9
7	229	9
8	329	9
9	422	9
10	442	9
done	442	9
0	8	9
1	15	9
2	24	9
3	30	9
4	36	9
5	45	9
6	61	9
7	81	9
8	97	9
9	104	9
10	121	9
11	125	9
done	125	9
0	8	9
1	18	9
2	35	9
3	55	9
4	78	9
5	107	9
6	185	9
7	282	9
8	376	9
9	446	9
10	467	9
done	467	9
0	9	19
1	16	19
2	25	19
3	31	19
4	37	19
5	46	19
6	62	19
7	82	19
8	98	19
9	105	19
10	122	19
11	124	19
done	124	19
0	8	9
1	15	9
2	24	9
3	30	9
4	36	9
5	45	9
6	61	9
7	81	9
8	97	9
9	104	9
10	121	9
11	125	9
done	125	9
0	9	26
1	17	26
2	52	10
3	227	10
4	1091	10
done	5000	10
0	8	9
1	15	9
2	24	9
3	30	9
4	36	9
5	45	9
6	61	9
7	81	9
8	97	9
9	104	9
10	121	9
11	125	9
done	125	9
0	8	9
1	15	9
2	24	9
3	30	9
4	36	9
5	45	9
6	61	9
7	81	9
8	97	9
9	104	9
10	121	9
11	125	9
done	125	9
0	10	12
1	28	12
2	68	12
3	154	12
4	400	12
5	1502	12
done	5001	12
0	11	26
1	27	24
2	72	24
3	201	19
4	696	19
5	1862	19
6	2999	19
7	3350	19
8	4182	19
done	5000	19
0	2	2
done	2	2
0	9	17
1	23	17
2	61	17
3	169	17
4	580	16
5	1649	15
done	5000	15
0	7	8
1	13	8
2	21	8
done	21	8
0	9	10
1	13	10
2	15	10
done	15	10
0	9	10
1	14	10
2	17	10
done	17	10
0	7	8
1	14	8
2	23	8
3	29	8
4	35	8
5	44	8
6	60	8
7	80	8
8	96	8
9	103	8
10	120	8
11	122	8
done	122	8
0	7	8
1	14	8
2	23	8
3	29	8
4	35	8
5	44	8
6	60	8
7	80	8
8	96	8
9	103	8
10	120	8
11	122	8
done	122	8
0	5	5
1	10	5
2	13	5
done	13	5
0	2	2
done	2	2
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	73	15
3	142	15
4	327	15
5	842	15
6	2647	15
done	5000	15
0	7	8
1	14	8
2	23	8
3	29	8
4	35	8
5	44	8
6	60	8
7	80	8
8	96	8
9	103	8
10	120	8
11	122	8
done	122	8
0	8	9
1	17	8
2	31	8
3	48	8
4	78	8
5	136	8
6	305	8
7	1005	8
8	4494	8
done	5000	8
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

prune31.0ms

Filtered

23 candidates to 35 candidates (-52.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	35	5	40

Merged error: 0.0b

Counts

40 → 5

regimes44.0ms

Accuracy

0% (0.6b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	17	15
done	17	15

end0.0ms

sample2.5s

Algorithm

intervals

Results

1.6s	5743×	body	1280	valid
229.0ms	7951×	body	80	valid
203.0ms	1220×	body	640	valid
60.0ms	567×	body	320	valid
24.0ms	310×	body	160	valid

Details

sample90.0ms

simplify97.0ms

prune3.0ms

localize10.0ms

rewrite15.0ms

series11.0ms

simplify1.0min

prune77.0ms

localize11.0ms

rewrite29.0ms

series29.0ms

simplify4.7min

prune187.0ms

localize14.0ms

rewrite34.0ms

series26.0ms

simplify5.4min

prune339.0ms

localize6.0ms

rewrite15.0ms

series12.0ms

simplify49.8s

prune31.0ms

regimes44.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling