Details

sample35.0ms

Algorithm

intervals

Results

15.0ms	89×	body	1280	valid
5.0ms	45×	body	640	valid
2.0ms	84×	body	80	valid
2.0ms	75×	body	80	overflowed
1.0ms	22×	body	320	valid
1.0ms	16×	body	160	valid

simplify3.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7
2	8	7
done	8	7

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

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.5b	(/ (exp x) (- (exp x) 1.0))
3.8b	(- (exp x) 1.0)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
12×	`add-cube-cbrt`
5×	`associate-/r*` `distribute-lft-out--` `difference-of-squares`
4×	`add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-/l*`
2×	`pow1` `flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

2 → 51

Calls

2 calls:

9.0ms	(/ (exp x) (- (exp x) 1.0))
5.0ms	(- (exp x) 1.0)

series10.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/ (exp x) (- (exp x) 1.0))
2.0ms	(- (exp x) 1.0)

simplify30.5s

Counts

57 → 57

Iterations

Useful iterations: 1 (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	6	7
1	10	7
2	12	7
done	12	7
0	6	8
1	11	8
2	14	7
3	15	7
done	15	7
0	6	8
1	8	8
2	9	8
done	9	8
0	9	23
1	22	22
2	73	11
3	185	9
4	414	9
5	1192	9
6	4549	9
done	5000	9
0	7	17
1	9	17
2	10	17
done	10	17
0	6	8
1	8	8
2	9	8
done	9	8
0	7	23
1	16	23
2	33	9
3	79	9
4	181	9
5	445	9
6	1528	9
done	5000	9
0	6	8
1	8	8
2	9	8
done	9	8
0	6	8
1	8	8
2	9	8
done	9	8
0	3	3
done	3	3
0	5	5
1	7	5
2	11	5
3	13	5
4	14	4
done	14	4
0	9	19
1	17	19
2	27	19
3	33	19
done	33	19
0	7	9
1	9	9
2	10	9
done	10	9
0	8	13
1	12	13
2	15	13
3	16	13
done	16	13
0	7	9
1	9	9
2	10	9
done	10	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	8
1	8	8
2	9	8
done	9	8
0	9	14
1	12	14
2	14	14
3	15	14
done	15	14
0	8	10
1	10	10
2	11	10
done	11	10
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	6	8
1	8	8
2	9	8
done	9	8
0	8	15
1	12	15
2	13	15
done	13	15
0	7	9
1	9	9
2	10	9
done	10	9
0	7	9
1	9	9
2	10	9
done	10	9
0	7	9
1	9	9
2	10	9
done	10	9
0	5	5
1	7	3
2	9	3
done	9	3
0	6	8
1	8	8
2	9	8
done	9	8
0	7	10
1	8	10
done	8	10
0	7	10
1	9	10
2	10	10
done	10	10
0	5	5
1	7	3
2	9	3
done	9	3
0	6	8
1	8	8
2	9	8
done	9	8
0	8	13
1	14	13
2	15	13
done	15	13
0	6	8
1	8	8
2	9	8
done	9	8
0	7	7
1	11	7
2	12	7
done	12	7
0	6	8
1	8	8
2	9	8
done	9	8
0	2	3
1	4	1
done	4	1
0	5	7
1	7	7
2	8	7
done	8	7
0	8	8
1	11	8
done	11	8
0	7	9
1	9	9
2	10	9
done	10	9
0	2	3
1	4	1
done	4	1
0	5	7
1	7	7
2	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	5	7
1	10	7
2	16	6
3	21	6
done	21	6
0	7	14
1	11	14
2	12	14
done	12	14
0	6	8
1	8	8
2	9	8
done	9	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	8	9
done	8	9
0	4	4
1	6	2
2	8	2
done	8	2
0	6	8
1	11	8
2	14	8
3	16	8
done	16	8
0	6	8
1	11	8
2	14	8
3	16	8
done	16	8
0	5	7
1	10	7
2	16	6
3	21	6
done	21	6
0	8	11
1	23	11
2	47	11
3	88	11
4	186	11
5	539	11
6	2348	11
done	5000	11
0	7	12
1	14	11
2	25	11
3	45	11
4	74	11
5	127	11
6	224	11
7	499	11
8	2257	11
done	5000	11
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
0	8	9
1	15	9
2	21	9
done	21	9
0	5	7
1	7	7
2	8	7
done	8	7
0	5	7
1	7	7
2	8	7
done	8	7

prune87.0ms

Filtered

41 candidates to 57 candidates (-39.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	54	3	57
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	3	58

Merged error: 0.0b

Counts

58 → 3

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
0.0b	(+ (/ 1 x) 1/2)
0.3b	(* 1/12 x)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
8×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
4×	`sum-log`
3×	`associate-r` `associate-l`
2×	`+-commutative` `flip3-+` `flip-+` `distribute-lft-out`
1×	`associate-+r+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 44

