Details

sample42.0ms

Algorithm

intervals

Results

13.0ms	93×	body	1280	valid
7.0ms	84×	body	640	valid
4.0ms	384×	pre	80	true
3.0ms	52×	body	320	valid
2.0ms	136×	body	80	valid
1.0ms	19×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	6	4
2	7	4
done	7	4

prune2.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.5b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

7.2b	(- (exp x) 1.0)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

1 → 14

Calls

1 calls:

5.0ms

(- (exp x) 1.0)

series2.0ms

Counts

1 → 3

Calls

1 calls:

2.0ms

(- (exp x) 1.0)

simplify19.8s

Counts

17 → 17

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
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	11	13
1	28	13
2	73	13
3	108	11
4	181	11
5	354	11
6	895	11
7	3250	11
done	5000	11
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4

prune40.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	4	18

Merged error: 0.1b

Counts

18 → 4

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (pow x 2) (+ 1/2 (* x 1/6)))
0.4b	(* x 1/6)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
11×	`associate-l`
9×	`add-exp-log`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r` `add-cbrt-cube`
5×	`unswap-sqr`
4×	`pow1` `unpow-prod-down` `prod-exp`
2×	`associate-r/` `-commutative` `cbrt-unprod` `unpow2` `add-log-exp` `sqr-pow`
1×	`distribute-rgt-in` `pow-to-exp` `distribute-lft-in` `flip3-+` `pow-prod-down` `pow-exp` `flip-+`

Counts

2 → 49

Calls

2 calls:

8.0ms	(* (pow x 2) (+ 1/2 (* x 1/6)))
4.0ms	(* x 1/6)

series14.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(* (pow x 2) (+ 1/2 (* x 1/6)))
2.0ms	(* x 1/6)

simplify2.3min

Counts

55 → 55

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
1	4	3
done	4	3
0	5	5
1	6	5
done	6	5
0	4	4
1	8	4
2	9	4
done	9	4
0	4	4
1	7	4
2	14	4
3	23	4
4	38	4
5	78	4
6	177	4
7	500	4
8	1783	4
done	5000	4
0	7	11
1	16	7
2	32	5
3	57	5
4	96	5
5	145	5
6	282	5
7	713	5
8	2252	5
done	5001	5
0	5	9
1	6	9
done	6	9
0	4	4
1	5	4
done	5	4
0	5	11
1	17	9
2	44	5
3	92	5
4	104	5
5	128	5
6	198	5
7	408	5
8	1091	5
9	3739	5
done	5000	5
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	5	7
1	8	7
2	10	7
done	10	7
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	3	3
1	4	3
done	4	3
0	10	11
1	14	11
done	14	11
0	10	11
1	14	11
done	14	11
0	10	11
1	20	11
2	29	11
3	38	11
4	46	11
5	56	11
6	80	11
7	142	11
8	363	11
9	1299	11
done	5000	11
0	9	10
1	26	10
2	70	10
3	91	10
4	101	10
5	115	10
6	146	10
7	226	10
8	478	10
9	1537	10
done	5001	10
0	9	10
1	25	10
2	77	10
3	121	10
4	207	10
5	529	10
6	1648	10
done	5000	10
0	12	29
1	41	25
2	177	13
3	710	13
4	3035	11
done	5000	11
0	10	21
1	24	21
2	64	21
3	75	21
4	85	21
5	99	21
6	130	21
7	212	21
8	472	21
9	1525	21
done	5000	21
0	9	10
1	23	10
2	63	10
3	72	10
4	82	10
5	96	10
6	127	10
7	211	10
8	464	10
9	1539	10
done	5000	10
0	10	29
1	34	29
2	172	11
3	676	11
4	2356	11
done	5000	11
0	9	10
1	23	10
2	63	10
3	72	10
4	82	10
5	96	10
6	127	10
7	211	10
8	464	10
9	1539	10
done	5000	10
0	9	10
1	23	10
2	63	10
3	72	10
4	82	10
5	96	10
6	127	10
7	211	10
8	464	10
9	1539	10
done	5000	10
0	10	11
1	18	11
2	33	8
3	50	8
4	90	8
5	213	8
6	671	8
7	2551	8
done	5000	8
0	10	11
1	18	11
2	33	8
3	50	8
4	90	8
5	213	8
6	671	8
7	2551	8
done	5000	8
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	10	11
1	18	11
2	27	9
3	32	9
4	38	9
5	48	9
6	70	9
7	131	9
8	345	9
9	1267	9
done	5000	9
0	10	11
1	18	11
2	27	9
3	32	9
4	38	9
5	48	9
6	70	9
7	131	9
8	345	9
9	1267	9
done	5000	9
0	10	12
1	17	10
2	30	8
3	46	8
4	81	8
5	205	8
6	658	8
7	2516	8
done	5000	8
0	10	12
1	17	10
2	30	8
3	46	8
4	81	8
5	205	8
6	658	8
7	2516	8
done	5000	8
0	5	5
1	11	5
2	26	5
3	31	5
4	37	5
5	47	5
6	69	5
7	129	5
8	344	5
9	1278	5
done	5001	5
0	6	7
1	15	7
2	42	5
3	55	5
4	71	5
5	101	5
6	169	5
7	368	5
8	1109	5
9	4308	5
done	5000	5
0	5	5
1	11	5
2	26	5
3	31	5
4	37	5
5	47	5
6	69	5
7	129	5
8	344	5
9	1278	5
done	5001	5
0	6	7
1	15	7
2	39	7
3	47	7
4	57	5
5	71	5
6	102	5
7	180	5
8	435	5
9	1491	5
done	5000	5
0	10	17
1	20	17
2	47	17
3	60	17
4	66	17
5	76	17
6	98	17
7	164	17
8	376	17
9	1305	17
done	5000	17
0	9	10
1	17	10
2	32	10
3	39	10
4	45	10
5	55	10
6	77	10
7	145	10
8	361	10
9	1291	10
done	5000	10
0	5	5
1	12	3
2	29	3
3	58	3
4	100	3
5	202	3
6	488	3
7	1755	3
done	5000	3
0	9	10
1	23	10
2	63	10
3	118	10
4	274	10
5	759	10
6	2674	10
done	5000	10
0	9	10
1	23	10
2	63	7
3	110	7
4	241	7
5	673	7
6	2418	7
done	5000	7
0	8	9
1	22	9
2	62	9
3	75	9
4	85	9
5	99	9
6	132	9
7	212	9
8	467	9
9	1527	9
done	5001	9
0	6	7
1	15	7
2	19	7
done	19	7
0	9	10
1	23	10
2	39	10
3	48	10
4	54	10
5	64	10
6	86	10
7	152	10
8	360	10
9	1295	10
done	5001	10
0	9	10
1	23	10
2	41	8
3	50	8
4	56	8
5	66	8
6	88	8
7	154	8
8	370	8
9	1297	8
done	5000	8
0	8	9
1	22	9
2	62	9
3	75	9
4	85	9
5	99	9
6	132	9
7	212	9
8	467	9
9	1527	9
done	5001	9
0	9	11
1	22	9
2	52	7
3	100	7
4	228	7
5	667	7
6	2579	7
done	5000	7
0	11	13
1	43	11
2	132	11
3	311	11
4	539	11
5	1269	11
6	3974	11
done	5000	11
0	10	15
1	30	11
2	87	11
3	218	11
4	542	11
5	907	11
6	1389	11
7	2555	11
done	5001	11
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	10	11
1	24	11
2	63	11
3	97	9
4	159	9
5	317	9
6	861	9
7	3216	9
done	5000	9
0	10	11
1	24	11
2	63	11
3	97	9
4	159	9
5	317	9
6	861	9
7	3216	9
done	5000	9
0	10	11
1	24	11
2	63	11
3	97	9
4	159	9
5	317	9
6	861	9
7	3216	9
done	5000	9

prune84.0ms

Filtered

42 candidates to 55 candidates (-31.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	55	4	59

Merged error: 0.1b

Counts

59 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (exp x) 1.0)
0.0b	(/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0))
7.1b	(- (exp (+ x x)) (* 1.0 1.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-un-lft-identity`
20×	`add-sqr-sqrt` `times-frac`
14×	`add-cube-cbrt`
12×	`difference-of-squares`
7×	`distribute-lft-out` `add-log-exp`
6×	`exp-sum`
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` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

3 → 72

Calls

3 calls:

5.0ms	(+ (exp x) 1.0)
13.0ms	(/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0))
7.0ms	(- (exp (+ x x)) (* 1.0 1.0))

series18.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+ (exp x) 1.0)
13.0ms	(/ (- (exp (+ x x)) (* 1.0 1.0)) (+ (exp x) 1.0))
3.0ms	(- (exp (+ x x)) (* 1.0 1.0))

simplify3.0min

Counts

81 → 81

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	16	9
2	29	9
3	54	9
4	132	9
5	362	9
6	1401	9
done	5001	9
0	7	9
1	13	9
2	23	9
3	33	9
4	61	9
5	120	9
6	242	9
7	522	9
8	1532	9
done	5000	9
0	7	9
1	16	9
2	32	9
3	53	9
4	122	9
5	334	9
6	1231	9
done	5000	9
0	8	19
1	14	19
2	24	19
3	31	19
4	58	19
5	114	19
6	237	19
7	523	19
8	1520	19
done	5000	19
0	7	9
1	13	9
2	23	9
3	30	9
4	57	9
5	113	9
6	236	9
7	522	9
8	1522	9
done	5000	9
0	8	26
1	15	26
2	39	10
3	136	10
4	679	10
5	3857	10
done	5000	10
0	7	9
1	13	9
2	23	9
3	30	9
4	57	9
5	113	9
6	236	9
7	522	9
8	1522	9
done	5000	9
0	7	9
1	13	9
2	23	9
3	30	9
4	57	9
5	113	9
6	236	9
7	522	9
8	1522	9
done	5000	9
0	9	12
1	29	12
2	89	10
3	230	8
4	552	8
5	1792	8
done	5001	8
0	10	26
1	29	21
2	71	17
3	113	17
4	176	17
5	332	17
6	801	17
7	2546	17
done	5000	17
0	3	4
1	6	4
done	6	4
0	8	17
1	23	16
2	56	10
3	113	8
4	271	8
5	814	8
6	2512	8
done	5000	8
0	6	8
1	11	8
2	14	8
3	18	8
4	27	8
5	52	8
6	103	8
7	223	8
8	605	8
9	2138	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	6	7
1	11	7
2	15	5
3	19	5
4	29	5
5	55	5
6	106	5
7	232	5
8	611	5
9	2153	5
done	5000	5
0	6	7
1	12	7
2	17	5
3	21	5
4	31	5
5	57	5
6	108	5
7	232	5
8	619	5
9	2146	5
done	5001	5
0	3	4
1	6	4
done	6	4
0	11	15
1	19	15
2	29	15
3	37	15
4	71	15
5	137	15
6	269	7
7	561	5
8	1683	5
done	5000	5
0	10	14
1	22	14
2	39	14
3	57	14
4	107	14
5	206	7
6	402	5
7	1420	5
done	5000	5
0	10	14
1	19	14
2	37	14
3	54	14
4	101	14
5	203	7
6	445	5
7	1598	5
done	5000	5
0	13	41
1	40	41
2	124	17
3	399	15
4	1948	8
done	5000	8
0	11	29
1	20	29
2	35	29
3	50	29
4	91	29
5	174	15
6	351	11
7	1177	11
done	5001	11
0	10	14
1	19	14
2	34	14
3	49	14
4	90	14
5	173	7
6	350	5
7	1177	5
done	5000	5
0	11	41
1	27	41
2	70	15
3	254	15
4	1299	8
done	5000	8
0	10	14
1	19	14
2	34	14
3	49	14
4	90	14
5	173	7
6	350	5
7	1177	5
done	5000	5
0	10	14
1	19	14
2	34	14
3	49	14
4	90	14
5	173	7
6	350	5
7	1177	5
done	5000	5
0	7	9
1	13	9
2	26	9
3	46	9
4	98	8
5	232	8
6	471	8
7	1134	8
8	3625	8
done	5001	8
0	5	5
1	9	5
2	11	5
3	12	5
done	12	5
0	7	9
1	11	9
2	16	9
3	22	9
4	34	9
5	67	9
6	148	9
7	361	9
8	1145	9
9	4477	9
done	5000	9
0	6	8
1	9	8
2	11	8
3	12	8
done	12	8
0	13	31
1	25	31
2	43	31
3	55	31
4	82	31
5	138	31
6	259	31
7	539	31
8	1558	31
done	5001	31
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	12	25
1	20	25
2	31	25
3	38	25
4	65	25
5	121	25
6	244	25
7	528	25
8	1521	25
done	5001	25
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	10	21
1	20	19
2	36	19
3	48	19
4	74	19
5	128	19
6	236	19
7	476	19
8	1342	19
done	5000	19
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	10	21
1	20	19
2	36	19
3	48	19
4	74	19
5	128	19
6	236	19
7	476	19
8	1342	19
done	5000	19
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	12	21
1	20	21
2	29	21
3	35	21
4	62	21
5	118	21
6	239	21
7	521	21
8	1514	21
done	5000	21
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	11	15
1	17	15
2	26	15
3	32	15
4	59	15
5	115	15
6	238	15
7	527	15
8	1521	15
done	5000	15
0	9	11
1	17	9
2	29	9
3	36	9
4	62	9
5	116	9
6	226	9
7	463	9
8	1329	9
done	5001	9
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	9	11
1	17	9
2	29	9
3	36	9
4	62	9
5	116	9
6	226	9
7	463	9
8	1329	9
done	5001	9
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	237	14
7	523	14
8	1521	14
done	5001	14
0	8	13
1	13	13
done	13	13
0	10	14
1	19	14
2	34	14
3	49	14
4	91	14
5	174	14
6	355	14
7	802	14
8	2430	14
done	5000	14
0	7	7
1	10	7
done	10	7
0	10	14
1	19	14
2	34	14
3	49	14
4	91	14
5	174	14
6	355	14
7	802	14
8	2430	14
done	5000	14
0	2	3
1	4	1
done	4	1
0	9	13
1	18	13
2	33	13
3	48	13
4	89	13
5	172	6
6	349	4
7	1184	4
done	5000	4
0	2	3
1	4	1
done	4	1
0	9	13
1	18	13
2	33	13
3	48	13
4	89	13
5	172	6
6	349	4
7	1184	4
done	5000	4
0	7	16
1	10	16
done	10	16
0	7	10
1	13	10
2	16	10
3	18	10
done	18	10
0	6	10
1	7	10
done	7	10
0	7	10
1	13	10
2	16	10
3	18	10
done	18	10
0	6	6
1	9	4
2	11	4
done	11	4
0	6	9
1	12	9
2	15	9
3	17	9
done	17	9
0	6	6
1	9	4
2	11	4
done	11	4
0	6	9
1	12	9
2	15	9
3	17	9
done	17	9
0	11	19
1	18	19
2	22	17
3	26	17
4	36	17
5	62	17
6	113	17
7	239	17
8	621	17
9	2137	17
done	5000	17
0	10	13
1	19	13
2	26	11
3	32	11
4	42	11
5	68	11
6	119	11
7	237	11
8	617	11
9	2152	11
done	5000	11
0	10	13
1	15	13
2	19	11
3	23	11
4	33	11
5	59	11
6	110	11
7	232	11
8	614	11
9	2154	11
done	5000	11
0	10	13
1	19	13
2	26	11
3	32	11
4	42	11
5	68	11
6	119	11
7	237	11
8	617	11
9	2152	11
done	5000	11
0	8	9
1	15	7
2	21	5
3	25	5
4	34	5
5	58	5
6	109	5
7	226	5
8	602	5
9	2126	5
done	5000	5
0	9	12
1	18	12
2	25	10
3	31	10
4	41	10
5	67	10
6	118	10
7	240	10
8	615	10
9	2136	10
done	5000	10
0	8	9
1	15	7
2	21	5
3	25	5
4	34	5
5	58	5
6	109	5
7	226	5
8	602	5
9	2126	5
done	5000	5
0	9	12
1	18	12
2	25	10
3	31	10
4	41	10
5	67	10
6	118	10
7	240	10
8	615	10
9	2136	10
done	5000	10
0	6	6
1	9	6
done	9	6
0	9	13
1	15	13
2	24	13
3	32	13
4	61	6
5	119	6
6	233	6
7	480	6
8	1359	6
done	5000	6
0	11	20
1	22	20
2	46	20
3	89	20
4	167	20
5	334	20
6	697	20
7	1649	20
done	5000	20
0	10	14
1	19	14
2	34	14
3	49	14
4	91	14
5	174	14
6	355	14
7	802	14
8	2430	14
done	5000	14
0	8	10
1	19	8
2	37	8
3	58	8
4	112	8
5	206	8
6	390	8
7	814	8
8	2597	8
done	5000	8
0	8	10
1	19	8
2	37	8
3	58	8
4	112	8
5	206	8
6	390	8
7	814	8
8	2597	8
done	5000	8
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	235	14
7	528	14
8	1527	14
done	5001	14
0	10	14
1	16	14
2	25	14
3	31	14
4	58	14
5	114	14
6	235	14
7	528	14
8	1527	14
done	5001	14
0	9	13
1	15	13
2	24	13
3	32	13
4	61	6
5	119	6
6	233	6
7	480	6
8	1359	6
done	5000	6
0	6	9
1	9	9
2	10	9
done	10	9
0	9	12
1	15	12
2	20	10
3	24	10
4	34	10
5	60	10
6	111	10
7	229	10
8	617	10
9	2158	10
done	5000	10
0	12	17
1	31	17
2	60	17
3	96	17
4	187	17
5	404	17
6	1016	17
7	3401	17
done	5000	17
0	10	18
1	21	17
2	54	17
3	135	1
4	276	1
5	894	1
done	5000	1
0	13	31
1	39	26
2	128	22
3	351	22
4	825	22
5	2174	22
done	5001	22
0	9	13
1	21	13
2	57	13
3	102	13
4	172	13
5	266	13
6	475	13
7	1187	13
8	4186	13
done	5000	13
0	6	6
1	9	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	5	5
1	9	5
2	10	5
done	10	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	20	14
2	52	6
3	119	6
4	283	6
5	860	6
6	1938	6
7	2785	6
8	3410	6
9	4978	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	8
1	21	8
2	32	8
3	54	8
4	99	8
5	219	8
6	639	8
7	2507	8
done	5000	8
0	8	14
1	18	11
2	35	11
3	51	11
4	75	11
5	108	11
6	164	11
7	313	11
8	760	11
9	2313	11
done	5001	11
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	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	11	15
1	29	15
2	75	13
3	122	13
4	203	13
5	374	11
6	932	11
7	3318	11
done	5001	11
0	6	6
1	11	6
2	18	6
3	29	6
4	54	6
5	103	6
6	222	6
7	600	6
8	2125	6
done	5000	6
0	6	6
1	11	6
2	18	6
3	29	6
4	54	6
5	103	6
6	222	6
7	600	6
8	2125	6
done	5000	6
0	13	15
1	31	15
2	77	15
3	110	13
4	180	13
5	348	11
6	883	11
7	3249	11
done	5000	11
0	9	11
1	18	11
2	26	11
3	43	11
4	78	11
5	156	11
6	373	11
7	1136	11
8	4461	11
done	5000	11
0	9	11
1	18	11
2	26	11
3	43	11
4	78	11
5	156	11
6	373	11
7	1136	11
8	4461	11
done	5000	11
0	8	9
1	18	9
2	39	9
3	44	9
4	52	9
5	64	9
6	92	9
7	164	9
8	368	9
9	1309	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune113.0ms

Filtered

62 candidates to 81 candidates (-30.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	80	5	85

Merged error: 0.1b

Counts

85 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (exp x) 1.0)
0.0b	(/ (* 1.0 1.0) (+ (exp x) 1.0))
0.0b	(/ (exp (+ x x)) (+ (exp x) 1.0))
7.2b	(- (/ (exp (+ x x)) (+ (exp x) 1.0)) (/ (* 1.0 1.0) (+ (exp x) 1.0)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
30×	`add-sqr-sqrt`
27×	`times-frac`
16×	`add-cube-cbrt`
11×	`add-cbrt-cube`
10×	`add-exp-log`
8×	`associate-/r*` `associate-/r/` `distribute-lft-out` `add-log-exp`
7×	`exp-sum`
6×	`difference-of-squares`
5×	`flip3-+` `flip-+` `associate-/l*`
4×	`pow1` `div-inv`
3×	`cbrt-undiv` `distribute-rgt-out--` `div-exp`
2×	`frac-2neg` `clear-num`
1×	`+-commutative` `sub-neg` `flip3--` `diff-log` `prod-exp` `sum-log` `frac-sub` `flip--` `cbrt-unprod` `distribute-lft-out--` `sub-div`

Counts

4 → 99

Calls

4 calls:

5.0ms	(+ (exp x) 1.0)
8.0ms	(/ (* 1.0 1.0) (+ (exp x) 1.0))
12.0ms	(/ (exp (+ x x)) (+ (exp x) 1.0))
26.0ms	(- (/ (exp (+ x x)) (+ (exp x) 1.0)) (/ (* 1.0 1.0) (+ (exp x) 1.0)))

series36.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(+ (exp x) 1.0)
6.0ms	(/ (* 1.0 1.0) (+ (exp x) 1.0))
8.0ms	(/ (exp (+ x x)) (+ (exp x) 1.0))
20.0ms	(- (/ (exp (+ x x)) (+ (exp x) 1.0)) (/ (* 1.0 1.0) (+ (exp x) 1.0)))

simplify4.5min

Counts

111 → 111

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	20
1	20	19
2	29	19
3	48	19
4	79	19
5	144	19
6	337	19
7	1151	19
done	5000	19
0	11	19
1	19	19
2	31	19
3	45	19
4	62	19
5	95	19
6	176	19
7	395	19
8	1169	19
9	4496	19
done	5000	19
0	11	19
1	22	19
2	36	19
3	55	19
4	87	19
5	152	19
6	370	19
7	1303	19
done	5001	19
0	12	39
1	20	39
2	32	39
3	46	39
4	63	39
5	96	39
6	177	39
7	391	39
8	1161	39
9	4479	39
done	5000	39
0	11	19
1	19	19
2	31	19
3	45	19
4	62	19
5	95	19
6	176	19
7	395	19
8	1169	19
9	4496	19
done	5000	19
0	12	56
1	21	56
2	47	20
3	135	20
4	579	20
5	2840	20
done	5001	20
0	11	19
1	19	19
2	31	19
3	45	19
4	62	19
5	95	19
6	176	19
7	395	19
8	1169	19
9	4496	19
done	5000	19
0	11	19
1	19	19
2	31	19
3	45	19
4	62	19
5	95	19
6	176	19
7	395	19
8	1169	19
9	4496	19
done	5000	19
0	6	8
1	12	8
2	22	8
3	29	8
4	56	8
5	112	8
6	235	8
7	522	8
8	1524	8
done	5000	8
0	10	18
1	26	18
2	71	13
3	145	13
4	304	13
5	539	13
6	1116	13
7	3651	13
done	5001	13
0	5	9
1	12	9
2	25	9
3	43	9
4	68	9
5	86	9
6	97	9
7	108	9
8	133	9
9	204	9
10	399	9
11	972	9
12	3100	9
done	5000	9
0	13	22
1	38	22
2	114	22
3	436	22
4	1892	22
done	5001	22
0	14	56
1	39	47
2	99	47
3	248	44
4	614	37
5	1394	37
6	3464	37
done	5000	37
0	7	9
1	12	9
2	18	9
3	26	9
4	29	9
done	29	9
0	12	37
1	31	37
2	73	37
3	201	32
4	557	28
5	1302	28
6	3269	28
done	5000	28
0	10	18
1	17	18
2	24	18
3	31	18
4	43	18
5	76	18
6	157	18
7	374	18
8	1145	18
9	4478	18
done	5001	18
0	12	20
1	19	20
2	26	20
3	33	20
4	45	20
5	78	20
6	159	20
7	371	20
8	1157	20
9	4481	20
done	5000	20
0	12	20
1	20	20
2	28	20
3	35	20
4	47	20
5	80	20
6	161	20
7	380	20
8	1154	20
9	4528	20
done	5001	20
0	11	18
1	16	18
2	21	18
3	27	18
4	39	18
5	72	18
6	153	18
7	369	18
8	1153	18
9	4495	18
done	5000	18
0	11	18
1	17	18
2	25	18
3	31	18
4	43	18
5	76	18
6	157	18
7	374	18
8	1145	18
9	4477	18
done	5000	18
0	10	18
1	14	18
2	16	18
3	17	18
done	17	18
0	10	18
1	15	18
2	18	18
3	19	18
done	19	18
0	8	16
1	10	16
done	10	16
0	8	16
1	11	16
2	14	16
done	14	16
0	13	21
1	20	21
2	26	19
3	31	19
4	41	19
5	67	19
6	118	19
7	233	19
8	614	19
9	2137	19
done	5001	19
0	13	21
1	21	21
2	28	19
3	33	19
4	43	19
5	69	19
6	120	19
7	242	19
8	617	19
9	2133	19
done	5000	19
0	11	19
1	16	19
2	20	17
3	24	17
4	34	17
5	60	17
6	111	17
7	233	17
8	611	17
9	2137	17
done	5000	17
0	11	19
1	17	19
2	24	17
3	28	17
4	38	17
5	64	17
6	115	17
7	241	17
8	621	17
9	2126	17
done	5001	17
0	10	18
1	18	18
2	30	18
3	44	18
4	61	18
5	94	18
6	175	18
7	385	18
8	1170	18
9	4498	18
done	5000	18
0	6	8
1	12	8
2	22	8
3	29	8
4	56	8
5	112	8
6	235	8
7	522	8
8	1524	8
done	5000	8
0	13	26
1	31	26
2	56	26
3	90	26
4	156	26
5	323	26
6	849	26
7	3033	26
done	5001	26
0	11	28
1	22	26
2	53	26
3	131	26
4	268	26
5	519	24
6	1497	23
done	5001	23
0	7	9
1	12	9
2	18	9
3	26	9
4	29	9
done	29	9
0	7	9
1	14	9
2	18	9
3	21	9
4	25	9
5	30	9
6	38	9
7	43	9
8	49	9
9	62	9
10	77	9
11	81	9
done	81	9
0	8	10
1	15	10
2	24	9
3	44	9
4	67	9
5	118	9
6	262	9
7	713	9
8	2529	9
done	5000	9
0	8	10
1	12	10
2	17	10
3	23	10
4	37	10
5	75	10
6	170	10
7	433	10
8	1419	10
done	5001	10
0	11	29
1	38	28
2	131	13
3	413	11
4	1293	11
5	4588	11
done	5001	11
0	9	21
1	13	21
2	18	21
3	24	21
4	36	21
5	69	21
6	150	21
7	367	21
8	1147	21
9	4482	21
done	5000	21
0	8	10
1	12	10
2	17	10
3	23	10
4	35	10
5	68	10
6	149	10
7	364	10
8	1146	10
9	4486	10
done	5000	10
0	9	29
1	20	29
2	48	11
3	134	11
4	483	11
5	1958	11
done	5000	11
0	8	10
1	12	10
2	17	10
3	23	10
4	35	10
5	68	10
6	149	10
7	364	10
8	1146	10
9	4486	10
done	5000	10
0	8	10
1	12	10
2	17	10
3	23	10
4	35	10
5	68	10
6	149	10
7	364	10
8	1146	10
9	4486	10
done	5000	10
0	4	5
1	8	5
2	14	5
3	18	5
4	30	5
5	65	5
6	144	5
7	361	5
8	1135	5
9	4387	5
done	5000	5
0	5	5
1	9	5
2	11	5
3	12	5
done	12	5
0	7	14
1	10	14
done	10	14
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	4	4
1	6	2
2	8	2
done	8	2
0	5	7
1	6	7
done	6	7
0	4	4
1	6	2
2	8	2
done	8	2
0	5	7
1	6	7
done	6	7
0	11	23
1	21	23
2	33	23
3	43	23
4	52	23
5	77	23
6	128	23
7	246	23
8	632	23
9	2158	23
done	5000	23
0	9	11
1	13	11
2	16	11
3	20	11
4	29	11
5	54	11
6	105	11
7	231	11
8	609	11
9	2152	11
done	5000	11
0	10	17
1	16	17
2	21	17
3	26	17
4	35	17
5	60	17
6	111	17
7	235	17
8	621	17
9	2144	17
done	5001	17
0	9	11
1	13	11
2	16	11
3	20	11
4	29	11
5	54	11
6	105	11
7	231	11
8	609	11
9	2152	11
done	5000	11
0	7	13
1	15	11
2	24	11
3	33	11
4	41	11
5	64	11
6	115	11
7	238	11
8	606	11
9	2110	11
done	5000	11
0	8	10
1	12	10
2	15	10
3	19	10
4	28	10
5	53	10
6	104	10
7	230	10
8	617	10
9	2160	10
done	5000	10
0	7	13
1	15	11
2	24	11
3	33	11
4	41	11
5	64	11
6	115	11
7	238	11
8	606	11
9	2110	11
done	5000	11
0	8	10
1	12	10
2	15	10
3	19	10
4	28	10
5	53	10
6	104	10
7	230	10
8	617	10
9	2160	10
done	5000	10
0	10	17
1	16	17
2	20	15
3	24	15
4	34	15
5	60	15
6	111	15
7	233	15
8	611	15
9	2137	15
done	5000	15
0	9	11
1	13	11
2	17	9
3	21	9
4	31	9
5	57	9
6	108	9
7	232	9
8	619	9
9	2159	9
done	5000	9
0	9	11
1	13	11
2	17	9
3	21	9
4	31	9
5	57	9
6	108	9
7	232	9
8	619	9
9	2159	9
done	5000	9
0	9	11
1	13	11
2	17	9
3	21	9
4	31	9
5	57	9
6	108	9
7	232	9
8	619	9
9	2159	9
done	5000	9
0	6	7
1	12	5
2	18	3
3	22	3
4	31	3
5	55	3
6	106	3
7	227	3
8	603	3
9	2148	3
done	5000	3
0	8	10
1	12	10
2	16	8
3	20	8
4	30	8
5	56	8
6	107	8
7	233	8
8	617	8
9	2140	8
done	5000	8
0	6	7
1	12	5
2	18	3
3	22	3
4	31	3
5	55	3
6	106	3
7	227	3
8	603	3
9	2148	3
done	5000	3
0	8	10
1	12	10
2	16	8
3	20	8
4	30	8
5	56	8
6	107	8
7	233	8
8	617	8
9	2140	8
done	5000	8
0	8	13
1	13	13
done	13	13
0	8	10
1	12	10
2	17	10
3	23	10
4	35	10
5	68	10
6	149	10
7	364	10
8	1146	10
9	4500	10
done	5000	10
0	7	7
1	10	7
done	10	7
0	8	10
1	12	10
2	17	10
3	23	10
4	35	10
5	68	10
6	149	10
7	364	10
8	1146	10
9	4500	10
done	5000	10
0	2	3
1	4	1
done	4	1
0	7	9
1	11	9
2	16	9
3	22	9
4	34	9
5	67	9
6	148	9
7	361	9
8	1145	9
9	4477	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	7	9
1	11	9
2	16	9
3	22	9
4	34	9
5	67	9
6	148	9
7	361	9
8	1145	9
9	4477	9
done	5000	9
0	6	6
1	9	6
done	9	6
0	7	9
1	11	9
2	16	9
3	20	9
4	31	9
5	62	9
6	128	9
7	292	9
8	809	9
9	2883	9
done	5001	9
0	9	16
1	15	16
2	24	16
3	36	16
4	55	16
5	104	16
6	246	16
7	714	16
8	2666	16
done	5001	16
0	8	10
1	12	10
2	17	10
3	23	10
4	35	10
5	68	10
6	149	10
7	364	10
8	1146	10
9	4500	10
done	5000	10
0	5	6
1	11	4
2	18	4
3	28	4
4	45	4
5	80	4
6	171	4
7	424	4
8	1483	4
done	5001	4
0	5	6
1	11	4
2	18	4
3	28	4
4	45	4
5	80	4
6	171	4
7	424	4
8	1483	4
done	5001	4
0	5	7
1	6	7
done	6	7
0	8	10
1	12	10
2	15	10
3	19	10
4	28	10
5	53	10
6	102	10
7	222	10
8	607	10
9	2136	10
done	5001	10
0	8	10
1	12	10
2	16	8
3	20	8
4	30	8
5	56	8
6	107	8
7	230	8
8	613	8
9	2146	8
done	5000	8
0	7	9
1	11	9
2	16	9
3	20	9
4	31	9
5	62	9
6	128	9
7	292	9
8	809	9
9	2883	9
done	5001	9
0	10	13
1	25	13
2	43	13
3	69	13
4	128	13
5	289	13
6	817	13
7	2997	13
done	5000	13
0	9	14
1	16	13
2	33	13
3	68	13
4	140	13
5	316	13
6	837	12
done	5001	12
0	8	11
1	15	10
2	19	10
3	22	10
4	26	10
5	31	10
6	39	10
7	53	10
8	65	10
9	77	10
10	87	10
11	88	10
done	88	10
0	8	10
1	13	10
2	20	10
3	24	10
4	26	10
5	30	10
6	35	10
7	43	10
8	57	10
9	69	10
10	81	10
11	91	10
12	92	10
done	92	10
0	7	9
1	13	9
2	21	9
3	34	9
4	42	9
5	46	9
6	54	9
7	68	9
8	80	9
9	92	9
10	104	9
11	105	9
done	105	9
0	7	9
1	10	9
2	12	9
3	15	9
4	21	9
5	29	9
6	54	9
7	121	9
8	289	9
9	874	9
10	3634	9
done	5000	9
0	10	26
1	38	26
2	142	14
3	467	10
4	1276	10
5	3635	10
done	5001	10
0	10	26
1	39	26
2	140	12
3	472	10
4	1249	10
5	3563	10
done	5001	10
0	8	19
1	11	19
2	13	19
3	14	19
done	14	19
0	7	9
1	10	9
2	12	9
3	13	9
done	13	9
0	8	26
1	18	26
2	52	10
3	175	10
4	519	10
5	1092	10
6	3146	10
done	5000	10
0	7	9
1	10	9
2	12	9
3	13	9
done	13	9
0	7	9
1	10	9
2	12	9
3	13	9
done	13	9
0	3	4
1	6	4
done	6	4
0	5	5
1	9	5
2	11	5
3	12	5
done	12	5
0	7	13
1	10	13
done	10	13
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	3	3
1	5	1
done	5	1
0	5	6
1	6	6
done	6	6
0	6	6
1	9	6
done	9	6
0	6	8
1	9	8
done	9	8
0	8	15
1	15	15
2	24	15
3	30	15
done	30	15
0	7	9
1	10	9
2	12	9
3	13	9
done	13	9
0	4	5
1	8	3
2	14	3
3	19	3
done	19	3
0	4	5
1	8	3
2	14	3
3	19	3
done	19	3
0	5	6
1	6	6
done	6	6
0	9	12
1	24	12
2	37	12
3	60	12
4	105	12
5	232	12
6	657	12
7	2518	12
done	5000	12
0	7	13
1	16	12
2	36	12
3	74	12
4	128	12
5	213	10
6	415	10
7	1227	10
8	4969	10
done	5000	10
0	6	6
1	9	5
2	10	5
done	10	5
0	5	5
1	6	5
done	6	5
0	5	5
1	9	5
2	10	5
done	10	5
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	20	14
2	52	6
3	119	6
4	283	6
5	860	6
6	1938	6
7	2785	6
8	3410	6
9	4978	6
done	5000	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	7	8
1	21	8
2	32	8
3	54	8
4	99	8
5	219	8
6	639	8
7	2507	8
done	5000	8
0	8	14
1	18	11
2	35	11
3	51	11
4	75	11
5	108	11
6	164	11
7	313	11
8	760	11
9	2313	11
done	5001	11
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	6	4
2	7	4
done	7	4
0	4	4
1	5	4
done	5	4
0	13	15
1	31	15
2	77	15
3	110	13
4	180	13
5	348	11
6	883	11
7	3249	11
done	5000	11
0	12	18
1	23	18
2	40	16
3	63	16
4	115	16
5	238	16
6	560	16
7	1643	16
done	5001	16
0	12	18
1	23	18
2	40	16
3	63	16
4	115	16
5	238	16
6	560	16
7	1643	16
done	5001	16
0	9	11
1	20	11
2	44	11
3	51	11
4	67	9
5	85	9
6	107	9
7	169	9
8	378	9
9	1303	9
done	5000	9
0	8	9
1	12	9
2	17	9
3	32	9
4	67	9
5	145	9
6	360	9
7	1125	9
8	4447	9
done	5000	9
0	8	9
1	12	9
2	17	9
3	32	9
4	67	9
5	145	9
6	360	9
7	1125	9
8	4447	9
done	5000	9
0	10	11
1	25	11
2	56	11
3	86	11
4	144	11
5	339	11
6	1359	11
done	5001	11
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	8	9
1	18	9
2	39	9
3	44	9
4	52	9
5	64	9
6	92	9
7	164	9
8	368	9
9	1309	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune155.0ms

Filtered

87 candidates to 111 candidates (-27.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	111	5	116

Merged error: 0.1b

Counts

116 → 5

regimes101.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	13	11
done	13	11

end0.0ms

sample1.3s

Algorithm

intervals

Results

493.0ms	3440×	body	1280	valid
226.0ms	2467×	body	640	valid
138.0ms	11990×	pre	80	true
79.0ms	1269×	body	320	valid
64.0ms	4165×	body	80	valid
25.0ms	649×	body	160	valid

Details

sample42.0ms

simplify3.0ms

prune2.0ms

localize4.0ms

rewrite5.0ms

series2.0ms

simplify19.8s

prune40.0ms

localize8.0ms

rewrite13.0ms

series14.0ms

simplify2.3min

prune84.0ms

localize9.0ms

rewrite28.0ms

series18.0ms

simplify3.0min

prune113.0ms

localize10.0ms

rewrite54.0ms

series36.0ms

simplify4.5min

prune155.0ms

regimes101.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling