Details

sample32.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
3.0ms	117×	body	80	overflowed

simplify2.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	8
1	7	8
done	7	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: 0.8b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (exp a) (exp b))
0.8b	(/ (exp a) (+ (exp a) (exp b)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity`
12×	`times-frac`
11×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`distribute-lft-out`
4×	`associate-/r*` `add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-/l*`
2×	`pow1` `flip3-+` `associate-/r/` `flip-+`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

2 → 45

Calls

2 calls:

5.0ms	(+ (exp a) (exp b))
8.0ms	(/ (exp a) (+ (exp a) (exp b)))

series21.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(+ (exp a) (exp b))
14.0ms	(/ (exp a) (+ (exp a) (exp b)))

simplify28.2s

Counts

51 → 51

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	10	8
2	11	8
done	11	8
0	7	9
1	11	9
2	13	8
3	14	8
done	14	8
0	7	9
1	8	9
done	8	9
0	10	26
1	34	25
2	101	12
3	237	10
4	546	10
5	1429	10
6	3643	10
done	5001	10
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	16	26
2	32	10
3	72	10
4	158	10
5	314	10
6	611	10
7	1502	10
done	5000	10
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	3	3
done	3	3
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	10	21
1	17	21
2	26	21
3	32	21
done	32	21
0	8	10
1	9	10
done	9	10
0	9	14
1	12	14
2	14	14
3	15	14
done	15	14
0	8	10
1	9	10
done	9	10
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	9
1	8	9
done	8	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	9
1	8	9
done	8	9
0	9	17
1	12	17
done	12	17
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	5
1	7	3
2	9	3
done	9	3
0	7	9
1	8	9
done	8	9
0	5	5
1	7	3
2	9	3
done	9	3
0	7	9
1	8	9
done	8	9
0	9	15
1	14	15
done	14	15
0	7	9
1	8	9
done	8	9
0	8	8
1	11	8
done	11	8
0	7	9
1	8	9
done	8	9
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	7	7
1	10	7
done	10	7
0	6	8
1	7	8
done	7	8
0	8	16
1	11	16
done	11	16
0	7	9
1	8	9
done	8	9
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	8
1	7	8
done	7	8
0	9	12
1	23	12
2	36	12
3	63	12
4	111	12
5	238	12
6	672	12
7	2576	12
done	5000	12
0	8	14
1	17	12
2	29	12
3	51	12
4	84	12
5	157	12
6	309	12
7	754	12
8	3447	12
done	5000	12
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	53	7
3	126	7
4	311	7
5	908	7
6	1962	7
7	2848	7
8	3668	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	22	9
2	35	9
3	62	9
4	110	9
5	236	9
6	661	9
7	2558	9
done	5001	9
0	9	17
1	23	13
2	42	13
3	60	13
4	88	13
5	128	13
6	202	13
7	431	13
8	1258	13
9	4973	13
done	5000	13
0	7	11
1	16	9
2	26	9
3	46	9
4	79	9
5	152	9
6	296	9
7	702	9
8	3160	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	8	9
1	15	9
2	29	9
3	39	7
4	50	7
5	70	7
6	97	7
7	118	7
8	134	7
9	148	7
10	181	7
11	202	7
done	202	7
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune61.0ms

Filtered

36 candidates to 51 candidates (-41.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	47	4	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	48	4	52

Merged error: 0b

Counts

52 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (- a (log (+ (exp a) (exp b)))))
0.0b	(+ (exp a) (exp b))
0.8b	(- a (log (+ (exp a) (exp b))))
2.9b	(log (+ (exp a) (exp b)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

19×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
9×	`add-log-exp`
8×	`log-prod`
7×	`pow1` `add-cube-cbrt`
6×	`log-div` `exp-prod`
5×	`add-exp-log`
4×	`flip3-+` `exp-sum` `add-cbrt-cube` `flip-+` `associate--r+` `distribute-lft-out--` `associate--r-`
3×	`log-pow` `distribute-lft-out`
2×	`sub-neg` `diff-log` `rem-exp-log` `difference-of-squares`
1×	`+-commutative` `flip3--` `exp-diff` `rem-log-exp` `sum-log` `flip--`

Counts

4 → 68

Calls

4 calls:

6.0ms	(exp (- a (log (+ (exp a) (exp b)))))
5.0ms	(+ (exp a) (exp b))
8.0ms	(- a (log (+ (exp a) (exp b))))
5.0ms	(log (+ (exp a) (exp b)))

series40.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(exp (- a (log (+ (exp a) (exp b)))))
6.0ms	(+ (exp a) (exp b))
10.0ms	(- a (log (+ (exp a) (exp b))))
11.0ms	(log (+ (exp a) (exp b)))

simplify1.4min

Counts

80 → 80

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	14
1	11	14
2	13	9
3	14	9
done	14	9
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	2	2
1	4	1
done	4	1
0	6	6
1	7	6
done	7	6
0	9	10
1	23	10
2	36	10
3	63	10
4	111	10
5	238	10
6	672	10
7	2576	10
done	5000	10
0	10	18
1	24	14
2	43	14
3	61	14
4	89	14
5	129	14
6	203	14
7	432	14
8	1262	14
9	4981	14
done	5000	14
0	8	12
1	17	10
2	30	10
3	51	10
4	84	10
5	157	10
6	312	10
7	727	10
8	3170	10
done	5000	10
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	5
done	8	5
0	8	15
1	9	15
done	9	15
0	7	7
1	8	7
done	8	7
0	8	20
1	10	20
2	12	8
3	17	8
4	23	8
5	33	8
6	54	8
7	110	8
8	328	8
9	1244	8
done	5000	8
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	8
1	7	8
done	7	8
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	13	9
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	51	8
8	65	8
9	102	8
10	163	8
11	210	8
12	261	8
13	361	8
14	394	8
15	395	8
done	395	8
0	9	19
1	12	19
2	13	19
done	13	19
0	8	9
1	11	9
2	12	9
done	12	9
0	9	26
1	13	26
2	28	10
3	71	10
4	180	10
5	508	10
6	1712	10
7	4982	10
done	5000	10
0	8	9
1	11	9
2	12	9
done	12	9
0	8	9
1	11	9
2	12	9
done	12	9
0	10	12
1	26	12
2	48	12
3	82	12
4	171	12
5	501	12
6	2251	12
done	5000	12
0	11	26
1	19	19
2	27	19
3	28	19
4	29	19
done	29	19
0	7	7
1	8	7
done	8	7
0	9	17
1	15	17
2	22	17
3	37	17
4	62	17
5	103	17
6	169	17
7	337	17
8	1611	17
done	5000	17
0	7	8
1	9	8
done	9	8
0	9	10
1	11	10
done	11	10
0	9	10
1	12	10
2	13	10
done	13	10
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	9	16
1	14	16
2	21	11
3	31	11
4	37	11
5	45	11
6	57	11
7	71	11
8	82	11
done	82	11
0	8	9
1	11	9
2	12	9
done	12	9
0	4	4
1	8	3
2	9	1
done	9	1
0	4	4
1	8	3
2	9	1
done	9	1
0	10	12
1	26	12
2	40	12
3	67	12
4	115	12
5	244	12
6	681	12
7	2579	12
done	5000	12
0	9	14
1	20	12
2	34	12
3	60	12
4	101	12
5	184	12
6	347	12
7	794	12
8	3315	12
done	5000	12
0	7	7
1	8	7
done	8	7
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	53	7
3	126	7
4	311	7
5	908	7
6	1962	7
7	2848	7
8	3668	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	22	9
2	35	9
3	62	9
4	110	9
5	236	9
6	661	9
7	2558	9
done	5001	9
0	9	17
1	23	13
2	42	13
3	60	13
4	88	13
5	128	13
6	202	13
7	431	13
8	1258	13
9	4973	13
done	5000	13
0	7	11
1	16	9
2	26	9
3	46	9
4	79	9
5	152	9
6	296	9
7	702	9
8	3160	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	10	20
1	15	20
2	20	20
3	25	20
4	43	20
5	83	20
6	194	20
7	573	20
8	2246	20
done	5000	20
0	9	10
1	12	10
2	13	10
done	13	10
0	2	2
1	5	1
done	5	1
0	10	11
1	15	11
2	16	11
done	16	11
0	2	2
1	5	1
done	5	1
0	2	2
1	5	1
done	5	1
0	2	2
done	2	2
0	8	8
1	12	8
2	14	7
done	14	7
0	11	13
1	29	13
2	45	12
3	75	12
4	128	12
5	260	12
6	729	12
7	2742	12
done	5001	12
0	11	19
1	25	13
2	44	13
3	62	13
4	90	13
5	130	13
6	204	13
7	435	13
8	1273	13
9	4968	13
done	5000	13
0	10	15
1	23	13
2	39	12
3	75	12
4	136	12
5	262	12
6	576	12
7	1687	12
done	5000	12
0	7	7
1	9	5
2	10	5
done	10	5
0	2	2
done	2	2
0	8	8
1	12	8
2	14	7
done	14	7
0	2	2
done	2	2
0	7	7
1	8	5
done	8	5
0	9	10
1	14	8
2	19	8
3	25	8
4	34	8
5	43	8
6	73	8
7	83	8
8	107	8
9	178	8
10	217	8
11	275	8
12	358	8
13	389	8
14	392	8
done	392	8
0	9	10
1	14	10
2	17	9
3	22	9
4	34	9
5	48	9
6	110	9
7	213	9
8	497	9
9	1494	9
10	4814	9
done	5000	9
0	10	21
1	15	21
2	18	19
3	21	19
4	27	19
5	31	19
6	47	19
7	53	19
8	67	19
9	104	19
10	166	19
11	211	19
12	262	19
13	364	19
14	396	19
15	397	19
done	397	19
0	9	10
1	14	10
2	17	9
3	20	9
4	26	9
5	30	9
6	46	9
7	52	9
8	66	9
9	103	9
10	165	9
11	210	9
12	260	9
13	357	9
14	388	9
15	389	9
done	389	9
0	10	29
1	18	28
2	44	10
3	143	10
4	437	10
5	1226	10
6	2537	10
done	5001	10
0	9	10
1	14	10
2	17	9
3	20	9
4	26	9
5	30	9
6	46	9
7	52	9
8	66	9
9	103	9
10	165	9
11	210	9
12	260	9
13	357	9
14	388	9
15	389	9
done	389	9
0	9	10
1	14	10
2	17	9
3	20	9
4	26	9
5	30	9
6	46	9
7	52	9
8	66	9
9	103	9
10	165	9
11	210	9
12	260	9
13	357	9
14	388	9
15	389	9
done	389	9
0	9	10
1	15	10
2	23	8
3	25	8
done	25	8
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	9	10
1	16	10
2	27	8
3	46	8
4	59	8
5	77	8
6	114	8
7	147	8
8	176	8
9	179	8
done	179	8
0	7	8
1	10	8
2	11	8
done	11	8
0	7	8
1	10	8
2	11	8
done	11	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	13	22
1	28	22
2	70	9
3	118	7
4	177	7
5	236	7
6	308	7
7	376	7
8	405	7
9	449	7
10	530	7
11	606	7
12	619	7
done	619	7
0	8	9
1	13	9
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	51	8
8	65	8
9	102	8
10	163	8
11	210	8
12	261	8
13	361	8
14	394	8
15	395	8
done	395	8
0	8	9
1	13	9
2	16	8
3	19	8
4	25	8
5	29	8
6	45	8
7	51	8
8	65	8
9	102	8
10	163	8
11	210	8
12	261	8
13	361	8
14	394	8
15	395	8
done	395	8

prune91.0ms

Filtered

54 candidates to 80 candidates (-48.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	80	4	84

Merged error: 0b

Counts

84 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (exp a) (exp b))
0.3b	(* (sqrt (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))))
0.8b	(/ (exp a) (+ (exp a) (exp b)))
0.8b	(/ (exp a) (+ (exp a) (exp b)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

122×	`*-un-lft-identity`
98×	`sqrt-prod`
90×	`add-sqr-sqrt` `times-frac`
62×	`add-cube-cbrt`
29×	`swap-sqr`
27×	`distribute-lft-out`
21×	`associate-r` `associate-l`
19×	`pow1`
12×	`associate-/r/`
10×	`add-cbrt-cube`
9×	`unswap-sqr`
8×	`add-exp-log` `sqrt-pow1` `pow1/2` `associate-/r*`
7×	`flip3-+` `flip-+`
6×	`div-inv` `associate-/l*` `add-log-exp`
5×	`pow-prod-up`
4×	`sqrt-div`
3×	`pow-prod-down` `pow-sqr`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`+-commutative` `pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `associate-l/` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 186

Calls

4 calls:

5.0ms	(+ (exp a) (exp b))
28.0ms	(* (sqrt (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))))
9.0ms	(/ (exp a) (+ (exp a) (exp b)))
11.0ms	(/ (exp a) (+ (exp a) (exp b)))

series51.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ (exp a) (exp b))
18.0ms	(* (sqrt (/ (exp a) (+ (exp a) (exp b)))) (sqrt (/ (exp a) (+ (exp a) (exp b)))))
13.0ms	(/ (exp a) (+ (exp a) (exp b)))
14.0ms	(/ (exp a) (+ (exp a) (exp b)))

