Details

sample119.0ms

Algorithm

intervals

Results

42.0ms	60×	body	1280	valid
29.0ms	318×	body	80	valid
12.0ms	33×	body	640	valid
7.0ms	22×	body	320	valid
6.0ms	69×	body	80	overflowed
1.0ms	4×	body	160	valid

simplify2.6s

Counts

1 → 1

Iterations

Useful iterations: 3 (40.0ms)

Iter	Nodes	Cost
0	19	29
1	46	29
2	122	29
3	305	27
4	1022	27
5	4215	27
done	5000	27

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 28.5b

Counts

2 → 1

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x)))
0.0b	(exp (* (+ 1.0 eps) x))
0.0b	(exp (* (- 1.0 eps) x))
1.7b	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

43×	`*-un-lft-identity`
25×	`add-sqr-sqrt`
24×	`times-frac`
14×	`add-log-exp`
13×	`add-cube-cbrt`
7×	`distribute-lft-out--`
6×	`add-cbrt-cube` `distribute-lft-out`
5×	`add-exp-log`
4×	`pow1` `exp-to-pow` `associate-/l*` `difference-of-squares`
3×	`associate-/r*`
2×	`exp-prod` `diff-log` `rem-exp-log` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `flip3--` `frac-2neg` `flip3-+` `div-sub` `div-exp` `clear-num` `sum-log` `frac-sub` `flip--` `flip-+` `div-inv` `associate--r-`

Counts

4 → 78

Calls

4 calls:

14.0ms	(/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x)))
3.0ms	(exp (* (+ 1.0 eps) x))
3.0ms	(exp (* (- 1.0 eps) x))
36.0ms	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))

series95.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x)))
5.0ms	(exp (* (+ 1.0 eps) x))
6.0ms	(exp (* (- 1.0 eps) x))
71.0ms	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (- (/ 1.0 eps) 1.0) (exp (* (+ 1.0 eps) x))))

simplify3.1min

Counts

90 → 90

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	17	27
1	34	26
2	75	26
3	131	26
4	304	26
5	699	26
6	1977	26
done	5000	26
0	16	26
1	33	26
2	72	26
3	123	26
4	284	26
5	643	26
6	1866	26
done	5001	26
0	16	26
1	36	26
2	80	26
3	139	26
4	317	26
5	721	26
6	2040	26
done	5000	26
0	17	53
1	34	53
2	73	53
3	124	53
4	285	53
5	643	53
6	1855	53
done	5000	53
0	16	26
1	33	26
2	72	26
3	123	26
4	284	26
5	643	26
6	1866	26
done	5001	26
0	17	77
1	35	77
2	88	27
3	221	27
4	1034	27
done	5001	27
0	16	26
1	33	26
2	72	26
3	123	26
4	284	26
5	643	26
6	1866	26
done	5001	26
0	16	26
1	33	26
2	72	26
3	123	26
4	284	26
5	643	26
6	1866	26
done	5001	26
0	15	25
1	31	25
2	82	25
3	175	25
4	511	25
5	1527	25
done	5001	25
0	10	13
1	22	12
2	54	10
3	116	10
4	335	10
5	1002	8
6	4662	6
done	5000	6
0	18	29
1	54	29
2	147	29
3	490	29
4	2703	29
done	5001	29
0	19	77
1	53	64
2	137	64
3	360	64
4	1616	59
done	5001	59
0	10	13
1	21	13
2	47	13
3	79	13
4	189	12
5	475	12
6	1414	12
7	4527	12
done	5000	12
0	17	51
1	45	51
2	118	51
3	309	51
4	1339	41
done	5000	41
0	15	25
1	31	25
2	69	25
3	116	25
4	257	25
5	564	25
6	1663	25
done	5000	25
0	17	27
1	33	27
2	67	27
3	106	27
4	233	27
5	505	27
6	1449	27
7	4910	27
done	5000	27
0	17	27
1	34	27
2	69	27
3	108	27
4	235	27
5	505	27
6	1445	27
7	4938	27
done	5000	27
0	18	28
1	31	28
2	61	28
3	89	28
4	156	28
5	301	28
6	791	28
7	2558	28
done	5000	28
0	18	28
1	32	28
2	65	28
3	93	28
4	160	28
5	305	28
6	800	28
7	2563	28
done	5000	28
0	18	28
1	34	28
2	68	28
3	106	28
4	226	28
5	475	28
6	1339	28
7	4462	28
done	5000	28
0	18	28
1	35	28
2	70	28
3	108	28
4	228	28
5	475	28
6	1334	28
7	4424	28
done	5001	28
0	19	29
1	32	29
2	62	29
3	89	29
4	149	29
5	273	29
6	692	29
7	2144	29
done	5001	29
0	19	29
1	33	29
2	66	29
3	93	29
4	153	29
5	277	29
6	700	29
7	2151	29
done	5001	29
0	15	25
1	32	25
2	71	25
3	122	25
4	283	25
5	642	25
6	1884	25
done	5001	25
0	15	25
1	32	25
2	71	25
3	122	25
4	283	25
5	642	25
6	1884	25
done	5001	25
0	15	25
1	32	25
2	71	25
3	122	25
4	283	25
5	642	25
6	1884	25
done	5001	25
0	15	25
1	32	25
2	71	25
3	122	25
4	283	25
5	642	25
6	1884	25
done	5001	25
0	15	25
1	32	25
2	71	25
3	122	25
4	283	25
5	642	25
6	1884	25
done	5001	25
0	14	23
1	28	23
2	65	23
3	108	23
4	242	23
5	540	23
6	1549	23
done	5000	23
0	10	13
1	21	13
2	47	13
3	79	13
4	189	12
5	475	12
6	1414	12
7	4527	12
done	5000	12
0	4	4
1	9	4
2	12	4
3	15	4
4	21	4
5	25	4
6	41	4
7	45	4
8	50	4
9	57	4
10	75	4
11	96	4
12	109	4
13	112	4
done	112	4
0	7	7
1	12	5
2	32	5
3	61	5
4	131	5
5	279	5
6	853	5
7	3567	5
done	5000	5
0	7	7
1	12	7
2	30	7
3	51	7
4	103	7
5	211	7
6	554	7
7	1845	7
done	5000	7
0	8	15
1	13	15
2	31	15
3	50	15
4	93	15
5	176	15
6	429	15
7	1301	15
done	5000	15
0	7	7
1	12	7
2	30	7
3	49	7
4	92	7
5	175	7
6	421	7
7	1304	7
done	5001	7
0	8	20
1	16	19
2	47	8
3	130	8
4	405	8
5	1443	8
done	5001	8
0	7	7
1	12	7
2	30	7
3	50	7
4	94	7
5	177	7
6	424	7
7	1302	7
done	5000	7
0	7	7
1	12	7
2	30	7
3	50	7
4	94	7
5	177	7
6	424	7
7	1302	7
done	5000	7
0	4	4
1	8	4
2	9	4
done	9	4
0	7	7
1	11	5
2	31	5
3	52	5
4	101	5
5	223	5
6	684	5
7	2655	5
done	5000	5
0	7	7
1	11	7
2	29	7
3	43	7
4	81	7
5	173	7
6	472	7
7	1514	7
done	5001	7
0	8	15
1	12	15
2	30	15
3	42	15
4	69	15
5	135	15
6	332	15
7	960	15
8	3424	15
done	5000	15
0	7	7
1	11	7
2	29	7
3	41	7
4	68	7
5	136	7
6	332	7
7	947	7
8	3410	7
done	5001	7
0	8	20
1	15	19
2	46	8
3	130	8
4	413	8
5	1405	8
done	5001	8
0	7	7
1	11	7
2	29	7
3	42	7
4	70	7
5	136	7
6	336	7
7	958	7
8	3436	7
done	5000	7
0	7	7
1	11	7
2	29	7
3	42	7
4	70	7
5	136	7
6	336	7
7	958	7
8	3436	7
done	5000	7
0	9	12
1	15	12
2	29	12
3	51	12
4	82	12
5	95	12
6	108	12
7	123	12
8	157	12
9	187	12
10	188	12
done	188	12
0	10	13
1	19	13
2	41	12
3	87	12
4	206	12
5	449	12
6	1364	12
done	5001	12
0	10	13
1	16	13
2	34	13
3	55	13
4	106	13
5	210	13
6	539	13
7	1726	13
done	5001	13
0	13	38
1	42	37
2	135	16
3	392	14
4	1506	14
done	5000	14
0	11	27
1	17	27
2	35	27
3	56	27
4	107	27
5	211	27
6	535	27
7	1699	27
done	5001	27
0	10	13
1	16	13
2	34	13
3	55	13
4	106	13
5	210	13
6	537	13
7	1719	13
done	5000	13
0	11	38
1	24	38
2	74	14
3	188	14
4	906	14
done	5001	14
0	10	13
1	16	13
2	34	13
3	55	13
4	106	13
5	210	13
6	537	13
7	1719	13
done	5000	13
0	10	13
1	16	13
2	34	13
3	55	13
4	106	13
5	210	13
6	537	13
7	1719	13
done	5000	13
0	5	6
1	9	6
2	12	6
3	13	6
done	13	6
0	7	7
1	12	7
2	30	7
3	52	7
4	109	7
5	227	7
6	613	7
7	2173	7
done	5001	7
0	13	29
1	25	29
2	52	29
3	77	29
4	120	29
5	205	29
6	456	29
7	1333	29
done	5001	29
0	11	14
1	17	14
2	35	14
3	54	14
4	97	14
5	182	14
6	433	14
7	1317	14
done	5000	14
0	12	21
1	20	21
2	40	21
3	61	21
4	105	21
5	190	21
6	440	21
7	1332	21
done	5000	21
0	11	14
1	17	14
2	35	14
3	55	14
4	99	14
5	184	14
6	431	14
7	1310	14
done	5000	14
0	8	15
1	13	13
2	19	13
3	24	13
done	24	13
0	10	13
1	16	13
2	34	13
3	55	13
4	106	13
5	210	13
6	537	13
7	1716	13
done	5000	13
0	12	22
1	20	22
2	38	22
3	57	22
4	100	22
5	185	22
6	434	22
7	1301	22
done	5000	22
0	11	14
1	17	14
2	35	14
3	54	14
4	97	14
5	182	14
6	433	14
7	1317	14
done	5000	14
0	11	14
1	17	14
2	35	14
3	55	14
4	99	14
5	184	14
6	431	14
7	1310	14
done	5000	14
0	11	14
1	17	14
2	35	14
3	55	14
4	99	14
5	184	14
6	431	14
7	1310	14
done	5000	14
0	7	8
1	10	6
2	12	6
done	12	6
0	10	13
1	16	13
2	34	13
3	55	13
4	106	13
5	210	13
6	537	13
7	1716	13
done	5000	13
0	10	17
1	19	17
2	37	17
3	55	17
4	96	17
5	179	17
6	429	17
7	1310	17
done	5000	17
0	10	13
1	16	13
2	34	13
3	53	13
4	96	13
5	181	13
6	432	13
7	1313	13
done	5000	13
0	9	9
1	16	9
2	34	9
3	53	9
4	95	9
5	180	9
6	433	9
7	1315	9
done	5001	9
0	10	13
1	16	13
2	34	13
3	54	13
4	98	13
5	183	13
6	434	13
7	1322	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	9	12
1	15	12
2	33	12
3	54	12
4	105	12
5	209	12
6	531	12
7	1709	12
done	5000	12
0	10	17
1	19	17
2	37	17
3	55	17
4	96	17
5	179	17
6	429	17
7	1310	17
done	5000	17
0	10	13
1	16	13
2	34	13
3	53	13
4	96	13
5	181	13
6	432	13
7	1313	13
done	5000	13
0	9	9
1	16	9
2	34	9
3	53	9
4	95	9
5	180	9
6	433	9
7	1315	9
done	5001	9
0	10	13
1	16	13
2	34	13
3	54	13
4	98	13
5	183	13
6	434	13
7	1322	13
done	5000	13
0	2	3
1	4	1
done	4	1
0	9	12
1	15	12
2	33	12
3	54	12
4	105	12
5	209	12
6	531	12
7	1709	12
done	5000	12
0	8	8
1	17	7
2	41	7
3	82	7
4	162	6
5	309	6
6	731	6
7	2468	6
done	5001	6
0	9	12
1	15	12
2	33	12
3	54	12
4	107	12
5	223	12
6	618	12
7	2117	12
done	5001	12
0	11	21
1	19	21
2	37	21
3	56	21
4	99	21
5	182	21
6	433	21
7	1319	21
done	5000	21
0	10	13
1	16	13
2	34	13
3	54	13
4	98	13
5	183	13
6	434	13
7	1322	13
done	5000	13
0	6	7
1	9	5
2	11	5
done	11	5
0	10	13
1	16	13
2	34	13
3	55	13
4	108	13
5	224	13
6	620	13
7	2121	13
done	5001	13
0	10	13
1	16	13
2	34	13
3	55	13
4	108	13
5	224	13
6	620	13
7	2121	13
done	5001	13
0	9	12
1	15	12
2	33	12
3	54	12
4	107	12
5	223	12
6	618	12
7	2117	12
done	5001	12
0	9	12
1	15	12
2	33	12
3	54	12
4	107	12
5	223	12
6	618	12
7	2117	12
done	5001	12
0	13	24
1	35	22
2	96	22
3	231	20
4	751	20
5	2860	20
done	5000	20
0	9	12
1	17	12
2	42	12
3	80	12
4	201	12
5	554	12
6	1863	12
done	5001	12
0	12	13
1	30	13
2	83	13
3	131	11
4	216	11
5	439	11
6	1505	11
done	5000	11
0	23	47
1	62	42
2	164	38
3	399	27
4	1094	26
5	4409	25
done	5001	25
0	23	47
1	62	42
2	164	38
3	399	27
4	1094	26
5	4409	25
done	5001	25
0	8	9
1	17	9
2	30	9
3	40	7
4	51	7
5	71	7
6	98	7
7	128	7
8	144	7
9	158	7
10	193	7
11	216	7
done	216	7
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	8	9
1	16	9
2	24	7
3	28	7
done	28	7
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	10	13
1	23	13
2	46	11
3	79	11
4	125	9
5	226	9
6	455	9
7	959	9
8	1228	9
9	1408	9
10	1579	9
11	1595	9
done	1595	9
0	13	23
1	33	20
2	74	19
3	151	13
4	392	12
5	1534	12
done	5000	12
0	13	23
1	33	20
2	74	19
3	151	13
4	392	12
5	1534	12
done	5000	12

prune224.0ms

Filtered

64 candidates to 90 candidates (-40.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	86	4	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	4	91

Merged error: 0.0b

Counts

91 → 4

localize9.0ms

Local error

Found 1 expressions with local error:

0.1b	(* (pow x 2) (- (* 0.6666666666666667 x) 1.0))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt`
8×	`associate-l`
6×	`add-exp-log`
4×	`add-cube-cbrt` `unpow-prod-down` `*-un-lft-identity` `unswap-sqr`
3×	`associate-r` `prod-exp` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `unpow2` `sqr-pow`
1×	`pow1` `pow-to-exp` `flip3--` `pow-exp` `*-commutative` `flip--` `cbrt-unprod` `add-log-exp`

Counts

1 → 33

Calls

1 calls:

10.0ms

(* (pow x 2) (- (* 0.6666666666666667 x) 1.0))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(* (pow x 2) (- (* 0.6666666666666667 x) 1.0))

simplify2.2min

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	15	11
2	16	11
done	16	11
0	10	11
1	15	11
2	16	11
done	16	11
0	10	11
1	21	11
2	32	11
3	41	11
4	47	11
5	57	11
6	79	11
7	142	11
8	360	11
9	1279	11
done	5000	11
0	9	10
1	21	10
2	48	10
3	88	10
4	116	10
5	140	10
6	171	10
7	250	10
8	501	10
9	1579	10
done	5000	10
0	9	10
1	20	10
2	52	10
3	108	10
4	201	10
5	394	10
6	1004	10
7	3679	10
done	5000	10
0	12	29
1	30	25
2	113	13
3	397	13
4	1831	11
done	5000	11
0	10	21
1	19	21
2	42	21
3	72	21
4	94	21
5	116	21
6	149	21
7	229	21
8	485	21
9	1550	21
done	5000	21
0	9	10
1	18	10
2	41	10
3	73	10
4	95	10
5	117	10
6	150	10
7	234	10
8	484	10
9	1536	10
done	5000	10
0	10	29
1	29	29
2	128	11
3	490	11
4	1900	11
done	5000	11
0	9	10
1	18	10
2	41	10
3	73	10
4	95	10
5	117	10
6	150	10
7	234	10
8	484	10
9	1536	10
done	5000	10
0	9	10
1	18	10
2	41	10
3	73	10
4	95	10
5	117	10
6	150	10
7	234	10
8	484	10
9	1536	10
done	5000	10
0	10	11
1	19	11
2	36	8
3	53	8
4	93	8
5	217	8
6	677	8
7	2556	8
done	5000	8
0	10	11
1	19	11
2	36	8
3	53	8
4	93	8
5	217	8
6	677	8
7	2556	8
done	5000	8
0	7	8
1	11	8
2	12	8
done	12	8
0	7	8
1	11	8
2	12	8
done	12	8
0	10	11
1	19	11
2	30	9
3	35	9
4	41	9
5	51	9
6	73	9
7	135	9
8	350	9
9	1279	9
done	5001	9
0	10	11
1	19	11
2	30	9
3	35	9
4	41	9
5	51	9
6	73	9
7	135	9
8	350	9
9	1279	9
done	5001	9
0	10	12
1	19	10
2	33	8
3	49	8
4	88	8
5	209	8
6	641	8
7	2518	8
done	5000	8
0	10	12
1	19	10
2	33	8
3	49	8
4	88	8
5	209	8
6	641	8
7	2518	8
done	5000	8
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	1488	5
done	5000	5
0	6	6
1	14	6
2	37	6
3	52	6
4	64	6
5	74	6
6	98	6
7	164	6
8	373	6
9	1302	6
done	5000	6
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	1488	5
done	5000	5
0	6	6
1	14	6
2	37	6
3	52	6
4	64	6
5	74	6
6	98	6
7	164	6
8	373	6
9	1302	6
done	5000	6
0	6	7
1	15	7
2	41	5
3	56	5
4	72	5
5	100	5
6	167	5
7	367	5
8	1112	5
9	4322	5
done	5000	5
0	6	6
1	14	6
2	37	6
3	52	6
4	64	6
5	74	6
6	98	6
7	164	6
8	373	6
9	1302	6
done	5001	6
0	6	7
1	15	7
2	41	5
3	56	5
4	72	5
5	100	5
6	167	5
7	367	5
8	1112	5
9	4322	5
done	5000	5
0	6	6
1	14	6
2	37	6
3	52	6
4	64	6
5	74	6
6	98	6
7	164	6
8	373	6
9	1302	6
done	5001	6
0	10	17
1	21	17
2	50	17
3	60	17
4	66	17
5	76	17
6	100	17
7	162	17
8	373	17
9	1304	17
done	5000	17
0	9	10
1	18	10
2	35	10
3	42	10
4	48	10
5	58	10
6	80	10
7	144	10
8	358	10
9	1280	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	18	10
2	41	10
3	85	10
4	220	10
5	747	10
6	2915	10
done	5000	10
0	9	10
1	18	10
2	41	7
3	72	7
4	153	7
5	442	7
6	1787	7
done	5001	7
0	8	9
1	17	9
2	40	9
3	70	9
4	90	9
5	114	9
6	147	9
7	224	9
8	485	9
9	1543	9
done	5001	9
0	6	7
1	10	7
2	17	7
3	25	7
4	29	7
done	29	7
0	9	10
1	18	10
2	33	10
3	51	10
4	61	10
5	71	10
6	95	10
7	156	10
8	369	10
9	1304	10
done	5000	10
0	9	10
1	18	10
2	35	8
3	53	8
4	63	8
5	73	8
6	97	8
7	156	8
8	376	8
9	1291	8
done	5000	8
0	8	9
1	17	9
2	40	9
3	70	9
4	90	9
5	114	9
6	147	9
7	224	9
8	485	9
9	1543	9
done	5001	9
0	9	11
1	18	9
2	38	7
3	70	7
4	151	7
5	442	7
6	1750	7
done	5000	7
0	11	13
1	35	13
2	107	13
3	296	13
4	810	13
5	2751	13
done	5000	13
0	10	15
1	28	15
2	76	15
3	167	15
4	401	15
5	702	15
6	1119	15
7	2136	15
done	5000	15
0	10	11
1	25	11
2	72	11
3	115	9
4	188	9
5	341	9
6	887	9
7	3227	9
done	5001	9
0	10	11
1	25	11
2	72	11
3	115	9
4	188	9
5	341	9
6	887	9
7	3227	9
done	5001	9
0	10	11
1	25	11
2	72	11
3	115	9
4	188	9
5	341	9
6	887	9
7	3227	9
done	5001	9

prune71.0ms

Filtered

26 candidates to 36 candidates (-38.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	36	4	40

Merged error: 0.0b

Counts

40 → 4

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (* (+ 1.0 eps) x))
0.0b	(exp (* (- 1.0 eps) x))
0.0b	(/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x)))
1.7b	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x))))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

88×	`times-frac`
67×	`add-sqr-sqrt`
57×	`*-un-lft-identity`
46×	`add-cube-cbrt`
14×	`add-log-exp`
13×	`associate-/l*`
9×	`add-cbrt-cube`
7×	`add-exp-log`
6×	`difference-of-squares`
5×	`div-inv`
4×	`pow1` `exp-to-pow`
3×	`cbrt-undiv` `div-exp` `associate-/r*` `distribute-lft-out--`
2×	`exp-prod` `diff-log` `rem-exp-log`
1×	`sub-neg` `flip3--` `frac-2neg` `clear-num` `sum-log` `frac-sub` `flip--` `associate-/l/` `distribute-lft-out`

Counts

4 → 114

Calls

4 calls:

3.0ms	(exp (* (+ 1.0 eps) x))
3.0ms	(exp (* (- 1.0 eps) x))
12.0ms	(/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x)))
46.0ms	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(exp (* (+ 1.0 eps) x))
5.0ms	(exp (* (- 1.0 eps) x))
12.0ms	(/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x)))
41.0ms	(- (/ (+ (/ 1.0 eps) 1.0) (exp (* (- 1.0 eps) x))) (/ (/ 1.0 eps) (exp (* (+ 1.0 eps) x))))

simplify6.4min

Counts

126 → 126

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	25
1	30	24
2	64	24
3	108	24
4	238	24
5	545	24
6	1563	24
done	5001	24
0	15	24
1	29	24
2	66	24
3	109	24
4	241	24
5	540	24
6	1549	24
done	5000	24
0	15	24
1	32	24
2	71	24
3	116	24
4	254	24
5	557	24
6	1571	24
done	5000	24
0	16	49
1	30	49
2	67	49
3	110	49
4	244	49
5	546	49
6	1561	49
done	5001	49
0	15	24
1	29	24
2	66	24
3	109	24
4	241	24
5	540	24
6	1549	24
done	5000	24
0	16	71
1	31	71
2	82	25
3	191	25
4	810	25
done	5001	25
0	15	24
1	29	24
2	66	24
3	109	24
4	241	24
5	540	24
6	1549	24
done	5000	24
0	15	24
1	29	24
2	66	24
3	109	24
4	241	24
5	540	24
6	1549	24
done	5000	24
0	14	23
1	30	23
2	79	23
3	159	23
4	430	23
5	1267	23
6	4483	23
done	5000	23
0	10	13
1	22	12
2	54	10
3	116	10
4	335	10
5	1002	8
6	4662	6
done	5000	6
0	17	27
1	50	27
2	154	27
3	549	27
4	3418	27
done	5000	27
0	18	71
1	49	60
2	134	60
3	356	58
4	1594	53
done	5001	53
0	9	11
1	17	11
2	41	11
3	67	11
4	160	11
5	373	11
6	1078	11
7	3433	11
done	5000	11
0	16	47
1	41	47
2	112	47
3	292	47
4	1262	37
done	5000	37
0	14	23
1	27	23
2	59	23
3	94	23
4	202	23
5	427	23
6	1233	23
7	4154	23
done	5000	23
0	16	25
1	29	25
2	61	25
3	96	25
4	204	25
5	430	25
6	1242	25
7	4189	25
done	5000	25
0	16	25
1	30	25
2	63	25
3	98	25
4	208	25
5	437	25
6	1244	25
7	4185	25
done	5000	25
0	17	26
1	28	26
2	57	26
3	85	26
4	152	26
5	297	26
6	787	26
7	2542	26
done	5000	26
0	17	26
1	29	26
2	61	26
3	89	26
4	156	26
5	301	26
6	791	26
7	2539	26
done	5000	26
0	19	27
1	32	27
2	64	27
3	92	27
4	159	27
5	304	27
6	799	27
7	2558	27
done	5001	27
0	19	27
1	33	27
2	70	27
3	104	27
4	171	27
5	314	27
6	809	27
7	2586	27
done	5001	27
0	17	26
1	30	26
2	62	26
3	96	26
4	199	26
5	409	26
6	1137	26
7	3756	26
done	5000	26
0	17	26
1	31	26
2	64	26
3	98	26
4	201	26
5	410	26
6	1147	26
7	3751	26
done	5000	26
0	18	27
1	29	27
2	58	27
3	85	27
4	145	27
5	269	27
6	677	27
7	2134	27
done	5001	27
0	18	27
1	30	27
2	62	27
3	89	27
4	149	27
5	273	27
6	690	27
7	2143	27
done	5000	27
0	20	28
1	33	28
2	65	28
3	92	28
4	152	28
5	276	28
6	696	28
7	2165	28
done	5000	28
0	20	28
1	34	28
2	71	28
3	104	28
4	164	28
5	288	28
6	703	28
7	2156	28
done	5001	28
0	14	23
1	28	23
2	65	23
3	108	23
4	242	23
5	540	23
6	1549	23
done	5000	23
0	14	23
1	28	23
2	65	23
3	108	23
4	242	23
5	540	23
6	1549	23
done	5000	23
0	14	23
1	28	23
2	65	23
3	108	23
4	242	23
5	540	23
6	1549	23
done	5000	23
0	9	11
1	17	11
2	41	11
3	67	11
4	160	11
5	373	11
6	1078	11
7	3433	11
done	5000	11
0	9	11
1	17	11
2	42	11
3	90	11
4	211	11
5	362	11
6	495	11
7	667	11
8	684	11
done	684	11
0	8	10
1	15	10
2	36	10
3	75	10
4	177	10
5	303	10
6	387	10
7	524	10
8	617	10
9	627	10
done	627	10
0	9	11
1	18	11
2	48	10
3	106	10
4	288	10
5	747	10
6	2293	10
done	5000	10
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	271	11
6	778	11
7	2493	11
done	5000	11
0	14	32
1	34	31
2	138	16
3	588	14
4	3474	12
done	5000	12
0	12	32
1	33	31
2	119	14
3	452	12
4	2529	12
done	5000	12
0	10	23
1	16	23
2	37	23
3	57	23
4	126	23
5	276	23
6	782	23
7	2495	23
done	5001	23
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	271	11
6	778	11
7	2493	11
done	5000	11
0	10	32
1	23	32
2	75	12
3	259	12
4	1826	12
done	5000	12
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	271	11
6	778	11
7	2493	11
done	5000	11
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	271	11
6	778	11
7	2493	11
done	5000	11
0	4	4
1	6	4
done	6	4
0	7	7
1	11	7
2	29	7
3	44	7
4	87	7
5	181	7
6	500	7
7	1646	7
done	5001	7
0	12	25
1	22	25
2	49	25
3	67	25
4	94	25
5	162	25
6	364	25
7	984	25
8	3410	25
done	5000	25
0	10	12
1	14	12
2	32	12
3	44	12
4	71	12
5	137	12
6	337	12
7	956	12
8	3422	12
done	5000	12
0	11	17
1	17	17
2	37	17
3	51	17
4	79	17
5	145	17
6	349	17
7	975	17
8	3432	17
done	5000	17
0	10	12
1	14	12
2	32	12
3	45	12
4	73	12
5	139	12
6	339	12
7	962	12
8	3434	12
done	5001	12
0	7	11
1	11	9
2	17	9
3	22	9
done	22	9
0	9	11
1	13	11
2	31	11
3	45	11
4	82	11
5	165	11
6	430	11
7	1243	11
8	4559	11
done	5001	11
0	11	20
1	17	20
2	35	20
3	47	20
4	74	20
5	142	20
6	344	20
7	976	20
8	3430	20
done	5000	20
0	10	12
1	14	12
2	32	12
3	44	12
4	71	12
5	137	12
6	337	12
7	956	12
8	3422	12
done	5000	12
0	10	12
1	14	12
2	32	12
3	45	12
4	73	12
5	139	12
6	339	12
7	962	12
8	3434	12
done	5001	12
0	10	12
1	14	12
2	32	12
3	45	12
4	73	12
5	139	12
6	339	12
7	962	12
8	3434	12
done	5001	12
0	6	6
1	8	4
2	10	4
done	10	4
0	9	11
1	13	11
2	31	11
3	45	11
4	82	11
5	165	11
6	430	11
7	1243	11
8	4559	11
done	5001	11
0	14	27
1	28	27
2	81	27
3	181	27
4	333	27
5	437	27
6	634	27
7	1277	27
8	3707	27
done	5000	27
0	11	13
1	17	13
2	38	13
3	50	13
4	77	13
5	145	13
6	349	13
7	967	13
8	3431	13
done	5000	13
0	13	19
1	25	19
2	66	19
3	116	19
4	185	19
5	256	19
6	453	19
7	1078	19
8	3563	19
done	5000	19
0	11	13
1	17	13
2	38	13
3	51	13
4	79	13
5	145	13
6	349	13
7	972	13
8	3425	13
done	5000	13
0	9	13
1	19	11
2	46	11
3	95	11
4	125	11
done	125	11
0	10	12
1	16	12
2	37	12
3	57	12
4	126	12
5	276	12
6	783	12
7	2504	12
done	5001	12
0	13	24
1	23	24
2	57	24
3	105	24
4	171	24
5	249	24
6	451	24
7	1068	24
8	3530	24
done	5000	24
0	11	13
1	17	13
2	38	13
3	50	13
4	77	13
5	145	13
6	349	13
7	967	13
8	3431	13
done	5000	13
0	12	16
1	20	16
2	49	16
3	75	16
4	113	16
5	179	16
6	383	16
7	1001	16
8	3464	16
done	5000	16
0	11	13
1	17	13
2	38	13
3	51	13
4	79	13
5	145	13
6	349	13
7	972	13
8	3425	13
done	5000	13
0	8	10
1	14	8
2	29	8
3	46	8
4	56	8
done	56	8
0	10	12
1	16	12
2	37	12
3	57	12
4	126	12
5	276	12
6	783	12
7	2504	12
done	5001	12
0	13	23
1	25	21
2	72	21
3	141	21
4	185	21
5	252	21
6	456	21
7	1068	21
8	3537	21
done	5000	21
0	10	12
1	16	12
2	37	12
3	49	12
4	76	12
5	144	12
6	348	12
7	972	12
8	3409	12
done	5001	12
0	12	15
1	22	13
2	60	13
3	95	13
4	124	13
5	191	13
6	389	13
7	1017	13
8	3478	13
done	5000	13
0	10	12
1	16	12
2	37	12
3	50	12
4	78	12
5	146	12
6	345	12
7	969	12
8	3415	12
done	5000	12
0	6	9
1	12	5
2	16	5
3	21	5
done	21	5
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	273	11
6	781	11
7	2496	11
done	5001	11
0	13	24
1	23	24
2	53	24
3	92	24
4	123	24
5	191	24
6	393	24
7	1022	24
8	3509	24
done	5001	24
0	11	13
1	17	13
2	38	13
3	50	13
4	77	13
5	145	13
6	349	13
7	967	13
8	3431	13
done	5000	13
0	12	16
1	20	16
2	44	16
3	65	16
4	93	16
5	161	16
6	363	16
7	998	16
8	3466	16
done	5000	16
0	11	13
1	17	13
2	38	13
3	51	13
4	79	13
5	145	13
6	349	13
7	972	13
8	3425	13
done	5000	13
0	8	10
1	14	8
2	24	8
3	40	8
done	40	8
0	10	12
1	16	12
2	37	12
3	57	12
4	126	12
5	276	12
6	783	12
7	2504	12
done	5001	12
0	12	21
1	20	21
2	44	21
3	62	21
4	89	21
5	155	21
6	355	21
7	971	21
8	3430	21
done	5000	21
0	11	13
1	17	13
2	38	13
3	50	13
4	77	13
5	145	13
6	349	13
7	967	13
8	3431	13
done	5000	13
0	11	13
1	17	13
2	38	13
3	51	13
4	79	13
5	145	13
6	349	13
7	972	13
8	3425	13
done	5000	13
0	11	13
1	17	13
2	38	13
3	51	13
4	79	13
5	145	13
6	349	13
7	972	13
8	3425	13
done	5000	13
0	7	7
1	11	5
2	18	5
3	20	5
done	20	5
0	10	12
1	16	12
2	37	12
3	57	12
4	126	12
5	276	12
6	783	12
7	2504	12
done	5001	12
0	12	20
1	22	18
2	49	18
3	69	18
4	96	18
5	161	18
6	363	18
7	1004	18
8	3433	18
done	5000	18
0	10	12
1	16	12
2	37	12
3	49	12
4	76	12
5	144	12
6	348	12
7	972	12
8	3409	12
done	5001	12
0	11	12
1	19	10
2	43	10
3	56	10
4	84	10
5	151	10
6	349	10
7	975	10
8	3431	10
done	5000	10
0	10	12
1	16	12
2	37	12
3	50	12
4	78	12
5	146	12
6	345	12
7	969	12
8	3415	12
done	5000	12
0	5	6
1	9	2
done	9	2
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	273	11
6	781	11
7	2496	11
done	5001	11
0	13	23
1	25	23
2	55	23
3	94	23
4	127	23
5	194	23
6	390	23
7	1018	23
8	3467	23
done	5000	23
0	10	12
1	16	12
2	37	12
3	49	12
4	76	12
5	144	12
6	348	12
7	972	12
8	3402	12
done	5001	12
0	12	15
1	22	15
2	46	15
3	67	15
4	95	15
5	162	15
6	362	15
7	989	15
8	3445	15
done	5001	15
0	10	12
1	16	12
2	37	12
3	50	12
4	78	12
5	146	12
6	345	12
7	969	12
8	3405	12
done	5000	12
0	6	9
1	12	7
2	22	7
3	32	7
done	32	7
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	273	11
6	781	11
7	2506	11
done	5001	11
0	12	20
1	22	20
2	46	20
3	64	20
4	91	20
5	156	20
6	356	20
7	975	20
8	3412	20
done	5000	20
0	10	12
1	16	12
2	37	12
3	49	12
4	76	12
5	144	12
6	348	12
7	972	12
8	3402	12
done	5001	12
0	11	12
1	19	12
2	40	12
3	53	12
4	81	12
5	146	12
6	343	12
7	974	12
8	3417	12
done	5000	12
0	10	12
1	16	12
2	37	12
3	50	12
4	78	12
5	146	12
6	345	12
7	969	12
8	3405	12
done	5000	12
0	5	6
1	9	4
2	16	4
done	16	4
0	9	11
1	15	11
2	36	11
3	56	11
4	125	11
5	273	11
6	781	11
7	2506	11
done	5001	11
0	11	19
1	21	17
2	43	17
3	65	17
4	93	17
5	160	17
6	360	17
7	994	17
8	3430	17
done	5000	17
0	9	11
1	15	11
2	36	11
3	48	11
4	75	11
5	143	11
6	343	11
7	965	11
8	3404	11
done	5000	11
0	10	11
1	18	9
2	38	9
3	55	9
4	83	9
5	148	9
6	344	9
7	963	9
8	3383	9
done	5001	9
0	9	11
1	15	11
2	36	11
3	49	11
4	77	11
5	145	11
6	347	11
7	974	11
8	3444	11
done	5000	11
0	3	5
1	7	1
done	7	1
0	8	10
1	14	10
2	35	10
3	55	10
4	124	10
5	270	10
6	777	10
7	2489	10
done	5001	10
0	10	17
1	18	17
2	36	17
3	48	17
4	75	17
5	142	17
6	340	17
7	960	17
8	3404	17
done	5000	17
0	9	11
1	15	11
2	36	11
3	48	11
4	75	11
5	143	11
6	343	11
7	965	11
8	3404	11
done	5000	11
0	9	9
1	15	9
2	33	9
3	46	9
4	74	9
5	139	9
6	341	9
7	980	9
8	3432	9
done	5001	9
0	9	11
1	15	11
2	36	11
3	49	11
4	77	11
5	145	11
6	347	11
7	974	11
8	3444	11
done	5000	11
0	2	3
1	4	1
done	4	1
0	8	10
1	14	10
2	35	10
3	55	10
4	124	10
5	270	10
6	777	10
7	2489	10
done	5001	10
0	9	17
1	15	17
2	33	17
3	45	17
4	72	17
5	138	17
6	338	17
7	960	17
8	3392	17
done	5000	17
0	10	11
1	18	11
2	39	11
3	51	11
4	78	11
5	143	11
6	345	11
7	970	11
8	3398	11
done	5000	11
0	8	9
1	12	9
2	30	9
3	43	9
4	71	9
5	137	9
6	341	9
7	970	9
8	3437	9
done	5000	9
0	10	11
1	18	11
2	39	11
3	52	11
4	80	11
5	145	11
6	347	11
7	968	11
8	3429	11
done	5001	11
0	3	3
1	5	1
done	5	1
0	9	10
1	17	10
2	38	10
3	60	9
4	139	9
5	316	9
6	866	9
7	2695	9
done	5000	9
0	8	8
1	16	7
2	40	7
3	76	7
4	145	7
5	265	7
6	612	7
7	1918	7
done	5000	7
0	8	10
1	14	10
2	35	10
3	54	10
4	127	10
5	318	10
6	1043	10
7	3758	10
done	5000	10
0	10	19
1	18	19
2	42	19
3	60	19
4	87	19
5	153	19
6	357	19
7	975	19
8	3443	19
done	5000	19
0	9	11
1	15	11
2	36	11
3	49	11
4	77	11
5	145	11
6	347	11
7	974	11
8	3444	11
done	5000	11
0	5	5
1	9	3
2	16	3
done	16	3
0	9	11
1	13	11
2	31	11
3	45	11
4	84	11
5	181	11
6	503	11
7	1614	11
done	5000	11
0	9	11
1	13	11
2	31	11
3	45	11
4	84	11
5	181	11
6	503	11
7	1614	11
done	5000	11
0	10	12
1	16	12
2	37	12
3	56	12
4	129	12
5	322	12
6	1041	12
7	3763	12
done	5000	12
0	10	12
1	16	12
2	37	12
3	56	12
4	129	12
5	322	12
6	1041	12
7	3763	12
done	5000	12
0	9	11
1	15	11
2	36	11
3	55	11
4	128	11
5	321	11
6	1042	11
7	3747	11
done	5000	11
0	10	12
1	16	12
2	37	12
3	56	12
4	129	12
5	322	12
6	1041	12
7	3763	12
done	5000	12
0	10	12
1	16	12
2	37	12
3	56	12
4	129	12
5	322	12
6	1041	12
7	3763	12
done	5000	12
0	9	11
1	15	11
2	36	11
3	55	11
4	128	11
5	321	11
6	1042	11
7	3747	11
done	5000	11
0	9	11
1	15	11
2	36	11
3	55	11
4	128	11
5	321	11
6	1042	11
7	3749	11
done	5000	11
0	9	11
1	15	11
2	36	11
3	55	11
4	128	11
5	321	11
6	1042	11
7	3749	11
done	5000	11
0	8	10
1	14	10
2	35	10
3	54	10
4	127	10
5	318	10
6	1043	10
7	3758	10
done	5000	10
0	8	10
1	14	10
2	35	10
3	54	10
4	127	10
5	318	10
6	1043	10
7	3758	10
done	5000	10
0	9	10
1	17	10
2	38	8
3	67	8
4	188	8
5	559	8
6	1747	8
done	5000	8
0	7	8
1	12	8
2	30	8
3	46	8
4	93	8
5	194	8
6	532	8
7	1729	8
done	5000	8
0	4	4
1	9	4
2	12	4
3	15	4
4	21	4
5	25	4
6	41	4
7	45	4
8	50	4
9	57	4
10	75	4
11	96	4
12	109	4
13	112	4
done	112	4
0	7	7
1	12	5
2	32	5
3	61	5
4	131	5
5	279	5
6	853	5
7	3567	5
done	5000	5
0	7	7
1	12	7
2	30	7
3	51	7
4	103	7
5	211	7
6	554	7
7	1845	7
done	5000	7
0	8	15
1	13	15
2	31	15
3	50	15
4	93	15
5	176	15
6	429	15
7	1301	15
done	5000	15
0	7	7
1	12	7
2	30	7
3	49	7
4	92	7
5	175	7
6	421	7
7	1304	7
done	5001	7
0	8	20
1	16	19
2	47	8
3	130	8
4	405	8
5	1443	8
done	5001	8
0	7	7
1	12	7
2	30	7
3	50	7
4	94	7
5	177	7
6	424	7
7	1302	7
done	5000	7
0	7	7
1	12	7
2	30	7
3	50	7
4	94	7
5	177	7
6	424	7
7	1302	7
done	5000	7
0	4	4
1	8	4
2	9	4
done	9	4
0	7	7
1	11	5
2	31	5
3	52	5
4	101	5
5	223	5
6	684	5
7	2655	5
done	5000	5
0	7	7
1	11	7
2	29	7
3	43	7
4	81	7
5	173	7
6	472	7
7	1514	7
done	5001	7
0	8	15
1	12	15
2	30	15
3	42	15
4	69	15
5	135	15
6	332	15
7	960	15
8	3424	15
done	5000	15
0	7	7
1	11	7
2	29	7
3	41	7
4	68	7
5	136	7
6	332	7
7	947	7
8	3410	7
done	5001	7
0	8	20
1	15	19
2	46	8
3	130	8
4	413	8
5	1405	8
done	5001	8
0	7	7
1	11	7
2	29	7
3	42	7
4	70	7
5	136	7
6	336	7
7	958	7
8	3436	7
done	5000	7
0	7	7
1	11	7
2	29	7
3	42	7
4	70	7
5	136	7
6	336	7
7	958	7
8	3436	7
done	5000	7
0	8	11
1	16	11
2	33	9
3	53	9
4	76	9
5	96	9
6	104	9
7	119	9
8	170	9
done	170	9
0	20	36
1	53	33
2	138	29
3	305	24
4	879	23
5	3584	23
done	5000	23
0	20	36
1	53	33
2	138	29
3	305	24
4	879	23
5	3584	23
done	5000	23
0	11	15
1	26	13
2	52	11
3	95	11
4	149	11
5	306	11
6	656	9
7	1305	9
8	1798	9
9	1911	9
10	1922	9
done	1922	9
0	8	10
1	15	10
2	35	10
3	55	10
4	124	10
5	279	10
6	794	10
7	2499	10
done	5000	10
0	8	10
1	15	10
2	35	10
3	55	10
4	124	10
5	279	10
6	794	10
7	2499	10
done	5000	10
0	8	9
1	17	9
2	30	9
3	40	7
4	51	7
5	71	7
6	98	7
7	128	7
8	144	7
9	158	7
10	193	7
11	216	7
done	216	7
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	6	6
1	11	6
2	29	6
3	48	6
4	91	6
5	174	6
6	425	6
7	1317	6
done	5000	6
0	8	9
1	16	9
2	24	7
3	28	7
done	28	7
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6

prune411.0ms

Filtered

101 candidates to 126 candidates (-24.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	126	4	130

Merged error: 0.0b

Counts

130 → 4

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ 1.0 eps) x)
0.0b	(+ (* 1.0 (+ x (* x eps))) 1.0)
0.0b	(/ 1.0 (exp (* (+ 1.0 eps) x)))
0.0b	(exp (* (+ 1.0 eps) x))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt`
10×	`add-log-exp`
9×	`times-frac`
8×	`add-cbrt-cube`
7×	`add-exp-log`
6×	`pow1`
4×	`associate-l`
3×	`associate-r` `associate-/r` `associate-/l`
2×	`associate-+l+` `exp-to-pow` `flip3-+` `associate-*l/` `sum-log` `flip-+`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `exp-prod` `frac-2neg` `distribute-lft-in` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `rem-exp-log` `distribute-lft-out` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

7.0ms	(* (+ 1.0 eps) x)
7.0ms	(+ (* 1.0 (+ x (* x eps))) 1.0)
6.0ms	(/ 1.0 (exp (* (+ 1.0 eps) x)))
7.0ms	(exp (* (+ 1.0 eps) x))

series26.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (+ 1.0 eps) x)
6.0ms	(+ (* 1.0 (+ x (* x eps))) 1.0)
10.0ms	(/ 1.0 (exp (* (+ 1.0 eps) x)))
5.0ms	(exp (* (+ 1.0 eps) x))

simplify2.9min

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	4
1	8	4
2	9	4
done	9	4
0	7	7
1	11	5
2	31	5
3	52	5
4	101	5
5	223	5
6	684	5
7	2655	5
done	5000	5
0	7	7
1	11	7
2	29	7
3	43	7
4	81	7
5	173	7
6	472	7
7	1514	7
done	5001	7
0	8	15
1	12	15
2	30	15
3	42	15
4	69	15
5	135	15
6	332	15
7	960	15
8	3424	15
done	5000	15
0	7	7
1	11	7
2	29	7
3	41	7
4	68	7
5	136	7
6	332	7
7	947	7
8	3410	7
done	5001	7
0	8	20
1	15	19
2	46	8
3	130	8
4	413	8
5	1405	8
done	5001	8
0	7	7
1	11	7
2	29	7
3	42	7
4	70	7
5	136	7
6	336	7
7	958	7
8	3436	7
done	5000	7
0	7	7
1	11	7
2	29	7
3	42	7
4	70	7
5	136	7
6	336	7
7	958	7
8	3436	7
done	5000	7
0	7	8
1	11	8
2	26	8
3	46	8
4	74	8
5	82	8
6	101	8
7	148	8
8	209	8
9	221	8
10	222	8
done	222	8
0	8	9
1	15	9
2	37	8
3	78	8
4	184	8
5	385	8
6	1143	8
7	4750	8
done	5000	8
0	8	9
1	12	9
2	30	9
3	44	9
4	81	9
5	164	9
6	430	9
7	1249	9
8	4572	9
done	5001	9
0	11	26
1	26	25
2	87	12
3	255	10
4	1075	10
done	5001	10
0	9	19
1	13	19
2	31	19
3	45	19
4	82	19
5	165	19
6	429	19
7	1243	19
8	4576	19
done	5001	19
0	8	9
1	12	9
2	30	9
3	44	9
4	81	9
5	164	9
6	430	9
7	1249	9
8	4572	9
done	5001	9
0	9	26
1	20	26
2	54	10
3	125	10
4	639	10
5	4830	10
done	5000	10
0	8	9
1	12	9
2	30	9
3	44	9
4	81	9
5	164	9
6	430	9
7	1249	9
8	4572	9
done	5001	9
0	8	9
1	12	9
2	30	9
3	44	9
4	81	9
5	164	9
6	430	9
7	1249	9
8	4572	9
done	5001	9
0	2	2
done	2	2
0	7	7
1	11	7
2	29	7
3	44	7
4	87	7
5	181	7
6	500	7
7	1646	7
done	5001	7
0	11	21
1	21	21
2	48	21
3	66	21
4	93	21
5	161	21
6	361	21
7	979	21
8	3423	21
done	5000	21
0	9	10
1	13	10
2	31	10
3	43	10
4	70	10
5	136	10
6	340	10
7	962	10
8	3403	10
done	5000	10
0	10	13
1	16	13
2	36	13
3	50	13
4	78	13
5	146	13
6	345	13
7	970	13
8	3411	13
done	5000	13
0	9	10
1	13	10
2	31	10
3	44	10
4	72	10
5	138	10
6	338	10
7	963	10
8	3409	10
done	5001	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	12	9
2	30	9
3	44	9
4	81	9
5	164	9
6	430	9
7	1258	9
8	4569	9
done	5000	9
0	10	18
1	16	18
2	34	18
3	46	18
4	73	18
5	139	18
6	333	18
7	947	18
8	3410	18
done	5000	18
0	9	10
1	13	10
2	31	10
3	43	10
4	70	10
5	136	10
6	340	10
7	962	10
8	3403	10
done	5000	10
0	9	10
1	13	10
2	31	10
3	44	10
4	72	10
5	138	10
6	338	10
7	963	10
8	3409	10
done	5001	10
0	9	10
1	13	10
2	31	10
3	44	10
4	72	10
5	138	10
6	338	10
7	963	10
8	3409	10
done	5001	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	12	9
2	30	9
3	44	9
4	81	9
5	164	9
6	430	9
7	1258	9
8	4569	9
done	5000	9
0	10	17
1	18	17
2	36	17
3	48	17
4	75	17
5	142	17
6	340	17
7	960	17
8	3404	17
done	5000	17
0	8	9
1	12	9
2	30	9
3	42	9
4	69	9
5	135	9
6	332	9
7	960	9
8	3424	9
done	5000	9
0	9	9
1	15	9
2	33	9
3	46	9
4	74	9
5	139	9
6	341	9
7	980	9
8	3432	9
done	5001	9
0	8	9
1	12	9
2	30	9
3	43	9
4	71	9
5	137	9
6	341	9
7	970	9
8	3437	9
done	5000	9
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	29	8
3	43	8
4	80	8
5	163	8
6	433	8
7	1266	8
8	4575	8
done	5000	8
0	8	8
1	16	7
2	40	7
3	76	7
4	145	7
5	265	7
6	612	7
7	1918	7
done	5000	7
0	7	8
1	11	8
2	29	8
3	43	8
4	82	8
5	179	8
6	504	8
7	1613	8
done	5001	8
0	9	17
1	15	17
2	33	17
3	45	17
4	72	17
5	138	17
6	338	17
7	960	17
8	3392	17
done	5000	17
0	8	9
1	12	9
2	30	9
3	43	9
4	71	9
5	137	9
6	341	9
7	970	9
8	3437	9
done	5000	9
0	3	3
1	5	1
done	5	1
0	8	9
1	12	9
2	30	9
3	44	9
4	83	9
5	180	9
6	504	9
7	1607	9
done	5000	9
0	8	9
1	12	9
2	30	9
3	44	9
4	83	9
5	180	9
6	504	9
7	1607	9
done	5000	9
0	7	8
1	11	8
2	29	8
3	43	8
4	82	8
5	179	8
6	504	8
7	1613	8
done	5001	8
0	9	11
1	22	10
2	47	10
3	113	10
4	250	10
5	685	10
6	2127	10
done	5000	10
0	8	10
1	18	10
2	34	10
3	62	10
4	90	10
5	122	10
done	122	10
0	8	10
1	21	10
2	44	10
3	104	10
4	209	10
5	549	10
6	1854	10
done	5000	10
0	9	21
1	19	21
2	35	21
3	58	21
4	85	21
5	117	21
done	117	21
0	8	10
1	18	10
2	34	10
3	59	10
4	86	10
5	118	10
done	118	10
0	9	29
1	32	29
2	104	11
3	494	11
4	3323	11
done	5000	11
0	8	10
1	18	10
2	34	10
3	59	10
4	86	10
5	118	10
done	118	10
0	8	10
1	18	10
2	34	10
3	59	10
4	86	10
5	118	10
done	118	10
0	10	13
1	35	13
2	96	13
3	421	13
4	1934	13
done	5001	13
0	11	29
1	33	27
2	109	25
3	374	21
4	1432	19
done	5000	19
0	9	19
1	29	19
2	93	17
3	316	17
4	1062	17
5	3561	17
done	5000	17
0	7	9
1	18	9
2	33	9
3	55	9
4	75	9
5	99	9
6	113	9
7	172	9
8	494	9
9	1143	9
10	1412	9
11	1612	9
12	1689	9
13	1733	9
done	1733	9
0	6	7
1	11	7
2	20	7
3	24	7
4	30	7
done	30	7
0	6	7
1	14	7
2	24	7
3	30	7
done	30	7
0	5	5
1	7	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	6	6
1	11	6
2	20	6
done	20	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	9	17
1	29	17
2	90	9
3	256	9
4	979	7
5	3629	7
done	5000	7
0	7	13
1	9	13
2	17	13
done	17	13
0	6	6
1	8	6
2	16	6
done	16	6
0	7	17
1	19	17
2	80	7
3	291	7
4	726	7
5	1840	7
6	4312	7
done	5000	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	8	9
1	16	9
2	24	7
3	28	7
done	28	7
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	8	11
1	19	9
2	43	9
3	98	9
4	187	9
5	334	9
6	553	9
7	838	9
8	1367	9
9	1490	9
done	1490	9
0	7	8
1	11	8
2	29	8
3	43	8
4	80	8
5	163	8
6	433	8
7	1266	8
8	4575	8
done	5000	8
0	7	8
1	11	8
2	29	8
3	43	8
4	80	8
5	163	8
6	433	8
7	1266	8
8	4575	8
done	5000	8
0	8	11
1	16	11
2	33	9
3	53	9
4	76	9
5	96	9
6	104	9
7	119	9
8	170	9
done	170	9
0	8	11
1	16	11
2	33	9
3	53	9
4	76	9
5	96	9
6	104	9
7	119	9
8	170	9
done	170	9
0	8	11
1	16	11
2	33	9
3	53	9
4	76	9
5	96	9
6	104	9
7	119	9
8	170	9
done	170	9
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5