Calls

3 calls:

10.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
7.0ms	(+ (/ 1 x) 1/2)
4.0ms	(* 1/12 x)

series6.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(+ (* 1/12 x) (+ (/ 1 x) 1/2))
2.0ms	(+ (/ 1 x) 1/2)
2.0ms	(* 1/12 x)

simplify51.9s

Counts

53 → 53

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	13	4
3	22	4
4	46	4
5	96	4
6	219	4
7	656	4
8	2239	4
done	5000	4
0	7	11
1	16	7
2	31	5
3	54	5
4	94	5
5	146	5
6	270	5
7	702	5
8	2187	5
done	5000	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	87	5
4	101	5
5	125	5
6	195	5
7	392	5
8	1090	5
9	3683	5
done	5001	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	7	7
1	12	6
2	13	6
done	13	6
0	6	6
1	9	6
done	9	6
0	6	6
1	12	6
2	13	6
done	13	6
0	7	13
1	10	13
done	10	13
0	6	6
1	9	6
done	9	6
0	7	17
1	23	17
2	64	7
3	173	7
4	496	7
5	1254	7
6	3149	7
done	5001	7
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	8	9
1	29	7
2	50	7
3	87	7
4	155	7
5	294	7
6	875	7
7	3176	7
done	5000	7
0	9	17
1	26	13
2	51	11
3	91	11
4	131	11
5	177	9
6	264	9
7	332	9
8	390	9
9	444	9
10	492	9
11	533	9
done	533	9
0	7	11
1	20	9
2	32	7
3	58	7
4	97	7
5	175	7
6	215	7
7	348	7
8	1109	7
done	5001	7
0	5	5
1	10	5
2	11	5
done	11	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	11	12
1	22	11
2	41	10
3	71	10
4	141	10
5	321	10
6	881	10
7	2875	10
done	5001	10
0	10	11
1	22	10
2	38	10
3	67	10
4	131	10
5	302	10
6	818	10
7	2700	10
done	5001	10
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	9	10
1	19	10
2	36	10
3	56	10
4	91	10
5	187	10
6	444	10
7	1269	10
8	4329	10
done	5000	10
0	10	21
1	17	21
2	23	21
3	25	21
done	25	21
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	10	29
1	30	29
2	120	11
3	601	11
4	3189	11
done	5000	11
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	11	13
1	33	13
2	84	13
3	208	13
4	425	13
5	1121	13
6	3565	13
done	5001	13
0	12	29
1	46	21
2	142	21
3	384	21
4	1311	21
5	3800	19
done	5000	19
0	10	19
1	33	17
2	80	17
3	191	17
4	617	17
5	1871	17
done	5000	17
0	8	9
1	16	9
2	26	9
3	40	9
4	49	9
5	59	9
6	81	9
7	104	9
8	118	9
9	126	9
10	130	9
11	133	9
done	133	9
0	6	7
1	10	7
done	10	7
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	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	8	9
1	15	9
2	21	9
done	21	9
0	8	9
1	15	9
2	21	9
done	21	9
0	8	9
1	15	9
2	21	9
done	21	9

