Details

sample16.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	8
1	10	8
2	12	8
done	12	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.0b

Counts

2 → 1

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 33

Calls

1 calls:

7.0ms

(/ 2.0 (+ (exp x) (exp (neg x))))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/ 2.0 (+ (exp x) (exp (neg x))))

simplify16.3s

Counts

36 → 36

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	17	10
done	17	10
0	8	9
1	14	9
2	18	9
3	19	9
done	19	9
0	8	9
1	11	9
2	13	9
done	13	9
0	11	26
1	35	26
2	107	12
3	285	10
4	1244	10
done	5000	10
0	9	19
1	12	19
2	14	19
done	14	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	26
1	19	26
2	37	10
3	75	10
4	158	10
5	319	10
6	665	10
7	1932	10
done	5000	10
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	2
done	2	2
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	11	21
1	20	21
2	31	21
3	37	21
done	37	21
0	9	10
1	12	10
2	14	10
done	14	10
0	10	13
1	15	13
2	19	13
3	20	13
done	20	13
0	9	10
1	12	10
2	14	10
done	14	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	18
1	15	18
2	17	18
done	17	18
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	9	17
1	15	17
done	15	17
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	12	9
done	12	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
done	11	8
0	7	8
1	10	8
2	12	8
done	12	8
0	9	17
1	14	17
2	16	17
done	16	17
0	8	9
1	11	9
2	13	9
done	13	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	12
1	26	12
2	51	12
3	102	12
4	197	12
5	407	11
6	1327	11
done	5000	11
0	9	15
1	20	13
2	40	12
3	81	11
4	157	11
5	317	11
6	736	11
7	1730	11
done	5000	11
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	7	8
1	10	8
2	12	8
done	12	8
0	8	9
1	13	8
2	20	8
3	31	8
4	55	8
5	106	8
6	236	8
7	676	8
8	2296	8
done	5001	8

prune47.0ms

Filtered

26 candidates to 36 candidates (-38.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	34	2	36
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	3	37

Merged error: 0b

Counts

37 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (/ 2.0 (+ (exp x) (exp (neg x)))))
0.0b	(* (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))) (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))))
0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))
0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

134×	`*-un-lft-identity`
116×	`sqrt-prod`
103×	`times-frac`
101×	`add-sqr-sqrt`
70×	`add-cube-cbrt`
29×	`swap-sqr` `distribute-lft-out`
21×	`associate-r` `associate-l`
20×	`pow1`
14×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
9×	`sqrt-pow1` `pow1/2` `unswap-sqr`
8×	`associate-/r*`
7×	`flip3-+` `flip-+` `div-inv`
6×	`associate-/l*`
5×	`sqrt-div` `pow-prod-up`
4×	`add-log-exp`
3×	`pow-prod-down` `pow-sqr`
2×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `div-exp` `clear-num`
1×	`pow2` `frac-times` `pow-plus` `sqrt-unprod` `associate-r/` `associate-l/` `prod-exp` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 204

Calls

4 calls:

8.0ms	(sqrt (/ 2.0 (+ (exp x) (exp (neg x)))))
27.0ms	(* (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))) (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))))
8.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
11.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))

series57.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(sqrt (/ 2.0 (+ (exp x) (exp (neg x)))))
19.0ms	(* (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))) (sqrt (/ 2.0 (+ (exp x) (exp (neg x))))))
10.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
11.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))

simplify1.7min

Counts