prune151.0ms

Filtered

61 candidates to 84 candidates (-37.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	83	1	84
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	84	4	88

Merged error: 0.0b

Counts

88 → 4

regimes128.0ms

Accuracy

95.9% (0.7b remaining)

Error of 1.1b against oracle of 0.4b and baseline of 16.6b

bsearch124.0ms

Steps

Iters	Range		Point
10	2.685778245287387e-07	447272600309.0039	97.00659268931513

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	123
1	44	123
done	44	123

end0.0ms

sample3.9s

Algorithm

intervals

Results

1.1s	1740×	body	1280	valid
1.0s	9965×	body	80	valid
509.0ms	1221×	body	640	valid
189.0ms	1886×	body	80	overflowed
183.0ms	638×	body	320	valid
63.0ms	322×	body	160	valid

Details

sample119.0ms

simplify2.6s

prune9.0ms

localize26.0ms

rewrite60.0ms

series95.0ms

simplify3.1min

prune224.0ms

localize9.0ms

rewrite11.0ms

series8.0ms

simplify2.2min

prune71.0ms

localize19.0ms

rewrite70.0ms

series63.0ms

simplify6.4min

prune411.0ms

localize14.0ms

rewrite29.0ms

series26.0ms

simplify2.9min

prune151.0ms

regimes128.0ms

bsearch124.0ms

simplify4.0ms

end0.0ms

sample3.9s

Profiling