prune70.0ms

Filtered

36 candidates to 53 candidates (-47.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	52	4	56

Merged error: 0b

Counts

56 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))
0.5b	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))
0.5b	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))
0.5b	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

29.0ms	(* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))
10.0ms	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))
9.0ms	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))
10.0ms	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))) (cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2))))
11.0ms	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))
11.0ms	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))
12.0ms	(cbrt (+ (* 1/12 x) (+ (/ 1 x) 1/2)))

simplify1.6min

Counts

99 → 99

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	11	22
1	18	22
2	24	22
3	26	22
done	26	22
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	12	14
1	34	14
2	85	14
3	206	14
4	416	14
5	1106	14
6	3565	14
done	5000	14
0	13	30
1	47	22
2	143	22
3	389	22
4	1314	22
5	3795	20
done	5001	20
0	11	20
1	34	18
2	81	18
3	192	18
4	620	18
5	1881	18
done	5001	18
0	9	10
1	17	10
2	27	10
3	41	10
4	52	10
5	62	10
6	84	10
7	107	10
8	121	10
9	129	10
10	133	10
11	138	10
done	138	10
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	11	32
1	19	32
2	27	12
3	32	9
4	38	9
5	48	9
6	69	9
7	124	9
8	332	9
9	1251	9
done	5000	9
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	11	22
1	18	22
2	24	22
3	26	22
done	26	22
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	12	14
1	34	14
2	85	14
3	206	14
4	416	14
5	1106	14
6	3565	14
done	5000	14
0	13	30
1	47	22
2	143	22
3	389	22
4	1314	22
5	3795	20
done	5001	20
0	11	20
1	34	18
2	81	18
3	192	18
4	620	18
5	1881	18
done	5001	18
0	9	10
1	17	10
2	27	10
3	41	10
4	52	10
5	62	10
6	84	10
7	107	10
8	121	10
9	129	10
10	133	10
11	138	10
done	138	10
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	11	32
1	19	32
2	27	12
3	32	9
4	38	9
5	48	9
6	69	9
7	124	9
8	332	9
9	1251	9
done	5000	9
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	11	22
1	18	22
2	24	22
3	26	22
done	26	22
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	2	2
1	4	1
done	4	1
0	9	10
1	16	10
2	22	10
3	24	10
done	24	10
0	12	14
1	34	14
2	85	14
3	206	14
4	416	14
5	1106	14
6	3565	14
done	5000	14
0	13	30
1	47	22
2	143	22
3	389	22
4	1314	22
5	3795	20
done	5001	20
0	11	20
1	34	18
2	81	18
3	192	18
4	620	18
5	1881	18
done	5001	18
0	9	10
1	17	10
2	27	10
3	41	10
4	52	10
5	62	10
6	84	10
7	107	10
8	121	10
9	129	10
10	133	10
11	138	10
done	138	10
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	11	32
1	19	32
2	27	12
3	32	9
4	38	9
5	48	9
6	69	9
7	124	9
8	332	9
9	1251	9
done	5000	9
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	10	11
1	17	11
2	23	11
3	25	11
done	25	11
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	9	19
1	22	19
2	73	19
3	278	19
4	871	19
5	3591	19
done	5000	19
0	10	21
1	17	21
2	23	21
3	25	21
done	25	21
0	2	3
1	6	1
done	6	1
0	11	23
1	20	13
2	27	13
done	27	13
0	11	22
1	20	22
2	28	13
3	29	13
done	29	13
0	11	22
1	20	22
2	30	22
3	35	22
4	53	22
5	92	22
6	196	22
7	561	22
8	2241	22
done	5000	22
0	9	19
1	22	19
2	73	19
3	278	19
4	871	19
5	3591	19
done	5000	19
0	12	45
1	19	45
2	25	45
done	25	45
0	11	22
1	18	22
2	24	22
3	26	22
done	26	22
0	12	65
1	27	65
2	41	23
3	54	12
4	158	12
5	478	12
6	1409	12
done	5001	12
0	11	22
1	19	11
2	25	11
done	25	11
0	11	22
1	19	11
2	25	11
done	25	11
0	13	29
1	35	29
2	86	29
3	210	29
4	427	29
5	1115	29
6	3563	29
done	5000	29
0	14	61
1	48	45
2	144	45
3	386	45
4	1304	45
5	3796	41
done	5000	41
0	17	35
1	57	33
2	149	33
3	378	33
4	1098	33
5	3189	33
done	5000	33
0	16	41
1	55	33
2	160	33
3	418	33
4	1370	33
5	3916	31
done	5000	31
0	17	35
1	57	33
2	149	33
3	379	33
4	1105	33
5	3191	33
done	5000	33
0	16	41
1	55	33
2	160	33
3	416	33
4	1355	33
5	3910	31
done	5000	31
0	12	41
1	35	37
2	82	37
3	193	37
4	619	37
5	1878	37
done	5001	37
0	10	21
1	18	21
2	28	21
3	42	21
4	53	21
5	63	21
6	85	21
7	108	21
8	122	21
9	128	21
10	132	21
11	135	21
done	135	21
0	12	45
1	19	45
2	25	45
done	25	45
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	3	5
1	5	3
done	5	1
0	10	21
1	17	21
2	23	21
3	25	21
done	25	21
0	12	47
1	23	47
2	31	25
3	39	13
4	52	13
5	78	13
6	146	13
7	358	13
8	1265	13
done	5001	13
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	11	23
1	18	10
2	25	10
done	25	10
0	11	23
1	18	10
2	25	10
done	25	10
0	2	3
1	4	1
done	4	1
0	10	21
1	17	21
2	23	21
3	25	21
done	25	21
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	11	23
1	18	23
2	24	23
3	26	23
done	26	23
0	13	23
1	21	23
2	27	23
done	27	23
0	13	23
1	21	23
2	27	23
done	27	23
0	13	23
1	21	23
2	27	23
done	27	23
0	13	23
1	21	23
2	27	23
done	27	23
0	11	23
1	18	10
2	25	10
done	25	10
0	11	23
1	18	10
2	25	10
done	25	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	12	33
1	20	33
2	26	33
done	26	33
0	12	22
1	20	22
2	26	22
done	26	22
0	11	13
1	19	12
2	25	12
done	25	10
0	12	34
1	22	34
2	30	34
done	30	34
0	11	22
1	19	22
2	25	22
done	25	22
0	10	12
1	18	10
2	27	10
done	27	10
0	11	22
1	19	22
2	25	22
done	25	22
0	12	22
1	20	22
2	26	22
done	26	22
0	10	21
1	17	21
2	23	21
3	25	21
done	25	21
0	11	22
1	19	22
2	25	22
done	25	22
0	11	22
1	19	22
2	25	22
done	25	22
0	10	21
1	17	21
2	23	21
3	25	21
done	25	21
0	15	25
1	41	25
2	98	25
3	221	25
4	425	25
5	1124	25
6	3582	25
done	5001	25
0	14	31
1	40	29
2	88	29
3	200	29
4	619	29
5	1878	29
done	5000	29
0	15	25
1	41	25
2	98	25
3	216	25
4	418	25
5	1103	25
6	3545	25
done	5000	25
0	14	31
1	40	29
2	88	29
3	199	29
4	623	29
5	1878	29
done	5000	29
0	18	36
1	46	33
2	112	25
3	362	17
4	1484	16
done	5000	16
0	20	42
1	49	39
2	109	36
3	306	25
4	1141	19
done	5001	19
0	21	45
1	48	42
2	109	42
3	310	29
4	1159	23
done	5000	23
0	18	36
1	46	33
2	112	25
3	362	17
4	1484	16
done	5000	16
0	20	42
1	49	39
2	109	36
3	306	25
4	1141	19
done	5001	19
0	21	45
1	48	42
2	109	42
3	310	29
4	1159	23
done	5000	23
0	18	36
1	46	33
2	112	25
3	362	17
4	1484	16
done	5000	16
0	20	42
1	49	39
2	109	36
3	306	25
4	1141	19
done	5001	19
0	21	45
1	48	42
2	109	42
3	310	29
4	1159	23
done	5000	23
0	18	42
1	42	39
2	99	25
3	271	16
4	824	13
5	3552	13
done	5000	13
0	20	48
1	45	45
2	96	45
3	235	27
4	771	21
5	3825	18
done	5000	18
0	20	48
1	43	48
2	95	46
3	188	43
4	479	25
5	1422	20
done	5000	20