simplify1.3min

Counts

198 → 198

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	10	8
2	11	8
done	11	8
0	7	9
1	11	9
2	13	8
3	14	8
done	14	8
0	7	9
1	8	9
done	8	9
0	10	26
1	34	25
2	101	12
3	237	10
4	546	10
5	1429	10
6	3643	10
done	5001	10
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	16	26
2	32	10
3	72	10
4	158	10
5	314	10
6	611	10
7	1502	10
done	5000	10
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	3	3
done	3	3
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	10	21
1	17	21
2	26	21
3	32	21
done	32	21
0	8	10
1	9	10
done	9	10
0	9	14
1	12	14
2	14	14
3	15	14
done	15	14
0	8	10
1	9	10
done	9	10
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	9
1	8	9
done	8	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	9
1	8	9
done	8	9
0	9	17
1	12	17
done	12	17
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	5
1	7	3
2	9	3
done	9	3
0	7	9
1	8	9
done	8	9
0	5	5
1	7	3
2	9	3
done	9	3
0	7	9
1	8	9
done	8	9
0	9	15
1	14	15
done	14	15
0	7	9
1	8	9
done	8	9
0	8	8
1	11	8
done	11	8
0	7	9
1	8	9
done	8	9
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	7	7
1	10	7
done	10	7
0	6	8
1	7	8
done	7	8
0	8	16
1	11	16
done	11	16
0	7	9
1	8	9
done	8	9
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	8
1	7	8
done	7	8
0	9	12
1	23	12
2	36	12
3	63	12
4	111	12
5	238	12
6	672	12
7	2576	12
done	5000	12
0	8	14
1	17	12
2	29	12
3	51	12
4	84	12
5	157	12
6	309	12
7	754	12
8	3447	12
done	5000	12
0	7	8
1	10	8
2	11	8
done	11	8
0	7	9
1	11	9
2	13	8
3	14	8
done	14	8
0	7	9
1	8	9
done	8	9
0	10	26
1	34	25
2	101	12
3	237	10
4	546	10
5	1429	10
6	3643	10
done	5001	10
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	16	26
2	32	10
3	72	10
4	158	10
5	314	10
6	611	10
7	1502	10
done	5000	10
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	3	3
done	3	3
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	10	21
1	17	21
2	26	21
3	32	21
done	32	21
0	8	10
1	9	10
done	9	10
0	9	14
1	12	14
2	14	14
3	15	14
done	15	14
0	8	10
1	9	10
done	9	10
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	9
1	8	9
done	8	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	7	9
1	8	9
done	8	9
0	9	17
1	12	17
done	12	17
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	8	10
1	9	10
done	9	10
0	5	5
1	7	3
2	9	3
done	9	3
0	7	9
1	8	9
done	8	9
0	5	5
1	7	3
2	9	3
done	9	3
0	7	9
1	8	9
done	8	9
0	9	15
1	14	15
done	14	15
0	7	9
1	8	9
done	8	9
0	8	8
1	11	8
done	11	8
0	7	9
1	8	9
done	8	9
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	2	3
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	7	7
1	10	7
done	10	7
0	6	8
1	7	8
done	7	8
0	8	16
1	11	16
done	11	16
0	7	9
1	8	9
done	8	9
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	6	2
2	8	2
done	8	2
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	6	8
1	7	8
done	7	8
0	9	12
1	23	12
2	36	12
3	63	12
4	111	12
5	238	12
6	672	12
7	2576	12
done	5000	12
0	8	14
1	17	12
2	29	12
3	51	12
4	84	12
5	157	12
6	309	12
7	754	12
8	3447	12
done	5000	12
0	2	3
1	5	1
2	7	1
done	7	1
0	5	5
1	8	1
done	8	1
0	2	3
1	6	1
done	6	1
0	5	5
1	8	3
done	8	1
0	4	7
1	8	3
2	9	1
done	9	1
0	7	17
1	12	17
2	18	17
3	27	16
4	50	16
5	66	16
6	98	16
7	140	16
8	233	15
9	783	15
done	5000	15
0	8	19
1	9	8
2	10	8
done	10	8
0	7	17
1	12	17
2	18	17
3	27	16
4	50	16
5	66	16
6	98	16
7	140	16
8	233	15
9	783	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	9	21
1	12	12
2	13	12
done	13	12
0	9	20
1	12	9
2	18	9
3	21	8
4	22	8
done	22	8
0	9	20
1	12	9
2	17	9
3	22	9
4	40	9
5	80	9
6	188	9
7	571	9
8	2260	9
done	5000	9
0	10	59
1	18	26
2	44	23
3	101	10
4	228	10
5	597	10
6	1327	10
7	3965	10
done	5000	10
0	10	41
1	11	19
2	12	19
done	12	19
0	9	20
1	10	9
2	11	9
done	11	9
0	10	59
1	19	26
2	40	10
3	99	10
4	229	10
5	636	10
6	1460	10
7	4408	10
done	5001	10
0	7	17
1	12	17
2	18	17
3	27	16
4	50	16
5	66	16
6	98	16
7	140	16
8	233	15
9	783	15
done	5000	15
0	9	20
1	11	9
done	11	9
0	9	20
1	11	9
done	11	9
0	4	7
done	4	2
0	7	13
1	8	5
2	9	5
done	9	5
0	10	43
1	15	43
2	17	23
3	26	12
4	41	12
5	67	12
6	137	12
7	352	12
8	1259	12
done	5000	12
0	9	21
1	10	21
done	10	21
0	10	41
1	12	19
2	13	19
done	13	19
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	12	45
1	19	21
2	30	21
3	36	21
done	36	21
0	10	23
1	11	10
2	12	10
done	12	10
0	11	31
1	14	14
2	17	14
3	18	14
done	18	14
0	10	23
1	11	10
2	12	10
done	12	10
0	8	21
1	12	7
2	22	7
3	31	7
4	36	7
done	36	7
0	9	21
1	10	9
2	11	9
done	11	9
0	8	21
1	12	7
2	22	7
3	31	7
4	36	7
done	36	7
0	9	21
1	10	9
2	11	9
done	11	9
0	8	21
1	12	7
2	22	7
3	31	7
4	36	7
done	36	7
0	9	21
1	10	9
2	11	9
done	11	9
0	8	21
1	12	7
2	22	7
3	31	7
4	36	7
done	36	7
0	9	21
1	10	9
2	11	9
done	11	9
0	11	37
1	14	17
2	15	17
done	15	17
0	10	23
1	11	10
2	12	10
done	12	10
0	10	23
1	11	10
2	12	10
done	12	10
0	10	23
1	11	10
2	12	10
done	12	10
0	7	13
1	9	3
2	14	3
3	18	3
4	23	3
done	23	3
0	9	21
1	10	9
2	11	9
done	11	9
0	7	13
1	9	3
2	14	3
3	18	3
4	23	3
done	23	3
0	9	21
1	10	9
2	11	9
done	11	9
0	7	13
1	9	3
2	14	3
3	18	3
4	23	3
done	23	3
0	9	21
1	10	9
2	11	9
done	11	9
0	7	13
1	9	3
2	14	3
3	18	3
4	23	3
done	23	3
0	9	21
1	10	9
2	11	9
done	11	9
0	11	33
1	16	15
2	17	15
done	17	15
0	9	21
1	10	9
2	11	9
done	11	9
0	10	19
1	13	8
2	14	8
done	14	8
0	9	21
1	10	9
2	11	9
done	11	9
0	4	9
1	6	1
done	6	1
0	8	19
1	9	8
2	10	8
done	10	8
0	4	9
1	6	1
done	6	1
0	8	19
1	9	8
2	10	8
done	10	8
0	4	9
1	6	1
done	6	1
0	8	19
1	9	8
2	10	8
done	10	8
0	4	9
1	6	1
done	6	1
0	8	19
1	9	8
2	10	8
done	10	8
0	3	5
1	5	1
done	5	1
0	8	19
1	9	8
2	10	8
done	10	8
0	4	7
done	4	2
0	9	17
1	12	7
2	13	7
done	13	7
0	11	27
1	25	12
2	39	12
3	66	12
4	114	12
5	246	12
6	678	12
7	2582	12
done	5000	12
0	11	37
1	25	13
2	45	13
3	63	13
4	91	13
5	131	13
6	205	13
7	432	13
8	1256	13
9	4953	13
done	5000	13
0	10	31
1	19	12
2	32	12
3	54	12
4	87	12
5	160	12
6	312	12
7	753	12
8	3431	12
done	5000	12
0	7	13
1	9	5
2	11	5
done	11	5
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	2	3
1	4	1
done	4	1
0	8	19
1	9	8
2	10	8
done	10	8
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	13	22
1	15	22
done	15	22
0	13	22
1	15	22
done	15	22
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	13	22
1	15	22
done	15	22
0	13	22
1	15	22
done	15	22
0	10	23
1	11	10
2	12	10
done	12	10
0	10	23
1	11	10
2	12	10
done	12	10
0	13	22
1	15	22
done	15	22
0	13	22
1	15	22
done	15	22
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	13	22
1	15	22
done	15	22
0	13	22
1	15	22
done	15	22
0	9	21
1	10	9
2	11	9
done	11	9
0	9	21
1	10	9
2	11	9
done	11	9
0	3	3
1	5	1
2	7	1
done	7	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	1
done	10	1
0	10	31
1	14	31
2	16	31
done	16	31
0	11	30
1	14	20
done	14	20
0	9	20
1	11	20
done	11	20
0	14	32
1	22	32
2	32	21
3	38	21
done	38	21
0	13	25
1	17	25
2	19	25
3	20	25
done	20	25
0	13	20
1	19	18
2	26	14
3	31	14
done	31	14
0	13	20
1	19	18
2	26	14
3	31	14
done	31	14
0	13	28
1	17	28
done	17	28
0	12	21
1	14	21
done	14	21
0	12	16
1	16	14
2	18	14
done	18	14
0	12	16
1	16	14
2	18	14
done	18	14
0	13	26
1	19	26
done	19	26
0	12	19
1	16	19
done	16	19
0	11	14
1	15	11
done	15	11
0	11	14
1	15	11
done	15	11
0	10	12
1	14	11
done	14	11
0	9	13
1	11	13
done	11	13
0	14	23
1	30	23
2	43	23
3	70	23
4	118	23
5	254	23
6	696	23
7	2621	23
done	5000	23
0	13	25
1	23	23
2	33	23
3	55	23
4	88	23
5	161	23
6	317	23
7	759	23
8	3408	23
done	5000	23
0	9	20
1	11	20
done	11	20
0	9	11
1	13	9
2	16	9
done	16	9
0	9	20
1	11	20
done	11	20
0	10	20
1	12	20
done	12	20
0	9	20
1	11	20
done	11	20
0	12	21
1	14	21
done	14	21
0	12	21
1	14	21
done	14	21
0	11	20
1	13	20
done	13	20
0	11	20
1	13	20
done	13	20
0	12	21
1	14	21
done	14	21
0	12	21
1	14	21
done	14	21
0	11	20
1	13	20
done	13	20
0	11	20
1	13	20
done	13	20
0	11	20
1	13	20
done	13	20
0	11	20
1	13	20
done	13	20
0	8	19
1	9	8
2	10	8
done	10	8
0	8	19
1	9	8
2	10	8
done	10	8
0	8	19
1	9	8
2	10	8
done	10	8
0	11	18
1	15	18
done	15	18
0	14	28
1	30	24
2	49	24
3	67	24
4	95	24
5	135	24
6	209	24
7	444	24
8	1298	24
done	5000	24
0	10	16
1	14	16
2	15	16
done	15	16
0	9	20
1	11	20
done	11	20
0	8	19
1	9	8
2	10	8
done	10	8
0	9	13
1	11	13
done	11	13
0	9	13
1	11	13
done	11	13
0	7	7
1	10	6
2	11	6
done	11	6
0	6	6
1	7	6
done	7	6
0	6	6
1	10	6
2	11	6
done	11	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	21	17
2	53	7
3	126	7
4	311	7
5	908	7
6	1962	7
7	2848	7
8	3668	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	8	9
1	22	9
2	35	9
3	62	9
4	110	9
5	236	9
6	661	9
7	2558	9
done	5001	9
0	9	17
1	23	13
2	42	13
3	60	13
4	88	13
5	128	13
6	202	13
7	431	13
8	1258	13
9	4973	13
done	5000	13
0	7	11
1	16	9
2	26	9
3	46	9
4	79	9
5	152	9
6	296	9
7	702	9
8	3160	9
done	5000	9
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	8	9
1	15	9
2	29	9
3	39	7
4	50	7
5	70	7
6	97	7
7	118	7
8	134	7
9	148	7
10	181	7
11	202	7
done	202	7
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	8	9
1	15	9
2	29	9
3	39	7
4	50	7
5	70	7
6	97	7
7	118	7
8	134	7
9	148	7
10	181	7
11	202	7
done	202	7
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	8	9
1	15	9
2	29	9
3	39	7
4	50	7
5	70	7
6	97	7
7	118	7
8	134	7
9	148	7
10	181	7
11	202	7
done	202	7
0	6	8
1	7	8
done	7	8
0	6	8
1	7	8
done	7	8
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5