216 → 216

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	14	10
2	17	10
done	17	10
0	8	9
1	14	9
2	18	9
3	19	9
done	19	9
0	8	9
1	11	9
2	13	9
done	13	9
0	11	26
1	35	26
2	107	12
3	285	10
4	1244	10
done	5000	10
0	9	19
1	12	19
2	14	19
done	14	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	26
1	19	26
2	37	10
3	75	10
4	158	10
5	319	10
6	665	10
7	1932	10
done	5000	10
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	2
done	2	2
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	11	21
1	20	21
2	31	21
3	37	21
done	37	21
0	9	10
1	12	10
2	14	10
done	14	10
0	10	13
1	15	13
2	19	13
3	20	13
done	20	13
0	9	10
1	12	10
2	14	10
done	14	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	18
1	15	18
2	17	18
done	17	18
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	9	17
1	15	17
done	15	17
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	12	9
done	12	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
done	11	8
0	7	8
1	10	8
2	12	8
done	12	8
0	9	17
1	14	17
2	16	17
done	16	17
0	8	9
1	11	9
2	13	9
done	13	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	12
1	26	12
2	51	12
3	102	12
4	197	12
5	407	11
6	1327	11
done	5000	11
0	9	15
1	20	13
2	40	12
3	81	11
4	157	11
5	317	11
6	736	11
7	1730	11
done	5000	11
0	9	10
1	14	10
2	17	10
done	17	10
0	8	9
1	14	9
2	18	9
3	19	9
done	19	9
0	8	9
1	11	9
2	13	9
done	13	9
0	11	26
1	35	26
2	107	12
3	285	10
4	1244	10
done	5000	10
0	9	19
1	12	19
2	14	19
done	14	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	26
1	19	26
2	37	10
3	75	10
4	158	10
5	319	10
6	665	10
7	1932	10
done	5000	10
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	2
done	2	2
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	11	21
1	20	21
2	31	21
3	37	21
done	37	21
0	9	10
1	12	10
2	14	10
done	14	10
0	10	13
1	15	13
2	19	13
3	20	13
done	20	13
0	9	10
1	12	10
2	14	10
done	14	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	18
1	15	18
2	17	18
done	17	18
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	9	17
1	15	17
done	15	17
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	12	9
done	12	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
done	11	8
0	7	8
1	10	8
2	12	8
done	12	8
0	9	17
1	14	17
2	16	17
done	16	17
0	8	9
1	11	9
2	13	9
done	13	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	12
1	26	12
2	51	12
3	102	12
4	197	12
5	407	11
6	1327	11
done	5000	11
0	9	15
1	20	13
2	40	12
3	81	11
4	157	11
5	317	11
6	736	11
7	1730	11
done	5000	11
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	8	17
1	15	17
2	23	17
3	30	17
4	51	17
5	73	17
6	125	17
7	258	16
8	445	15
9	743	15
10	1396	15
done	5000	15
0	9	19
1	12	8
2	15	8
done	15	8
0	8	17
1	15	17
2	23	17
3	30	17
4	51	17
5	73	17
6	125	17
7	258	16
8	445	15
9	743	15
10	1396	15
done	5000	15
0	2	3
1	6	1
done	6	1
0	10	21
1	15	12
2	18	12
done	18	12
0	10	20
1	15	9
2	23	9
3	26	9
4	27	9
done	27	9
0	10	20
1	15	9
2	22	9
3	27	9
4	45	9
5	84	9
6	195	9
7	577	9
8	2258	9
done	5001	9
0	11	59
1	21	26
2	47	23
3	103	10
4	226	10
5	583	10
6	1341	10
7	4081	10
done	5000	10
0	11	41
1	14	19
2	17	19
done	17	19
0	10	20
1	13	9
2	16	9
done	16	9
0	11	59
1	22	26
2	44	10
3	102	10
4	228	10
5	622	10
6	1453	10
7	4512	10
done	5000	10
0	8	17
1	15	17
2	23	17
3	30	17
4	51	17
5	73	17
6	125	17
7	258	16
8	445	15
9	743	15
10	1396	15
done	5000	15
0	10	20
1	14	9
2	16	9
done	16	9
0	10	20
1	14	9
2	16	9
done	16	9
0	3	5
done	3	1
0	7	15
1	10	6
2	13	6
done	13	6
0	11	43
1	18	43
2	22	23
3	30	12
4	43	12
5	69	12
6	138	12
7	349	12
8	1245	12
done	5001	12
0	10	21
1	13	21
2	15	21
done	15	21
0	11	41
1	15	19
2	18	19
done	18	19
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	13	45
1	22	21
2	35	21
3	41	21
done	41	21
0	11	23
1	14	10
2	17	10
done	17	10
0	12	29
1	17	13
2	22	13
3	23	13
done	23	13
0	11	23
1	14	10
2	17	10
done	17	10
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	21
1	13	9
2	16	9
done	16	9
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	21
1	13	9
2	16	9
done	16	9
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	21
1	13	9
2	16	9
done	16	9
0	7	17
1	11	5
2	21	5
3	30	5
4	35	5
done	35	5
0	10	21
1	13	9
2	16	9
done	16	9
0	12	39
1	17	18
2	20	18
done	20	18
0	11	23
1	14	10
2	17	10
done	17	10
0	11	23
1	14	10
2	17	10
done	17	10
0	11	23
1	14	10
2	17	10
done	17	10
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	21
1	13	9
2	16	9
done	16	9
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	21
1	13	9
2	16	9
done	16	9
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	21
1	13	9
2	16	9
done	16	9
0	6	11
1	8	2
2	13	2
3	17	2
4	22	2
done	22	2
0	10	21
1	13	9
2	16	9
done	16	9
0	11	37
1	17	17
2	18	17
done	18	17
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	14	9
2	15	9
done	15	9
0	10	21
1	13	9
2	16	9
done	16	9
0	4	9
1	6	1
done	6	1
0	9	19
1	12	8
2	15	8
done	15	8
0	4	9
1	6	1
done	6	1
0	9	19
1	12	8
2	15	8
done	15	8
0	4	9
1	6	1
done	6	1
0	9	19
1	12	8
2	15	8
done	15	8
0	4	9
1	6	1
done	6	1
0	9	19
1	12	8
2	15	8
done	15	8
0	3	5
1	5	1
done	5	1
0	9	19
1	12	8
2	15	8
done	15	8
0	3	5
done	3	1
0	9	19
1	13	8
2	14	8
done	14	8
0	12	27
1	28	12
2	54	12
3	105	12
4	200	12
5	417	11
6	1341	11
done	5000	11
0	11	43
1	27	15
2	63	12
3	99	11
4	186	11
5	343	11
6	767	11
7	2139	11
done	5001	11
0	11	33
1	22	13
2	43	12
3	84	11
4	160	11
5	320	11
6	737	11
7	1746	11
done	5000	11
0	7	15
1	11	6
2	18	6
done	18	6
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	2	3
1	4	1
done	4	1
0	9	19
1	12	8
2	15	8
done	15	8
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	14	22
1	18	22
2	20	22
done	20	22
0	14	22
1	18	22
2	20	22
done	20	22
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	14	22
1	18	22
2	20	22
done	20	22
0	14	22
1	18	22
2	20	22
done	20	22
0	11	23
1	14	10
2	17	10
done	17	10
0	11	23
1	14	10
2	17	10
done	17	10
0	14	22
1	18	22
2	20	22
done	20	22
0	14	22
1	18	22
2	20	22
done	20	22
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	9
0	14	22
1	18	22
2	20	22
done	20	22
0	14	22
1	18	22
2	20	22
done	20	22
0	10	21
1	13	9
2	16	9
done	16	9
0	10	21
1	13	9
2	16	9
done	16	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	11	31
1	17	31
2	21	31
done	21	31
0	12	30
1	17	20
2	19	20
done	19	20
0	10	20
1	14	20
2	16	20
done	16	20
0	15	32
1	25	32
2	37	21
3	43	21
done	43	21
0	14	24
1	20	24
2	24	24
3	25	24
done	25	24
0	14	18
1	21	16
2	28	13
3	33	13
done	33	13
0	14	18
1	21	16
2	28	13
3	33	13
done	33	13
0	14	29
1	20	29
2	22	29
done	22	29
0	13	21
1	17	21
2	19	21
done	19	21
0	13	15
1	18	13
2	20	13
done	20	13
0	13	15
1	18	13
2	20	13
done	20	13
0	14	28
1	21	28
done	21	28
0	13	20
1	18	20
done	18	20
0	12	14
1	17	11
done	17	11
0	12	14
1	17	11
done	17	11
0	11	12
1	16	11
done	16	11
0	10	12
1	14	12
2	16	12
done	16	12
0	15	23
1	33	23
2	58	23
3	109	23
4	206	23
5	424	22
6	1332	22
done	5000	22
0	14	26
1	26	24
2	44	23
3	85	22
4	161	22
5	319	22
6	730	22
7	1733	22
done	5001	22
0	10	20
1	14	20
2	16	20
done	16	20
0	10	11
1	15	9
2	18	9
done	18	9
0	10	20
1	14	20
2	16	20
done	16	20
0	11	20
1	15	20
2	17	20
done	17	20
0	10	20
1	14	20
2	16	20
done	16	20
0	13	21
1	17	21
2	19	21
done	19	21
0	13	21
1	17	21
2	19	21
done	19	21
0	12	20
1	16	20
2	18	20
done	18	20
0	12	20
1	16	20
2	18	20
done	18	20
0	13	21
1	17	21
2	19	21
done	19	21
0	13	21
1	17	21
2	19	21
done	19	21
0	12	20
1	16	20
2	18	20
done	18	20
0	12	20
1	16	20
2	18	20
done	18	20
0	12	20
1	16	20
2	18	20
done	18	20
0	12	20
1	16	20
2	18	20
done	18	20
0	9	19
1	12	8
2	15	8
done	15	8
0	9	19
1	12	8
2	15	8
done	15	8
0	9	19
1	12	8
2	15	8
done	15	8
0	12	19
1	17	19
done	17	19
0	15	31
1	33	26
2	68	23
3	104	22
4	191	22
5	348	22
6	771	22
7	2130	22
done	5000	22
0	11	17
1	17	17
2	23	17
done	23	17
0	10	20
1	14	20
2	16	20
done	16	20
0	9	19
1	12	8
2	15	8
done	15	8
0	10	12
1	14	12
2	16	12
done	16	12
0	10	12
1	14	12
2	16	12
done	16	12
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	10	21
1	13	21
2	15	21
done	15	21
0	9	10
1	12	10
2	14	10
done	14	10
0	10	29
1	14	18
2	23	11
3	32	11
4	40	11
5	51	11
6	72	11
7	136	11
8	348	11
9	1305	11
done	5000	11
0	10	20
1	14	10
2	16	10
done	16	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	12	22
1	21	22
2	33	11
3	39	11
done	39	11
0	10	11
1	13	11
2	15	11
done	15	11
0	11	14
1	16	14
2	20	14
3	21	14
done	21	14
0	10	11
1	13	11
2	15	11
done	15	11
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	9	10
1	12	10
2	14	10
done	14	10
0	6	8
1	10	6
2	17	3
3	22	3
done	22	3
0	9	10
1	12	10
2	14	10
done	14	10
0	11	19
1	16	19
2	18	19
done	18	19
0	10	11
1	13	11
2	15	11
done	15	11
0	10	11
1	13	11
2	15	11
done	15	11
0	10	11
1	13	11
2	15	11
done	15	11
0	5	5
1	7	3
2	9	3
done	9	3
0	9	10
1	12	10
2	14	10
done	14	10
0	5	5
1	7	3
2	9	3
done	9	3
0	9	10
1	12	10
2	14	10
done	14	10
0	10	18
1	16	18
done	16	18
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	13	10
done	13	10
0	9	10
1	12	10
2	14	10
done	14	10
0	3	4
1	5	1
done	5	1
0	8	9
1	11	9
2	13	9
done	13	9
0	3	4
1	5	1
done	5	1
0	8	9
1	11	9
2	13	9
done	13	9
0	2	2
1	4	1
done	4	1
0	8	9
1	11	9
2	13	9
done	13	9
0	2	2
done	2	2
0	8	9
1	12	9
done	12	9
0	11	13
1	27	13
2	52	13
3	103	13
4	198	13
5	409	12
6	1333	12
done	5000	12
0	10	21
1	26	16
2	61	13
3	97	12
4	184	12
5	340	12
6	754	12
7	2118	12
done	5000	12
0	10	16
1	21	14
2	41	13
3	82	12
4	158	12
5	316	12
6	738	12
7	1742	12
done	5000	12
0	6	7
1	10	7
2	16	7
done	16	7
0	2	2
done	2	2
0	6	7
1	9	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	7	8
1	10	8
2	12	8
done	12	8
0	8	9
1	13	8
2	20	8
3	31	8
4	55	8
5	106	8
6	236	8
7	676	8
8	2296	8
done	5001	8
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	7	8
1	10	8
2	12	8
done	12	8
0	8	9
1	13	8
2	20	8
3	31	8
4	55	8
5	106	8
6	236	8
7	676	8
8	2296	8
done	5001	8
0	18	28
1	43	28
2	171	17
3	437	15
4	1356	15
5	4761	15
done	5000	15
0	10	11
1	17	11
2	29	8
3	42	8
4	72	8
5	172	8
6	589	8
7	2649	8
done	5000	8
0	11	12
1	21	11
2	38	8
3	60	8
4	114	8
5	263	8
6	788	8
7	3225	8
done	5000	8
0	26	43
1	66	43
2	207	41
3	728	29
4	3769	26
done	5000	26
0	11	12
1	16	12
done	16	12
0	12	13
1	20	12
2	26	12
3	35	12
4	59	12
5	108	12
6	234	12
7	667	12
8	2292	12
done	5001	12

prune297.0ms

Filtered

138 candidates to 216 candidates (-56.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	216	3	219

Merged error: 0b

Counts

219 → 3

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 2.0 (+ (exp x) (exp (neg x))))
0.3b	(cbrt (pow (/ 2.0 (+ (exp x) (exp (neg x)))) 3))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

48×	`*-un-lft-identity`
42×	`cbrt-prod`
36×	`times-frac`
28×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`unpow-prod-down` `cube-prod`
10×	`distribute-lft-out`
6×	`associate-/r/`
4×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
3×	`flip3-+` `flip-+` `div-inv` `associate-/l*`
2×	`pow1` `add-log-exp`
1×	`cbrt-undiv` `cube-div` `cube-mult` `cbrt-div` `frac-2neg` `pow1/3` `unpow3` `div-exp` `clear-num` `rem-cbrt-cube` `sqr-pow`

Counts

2 → 85

Calls

2 calls:

9.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
12.0ms	(cbrt (pow (/ 2.0 (+ (exp x) (exp (neg x)))) 3))

series20.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(/ 2.0 (+ (exp x) (exp (neg x))))
10.0ms	(cbrt (pow (/ 2.0 (+ (exp x) (exp (neg x)))) 3))

simplify4.0min

Counts

91 → 91

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	11	12
1	25	9
2	54	9
3	130	9
4	338	9
5	992	9
done	5000	9
0	11	12
1	25	9
2	51	9
3	125	9
4	332	9
5	985	9
done	5000	9
0	12	22
1	25	19
2	48	12
3	84	12
4	186	12
5	462	11
6	1521	11
done	5001	11
0	11	12
1	22	9
2	30	9
3	40	9
4	61	9
5	125	9
6	342	9
7	1268	9
done	5000	9
0	11	12
1	22	9
2	30	9
3	45	9
4	72	9
5	138	9
6	357	9
7	1282	9
done	5000	9
0	11	12
1	22	9
2	30	9
3	45	9
4	72	9
5	138	9
6	357	9
7	1282	9
done	5000	9
0	14	24
1	34	21
2	105	21
3	394	13
4	1711	13
done	5000	13
0	12	13
1	26	10
2	52	9
3	88	9
4	150	9
5	293	9
6	640	9
7	2162	9
done	5000	9
0	13	16
1	29	13
2	69	13
3	205	13
4	645	13
5	1757	13
done	5000	13
0	12	13
1	26	10
2	52	10
3	88	10
4	159	10
5	306	10
6	674	10
7	2312	10
done	5000	10
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	11	12
1	25	9
2	51	9
3	103	9
4	208	9
5	487	9
6	1884	9
done	5000	9
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	11	12
1	25	9
2	51	9
3	103	9
4	208	9
5	487	9
6	1884	9
done	5000	9
0	13	21
1	29	18
2	67	18
3	193	15
4	647	15
5	2284	15
done	5001	15
0	12	13
1	26	10
2	52	10
3	110	10
4	265	10
5	752	10
6	3283	10
done	5001	10
0	12	13
1	26	10
2	52	10
3	110	10
4	274	10
5	765	10
6	3326	10
done	5000	10
0	12	13
1	26	10
2	52	10
3	110	10
4	274	10
5	765	10
6	3326	10
done	5000	10
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	11	12
1	25	9
2	51	9
3	125	9
4	323	9
5	941	9
done	5000	9
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	11	12
1	25	9
2	51	9
3	125	9
4	323	9
5	941	9
done	5000	9
0	12	20
1	29	17
2	60	17
3	152	12
4	404	12
5	944	12
6	3135	12
done	5000	11
0	11	12
1	25	9
2	51	9
3	109	9
4	276	9
5	793	9
6	3424	9
done	5001	9
0	11	12
1	26	9
2	45	9
3	79	9
4	151	9
5	280	9
6	851	9
7	3057	9
done	5000	9
0	11	12
1	25	9
2	51	9
3	109	9
4	285	9
5	806	9
6	3478	9
done	5000	9
0	5	6
1	16	1
done	16	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	5	6
1	16	1
done	16	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	10	11
1	25	8
2	44	8
3	94	8
4	197	8
5	444	8
6	1607	8
done	5000	8
0	12	15
1	36	12
2	82	12
3	204	12
4	610	12
5	2535	11
done	5001	11
0	12	23
1	36	15
2	92	12
3	260	11
4	1305	11
done	5000	11
0	12	18
1	34	13
2	80	12
3	269	11
4	1394	11
done	5000	11
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	9	18
1	16	18
2	24	18
3	31	18
4	52	18
5	74	18
6	126	18
7	263	17
8	450	16
9	752	16
10	1401	16
done	5001	16
0	8	9
1	11	9
2	13	9
done	13	9
0	12	24
1	25	18
2	51	18
3	125	18
4	332	18
5	985	18
done	5000	18
0	11	12
1	25	9
2	51	9
3	125	9
4	332	9
5	985	9
done	5000	9
0	12	22
1	25	19
2	48	12
3	84	12
4	186	12
5	462	11
6	1521	11
done	5001	11
0	11	12
1	22	9
2	30	9
3	40	9
4	61	9
5	125	9
6	342	9
7	1268	9
done	5000	9
0	11	12
1	22	9
2	30	9
3	45	9
4	72	9
5	138	9
6	357	9
7	1282	9
done	5000	9
0	11	12
1	22	9
2	30	9
3	45	9
4	72	9
5	138	9
6	357	9
7	1282	9
done	5000	9
0	14	24
1	34	21
2	105	21
3	394	13
4	1711	13
done	5000	13
0	12	13
1	26	10
2	52	9
3	88	9
4	150	9
5	293	9
6	640	9
7	2162	9
done	5000	9
0	13	16
1	29	13
2	69	13
3	205	13
4	645	13
5	1757	13
done	5000	13
0	12	13
1	26	10
2	52	10
3	88	10
4	159	10
5	306	10
6	674	10
7	2312	10
done	5000	10
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	11	12
1	25	9
2	51	9
3	103	9
4	208	9
5	487	9
6	1884	9
done	5000	9
0	8	10
1	22	5
2	60	5
3	160	4
4	280	4
5	550	4
6	1600	4
done	5000	4
0	11	12
1	25	9
2	51	9
3	103	9
4	208	9
5	487	9
6	1884	9
done	5000	9
0	13	21
1	29	18
2	67	18
3	193	15
4	647	15
5	2284	15
done	5001	15
0	12	13
1	26	10
2	52	10
3	110	10
4	265	10
5	752	10
6	3283	10
done	5001	10
0	12	13
1	26	10
2	52	10
3	110	10
4	274	10
5	765	10
6	3326	10
done	5000	10
0	12	13
1	26	10
2	52	10
3	110	10
4	274	10
5	765	10
6	3326	10
done	5000	10
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	11	12
1	25	9
2	51	9
3	125	9
4	323	9
5	941	9
done	5000	9
0	7	7
1	19	2
2	35	2
3	60	2
4	116	2
5	289	2
6	1062	2
done	5000	2
0	11	12
1	25	9
2	51	9
3	125	9
4	323	9
5	941	9
done	5000	9
0	12	20
1	29	17
2	60	17
3	152	12
4	404	12
5	944	12
6	3135	12
done	5000	11
0	11	12
1	25	9
2	51	9
3	109	9
4	276	9
5	793	9
6	3424	9
done	5001	9
0	11	12
1	26	9
2	45	9
3	79	9
4	151	9
5	280	9
6	851	9
7	3057	9
done	5000	9
0	11	12
1	25	9
2	51	9
3	109	9
4	285	9
5	806	9
6	3478	9
done	5000	9
0	5	6
1	16	1
done	16	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	5	6
1	16	1
done	16	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	4	4
1	14	1
2	18	1
done	18	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	10	11
1	25	8
2	44	8
3	94	8
4	197	8
5	444	8
6	1607	8
done	5000	8
0	12	15
1	36	12
2	82	12
3	204	12
4	610	12
5	2535	11
done	5001	11
0	12	23
1	36	15
2	92	12
3	260	11
4	1305	11
done	5000	11
0	12	18
1	34	13
2	80	12
3	269	11
4	1394	11
done	5000	11
0	8	9
1	20	6
2	44	6
3	100	6
4	277	6
5	867	6
6	3515	6
done	5000	6
0	8	9
1	11	9
2	13	9
done	13	9
0	9	18
1	16	18
2	24	18
3	31	18
4	52	18
5	74	18
6	126	18
7	263	17
8	450	16
9	752	16
10	1401	16
done	5001	16
0	11	12
1	25	12
2	52	12
3	126	12
4	334	12
5	989	12
done	5001	12
0	11	12
1	25	12
2	52	12
3	126	12
4	334	12
5	989	12
done	5001	12
0	2	2
1	4	1
done	4	1
0	10	11
1	24	8
2	50	8
3	124	8
4	331	8
5	979	8
done	5000	8
0	12	13
1	20	11
2	28	11
3	38	11
4	59	11
5	116	11
6	320	11
7	1239	11
done	5000	11
0	12	13
1	20	11
2	28	11
3	38	11
4	59	11
5	116	11
6	320	11
7	1239	11
done	5000	11
0	4	4
1	12	1
2	18	1
3	28	1
4	51	1
5	114	1
6	328	1
7	1249	1
done	5000	1
0	8	9
1	19	6
2	43	6
3	93	6
4	233	6
5	843	6
6	3253	6
done	5000	6
0	12	25
1	26	19
2	52	19
3	126	19
4	333	19
5	988	19
done	5000	19
0	11	12
1	25	9
2	51	9
3	125	9
4	332	9
5	985	9
done	5000	9
0	12	35
1	24	10
2	50	10
3	124	10
4	331	10
5	984	10
done	5000	10
0	11	12
1	25	9
2	51	9
3	125	9
4	332	9
5	985	9
done	5000	9
0	11	12
1	25	9
2	51	9
3	125	9
4	332	9
5	985	9
done	5000	9
0	9	10
1	14	10
2	17	10
done	17	10
0	8	9
1	14	9
2	18	9
3	19	9
done	19	9
0	8	9
1	11	9
2	13	9
done	13	9
0	11	26
1	35	26
2	107	12
3	285	10
4	1244	10
done	5000	10
0	9	19
1	12	19
2	14	19
done	14	19
0	8	9
1	11	9
2	13	9
done	13	9
0	9	26
1	19	26
2	37	10
3	75	10
4	158	10
5	319	10
6	665	10
7	1932	10
done	5000	10
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	2
done	2	2
0	6	7
1	12	7
2	19	7
3	20	7
done	20	7
0	11	21
1	20	21
2	31	21
3	37	21
done	37	21
0	9	10
1	12	10
2	14	10
done	14	10
0	10	13
1	15	13
2	19	13
3	20	13
done	20	13
0	9	10
1	12	10
2	14	10
done	14	10
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	8	9
1	11	9
2	13	9
done	13	9
0	10	18
1	15	18
2	17	18
done	17	18
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	9	10
1	12	10
2	14	10
done	14	10
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	4	4
1	6	2
2	8	2
done	8	2
0	8	9
1	11	9
2	13	9
done	13	9
0	9	17
1	15	17
done	15	17
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	12	9
done	12	9
0	8	9
1	11	9
2	13	9
done	13	9
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	2	3
1	4	1
done	4	1
0	7	8
1	10	8
2	12	8
done	12	8
0	7	8
1	11	8
done	11	8
0	7	8
1	10	8
2	12	8
done	12	8
0	9	17
1	14	17
2	16	17
done	16	17
0	8	9
1	11	9
2	13	9
done	13	9
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	8	9
1	11	9
2	13	9
done	13	9
0	8	9
1	11	9
2	13	9
done	13	9
0	7	8
1	10	8
2	12	8
done	12	8
0	10	12
1	26	12
2	51	12
3	102	12
4	197	12
5	407	11
6	1327	11
done	5000	11
0	9	15
1	20	13
2	40	12
3	81	11
4	157	11
5	317	11
6	736	11
7	1730	11
done	5000	11
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	7	8
1	10	8
2	12	8
done	12	8
0	8	9
1	13	8
2	20	8
3	31	8
4	55	8
5	106	8
6	236	8
7	676	8
8	2296	8
done	5001	8
0	12	13
1	27	13
2	74	13
3	119	13
4	163	13
5	209	13
6	330	13
7	779	13
8	2603	13
done	5000	13
0	7	8
1	10	8
2	12	8
done	12	8
0	8	9
1	13	8
2	20	8
3	31	8
4	55	8
5	106	8
6	236	8
7	676	8
8	2296	8
done	5001	8

prune101.0ms

Filtered

52 candidates to 91 candidates (-75.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	91	3	94

Merged error: 0b

Counts

94 → 3

regimes103.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	10	19
done	10	19

end0.0ms

sample421.0ms

Algorithm

intervals

Results

265.0ms

8000×

body

valid

Details

sample16.0ms

simplify4.0ms

prune3.0ms

localize7.0ms

rewrite8.0ms

series10.0ms

simplify16.3s

prune47.0ms

localize9.0ms

rewrite65.0ms

series57.0ms

simplify1.7min

prune297.0ms

localize9.0ms

rewrite25.0ms

series20.0ms

simplify4.0min

prune101.0ms

regimes103.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample421.0ms

Profiling