prune293.0ms

Filtered

77 candidates to 99 candidates (-28.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	99	4	103

Merged error: 0b

Counts

103 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1.0 (exp x))
0.0b	(/ 1 (- 1 (/ 1.0 (exp x))))
3.8b	(- 1 (/ 1.0 (exp x)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

64×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
43×	`times-frac`
24×	`add-cube-cbrt`
20×	`difference-of-squares`
11×	`associate-/r*`
8×	`add-exp-log`
7×	`add-cbrt-cube`
6×	`associate-/l*`
5×	`distribute-lft-out--` `add-log-exp`
4×	`pow1`
3×	`div-exp`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `clear-num` `associate-/r/` `flip--` `div-inv`
1×	`sub-neg` `rec-exp` `pow-flip` `diff-log` `1-exp` `inv-pow`

Counts

3 → 97

Calls

3 calls:

5.0ms	(/ 1.0 (exp x))
10.0ms	(/ 1 (- 1 (/ 1.0 (exp x))))
8.0ms	(- 1 (/ 1.0 (exp x)))

series22.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ 1.0 (exp x))
11.0ms	(/ 1 (- 1 (/ 1.0 (exp x))))
6.0ms	(- 1 (/ 1.0 (exp x)))

simplify41.4s

Counts

106 → 106

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	13	7
2	15	7
3	20	7
4	22	7
5	26	7
6	30	7
7	46	7
8	51	7
9	56	7
10	60	7
11	71	7
12	79	7
13	83	7
14	88	7
15	91	7
16	102	7
17	127	7
18	131	7
done	131	7
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	14	7
2	20	7
3	22	7
4	26	7
5	30	7
6	46	7
7	51	7
8	56	7
9	60	7
10	71	7
11	79	7
12	83	7
13	88	7
14	91	7
15	102	7
16	127	7
17	131	7
done	131	7
0	8	15
1	12	15
2	15	15
done	15	15
0	7	7
1	11	7
2	14	7
done	14	7
0	8	20
1	13	20
2	30	8
3	81	8
4	285	8
5	1078	8
6	3980	8
done	5000	8
0	7	7
1	11	7
2	14	7
done	14	7
0	7	7
1	11	7
2	14	7
done	14	7
0	9	10
1	29	8
2	65	8
3	164	8
4	511	8
5	1698	8
done	5001	8
0	10	20
1	25	13
2	63	13
3	102	13
4	181	13
5	232	13
6	249	13
7	262	13
8	295	13
9	453	13
10	1060	13
11	3339	13
done	5000	13
0	5	5
1	7	5
done	7	5
0	8	13
1	19	11
2	34	11
3	68	11
4	124	10
5	283	10
6	527	10
7	1016	10
8	3040	10
done	5001	10
0	6	6
1	9	6
done	9	6
0	8	8
1	11	7
done	11	7
0	8	8
1	12	7
2	13	7
done	13	7
0	9	9
1	12	8
done	12	8
0	9	9
1	13	8
2	16	8
done	16	8
0	7	7
1	10	7
done	10	7
0	7	7
1	11	7
2	12	7
done	12	7
0	8	8
1	11	8
done	11	8
0	8	8
1	12	8
2	15	8
done	15	8
0	6	6
1	10	6
2	13	6
done	13	6
0	5	5
1	7	5
done	7	5
0	2	2
1	5	1
done	5	1
0	8	8
1	12	8
2	15	8
done	15	8
0	9	9
1	14	8
2	21	8
3	23	8
4	29	8
5	34	8
done	34	8
0	9	10
1	15	9
2	19	8
3	25	8
4	31	8
5	36	8
done	36	8
0	8	9
1	16	8
2	20	8
3	24	8
4	26	8
5	32	8
6	37	8
done	37	8
0	8	9
1	12	9
2	15	9
done	15	9
0	11	26
1	23	22
2	50	10
3	121	10
4	409	10
5	1406	10
6	4982	10
done	5000	10
0	9	19
1	13	19
2	16	19
done	16	19
0	8	9
1	12	9
2	15	9
done	15	9
0	9	26
1	20	26
2	39	10
3	82	10
4	121	10
5	268	10
6	843	10
7	2822	10
done	5000	10
0	8	9
1	12	9
2	15	9
done	15	9
0	8	9
1	12	9
2	15	9
done	15	9
0	2	2
1	5	1
done	5	1
0	7	7
1	11	7
2	18	7
3	22	6
4	24	6
done	24	6
0	11	21
1	21	19
2	33	17
3	39	17
done	39	17
0	9	10
1	13	9
2	16	9
done	16	9
0	10	13
1	16	11
2	21	9
3	22	9
done	22	9
0	9	10
1	13	9
2	16	9
done	16	9
0	4	7
1	8	3
2	12	1
done	12	1
0	8	9
1	12	8
2	15	8
done	15	8
0	11	14
1	16	11
2	18	9
3	19	9
done	19	9
0	10	11
1	14	9
2	15	9
done	15	9
0	12	15
1	17	12
2	19	10
3	20	10
done	20	10
0	11	12
1	15	10
2	18	10
done	18	10
0	10	13
1	15	11
2	17	9
3	18	9
done	18	9
0	9	10
1	13	9
2	14	9
done	14	9
0	11	14
1	16	12
2	18	10
3	19	10
done	19	10
0	10	11
1	14	10
2	17	10
done	17	10
0	4	7
1	8	3
2	12	1
done	12	1
0	8	9
1	12	8
2	15	8
done	15	8
0	10	18
1	16	17
2	19	17
done	19	17
0	9	10
1	13	9
2	16	9
done	16	9
0	9	10
1	13	9
2	16	9
done	16	9
0	9	10
1	13	9
2	16	9
done	16	9
0	3	4
1	5	1
done	5	1
0	8	9
1	12	8
2	15	8
done	15	8
0	9	11
1	12	9
done	12	9
0	9	11
1	13	9
2	14	9
done	14	9
0	10	12
1	13	10
done	13	10
0	10	12
1	14	10
2	17	10
done	17	10
0	9	10
1	12	9
done	12	9
0	9	10
1	13	9
2	14	9
done	14	9
0	10	11
1	13	10
done	13	10
0	10	11
1	14	10
2	17	10
done	17	10
0	3	4
1	5	1
done	5	1
0	8	9
1	12	8
2	15	8
done	15	8
0	9	17
1	15	17
2	18	17
done	18	17
0	8	9
1	12	9
2	15	9
done	15	9
0	8	9
1	12	9
2	15	9
done	15	9
0	8	9
1	12	9
2	15	9
done	15	9
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	14	8
done	14	8
0	9	10
1	12	9
done	12	9
0	9	10
1	13	9
2	14	9
done	14	9
0	10	11
1	13	10
done	13	10
0	10	11
1	14	10
2	17	10
done	17	10
0	8	9
1	11	9
done	11	9
0	8	9
1	12	9
2	13	9
done	13	9
0	9	10
1	12	10
done	12	10
0	9	10
1	13	10
2	16	10
done	16	10
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	14	8
done	14	8
0	7	8
1	11	8
2	14	8
done	14	8
0	7	8
1	14	6
2	23	6
3	30	6
4	36	6
5	38	6
done	38	6
0	9	17
1	15	17
2	18	17
done	18	17
0	8	9
1	12	9
2	15	9
done	15	9
0	2	3
1	4	1
done	4	1
0	9	10
1	12	9
done	12	9
0	10	11
1	13	10
done	13	10
0	8	9
1	11	9
done	11	9
0	9	10
1	12	10
done	12	10
0	2	3
1	4	1
done	4	1
0	8	9
1	15	8
2	22	8
3	28	6
4	42	6
5	45	6
done	45	6
0	8	9
1	15	8
2	22	8
3	28	6
4	42	6
5	45	6
done	45	6
0	7	8
1	14	6
2	23	6
3	30	6
4	36	6
5	38	6
done	38	6
0	10	12
1	30	10
2	68	10
3	169	10
4	513	10
5	1704	10
done	5000	10
0	9	15
1	20	13
2	37	13
3	73	13
4	129	12
5	296	12
6	538	12
7	1027	12
8	3050	12
done	5000	12
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	8	5
2	10	4
3	11	4
done	11	4
0	5	5
done	5	5
0	8	14
1	19	13
2	57	8
3	129	6
4	216	6
5	393	6
6	1245	6
done	5000	6
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	134	6
5	201	6
6	333	6
7	840	6
8	3715	6
done	5001	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	8	3
done	8	3
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	13	15
1	32	15
2	85	15
3	139	13
4	242	13
5	440	11
6	1093	11
done	5001	11
0	7	8
1	16	7
2	28	6
3	37	6
4	51	6
5	71	6
6	75	6
7	79	6
8	81	6
done	81	6
0	7	8
1	16	7
2	28	6
3	37	6
4	51	6
5	71	6
6	75	6
7	79	6
8	81	6
done	81	6
0	10	11
1	20	11
2	29	9
3	32	9
4	37	9
5	39	9
done	39	9
0	8	10
1	17	9
2	29	8
3	38	8
4	52	8
5	72	8
6	77	8
7	83	8
8	85	8
done	85	8
0	8	10
1	17	9
2	29	8
3	38	8
4	52	8
5	72	8
6	77	8
7	83	8
8	85	8
done	85	8
0	9	11
1	21	11
2	50	11
3	63	11
4	85	9
5	129	9
6	210	9
7	336	9
8	567	9
9	1515	9
done	5001	9
0	4	4
done	4	4
0	4	4
done	4	4

prune106.0ms

Filtered

65 candidates to 106 candidates (-63.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	106	4	110

Merged error: 0b

Counts

110 → 4

regimes100.0ms

Accuracy

97.2% (0.6b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	23
1	22	23
done	22	23

end0.0ms

sample973.0ms

Algorithm

intervals

Results

374.0ms	2298×	body	1280	valid
174.0ms	1659×	body	640	valid
70.0ms	2866×	body	80	valid
63.0ms	2504×	body	80	overflowed
61.0ms	799×	body	320	valid
19.0ms	378×	body	160	valid

Details

sample35.0ms

simplify3.0ms

prune2.0ms

localize4.0ms

rewrite15.0ms

series10.0ms

simplify30.5s

prune87.0ms

localize6.0ms

rewrite23.0ms

series6.0ms

simplify51.9s

prune70.0ms

localize11.0ms

rewrite62.0ms

series42.0ms

simplify1.6min

prune293.0ms

localize8.0ms

rewrite26.0ms

series22.0ms

simplify41.4s

prune106.0ms

regimes100.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample973.0ms

Profiling