prune161.0ms

Filtered

123 candidates to 198 candidates (-61.0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	198	0	198
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	198	4	202

Merged error: 0b

Counts

202 → 4

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (exp a) (+ a (+ b 2)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
15×	`times-frac`
12×	`distribute-lft-out`
11×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`associate-/r*`
3×	`add-cbrt-cube` `associate-/l*`
2×	`add-exp-log` `associate-/r/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip-+` `div-inv` `add-log-exp`

Counts

1 → 37

Calls

1 calls:

9.0ms

(/ (exp a) (+ a (+ b 2)))

series17.0ms

Counts

1 → 3

Calls

1 calls:

17.0ms

(/ (exp a) (+ a (+ b 2)))

simplify8.4s

Counts

40 → 40

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	13	8
2	20	8
done	20	8
0	8	9
1	15	9
2	23	8
3	26	8
done	26	8
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	11	26
1	38	25
2	146	12
3	545	10
4	2558	10
done	5000	10
0	9	19
1	13	19
2	19	19
done	19	19
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	9	26
1	20	26
2	42	10
3	83	10
4	201	10
5	614	10
6	2107	10
done	5000	10
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	3	3
done	3	3
0	6	6
1	13	6
2	28	6
3	48	5
4	57	5
5	72	5
6	92	5
7	108	5
8	114	5
9	120	5
10	123	5
done	123	5
0	11	21
1	21	21
2	36	21
3	42	21
done	42	21
0	9	10
1	13	10
2	19	10
done	19	10
0	10	14
1	16	14
2	24	14
3	27	14
done	27	14
0	9	10
1	13	10
2	19	10
done	19	10
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	9
1	12	9
2	18	9
done	18	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	9
1	12	9
2	18	9
done	18	9
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	8	9
1	12	9
2	18	9
done	18	9
0	10	17
1	16	17
2	22	17
done	22	17
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	9	10
1	13	10
2	19	10
done	19	10
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
done	18	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
done	18	9
0	5	5
1	7	3
2	9	3
done	9	3
0	8	9
1	12	9
2	18	9
done	18	9
0	9	15
1	17	15
2	23	15
3	25	15
done	25	15
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	8	8
1	14	8
2	20	8
3	22	8
done	22	8
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	2	3
1	4	1
done	4	1
0	7	8
1	11	8
2	17	8
done	17	8
0	7	7
1	13	7
2	19	7
done	19	7
0	7	8
1	11	8
2	17	8
done	17	8
0	9	16
1	15	16
2	21	16
done	21	16
0	8	9
1	12	9
2	18	9
3	20	9
done	20	9
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	6	2
2	8	2
done	8	2
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	12	9
2	18	9
done	18	9
0	8	9
1	12	9
2	18	9
done	18	9
0	7	8
1	11	8
2	17	8
done	17	8
0	10	12
1	24	12
2	49	12
3	107	12
4	247	12
5	711	12
6	2693	12
done	5000	12
0	9	14
1	21	14
2	57	14
3	151	14
4	454	14
5	1304	14
done	5000	14
0	8	9
1	15	9
2	29	9
3	39	7
4	50	7
5	70	7
6	97	7
7	118	7
8	134	7
9	148	7
10	181	7
11	202	7
done	202	7
0	1	1
done	1	1
0	1	1
done	1	1

prune44.0ms

Filtered

25 candidates to 40 candidates (-60.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	40	4	44

Merged error: 0b

Counts

44 → 4

regimes213.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	9	9
done	9	9

end0.0ms

sample683.0ms

Algorithm

intervals

Results

243.0ms	8000×	body	80	valid
100.0ms	3397×	body	80	overflowed

Details

sample32.0ms

simplify2.0ms

prune3.0ms

localize6.0ms

rewrite15.0ms

series21.0ms

simplify28.2s

prune61.0ms

localize12.0ms

rewrite26.0ms

series40.0ms

simplify1.4min

prune91.0ms

localize10.0ms

rewrite64.0ms

series51.0ms

simplify1.3min

prune161.0ms

localize6.0ms

rewrite10.0ms

series17.0ms

simplify8.4s

prune44.0ms

regimes213.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample683.0ms

Profiling