Details

sample11.0ms

Algorithm

intervals

Results

5.0ms

256×

body

valid

simplify4.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(- x (/ 1.0 3.0))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 15

Calls

1 calls:

7.0ms

(- x (/ 1.0 3.0))

series3.0ms

Counts

1 → 3

Calls

1 calls:

3.0ms

(- x (/ 1.0 3.0))

simplify10.6s

Counts

18 → 18

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	9	6
2	11	6
3	16	6
4	19	6
5	25	6
6	29	6
7	45	6
8	49	6
9	54	6
10	61	6
11	79	6
12	100	6
13	113	6
14	118	6
15	120	6
done	120	6
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	11	6
2	16	6
3	19	6
4	25	6
5	29	6
6	45	6
7	51	6
8	56	6
9	63	6
10	82	6
11	103	6
12	116	6
13	121	6
14	123	6
done	123	6
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	10	17
2	27	7
3	78	7
4	242	7
5	792	7
6	2652	7
done	5000	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	8	9
1	26	9
2	68	9
3	178	9
4	565	9
5	1964	9
done	5000	9
0	9	17
1	22	13
2	40	13
3	59	13
4	71	13
5	75	13
6	76	13
done	76	13
0	4	4
1	6	4
done	6	4
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	13	8
done	13	8
0	5	5
1	7	5
2	10	5
done	10	5
0	4	4
1	6	4
done	6	4
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3

prune25.0ms

Filtered

13 candidates to 18 candidates (-38.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	2	19

Merged error: 0.0b

Counts

19 → 2

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ 1.0 3.0))
0.0b	(exp (- x (/ 1.0 3.0)))
0.8b	(log (exp (- x (/ 1.0 3.0))))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
12×	`exp-prod` `*-un-lft-identity`
8×	`add-log-exp`
7×	`log-pow`
6×	`add-cube-cbrt` `difference-of-squares`
5×	`log-prod`
4×	`pow1` `exp-sum`
3×	`add-exp-log` `sub-neg` `times-frac` `add-cbrt-cube` `distribute-lft-out--`
2×	`exp-diff` `diff-log` `rem-exp-log`
1×	`log-div` `flip3--` `rem-log-exp` `flip--`

Counts

3 → 54

Calls

3 calls:

7.0ms	(- x (/ 1.0 3.0))
8.0ms	(exp (- x (/ 1.0 3.0)))
9.0ms	(log (exp (- x (/ 1.0 3.0))))

series8.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(- x (/ 1.0 3.0))
3.0ms	(exp (- x (/ 1.0 3.0)))
3.0ms	(log (exp (- x (/ 1.0 3.0))))

simplify33.1s

Counts

63 → 63

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	1
0	6	6
1	11	4
2	17	4
3	18	4
4	23	4
5	29	4
6	35	4
7	42	4
8	46	4
9	47	4
10	50	4
11	52	4
12	54	4
done	54	4
0	3	3
done	3	1
0	6	6
1	11	4
2	17	4
3	18	4
4	23	4
5	29	4
6	35	4
7	42	4
8	46	4
9	47	4
10	50	4
11	52	4
12	54	4
done	54	4
0	9	16
1	16	16
2	23	10
3	27	10
4	33	10
5	37	10
6	53	10
7	59	10
8	64	10
9	71	10
10	90	10
11	111	10
12	128	10
13	133	10
14	135	10
done	135	10
0	8	8
1	13	8
2	18	8
3	21	8
4	27	8
5	31	8
6	47	8
7	53	8
8	58	8
9	65	8
10	84	8
11	105	8
12	121	8
13	126	8
14	128	8
done	128	8
0	8	8
1	13	8
2	18	8
3	21	8
4	27	8
5	31	8
6	47	8
7	53	8
8	58	8
9	65	8
10	84	8
11	105	8
12	121	8
13	126	8
14	128	8
done	128	8
0	8	8
1	13	8
2	18	8
3	21	8
4	27	8
5	31	8
6	47	8
7	53	8
8	58	8
9	65	8
10	84	8
11	105	8
12	121	8
13	126	8
14	128	8
done	128	8
0	2	2
1	4	1
done	4	1
0	7	7
1	12	5
2	20	5
3	27	5
4	36	5
5	45	5
6	75	5
7	86	5
8	110	5
9	171	5
10	188	5
11	204	5
12	217	5
13	219	5
done	219	5
0	3	3
done	3	1
0	5	5
done	5	3
0	7	7
1	12	5
2	20	5
3	27	5
4	36	5
5	45	5
6	75	5
7	86	5
8	110	5
9	171	5
10	188	5
11	204	5
12	217	5
13	219	5
done	219	5
0	9	15
1	13	13
2	22	13
3	30	13
4	55	13
5	128	13
6	377	13
7	1354	13
done	5001	13
0	8	8
1	10	6
2	13	6
done	13	6
0	3	3
1	6	1
done	6	1
0	9	9
1	13	7
2	17	7
3	18	7
done	18	7
0	10	10
1	14	8
2	18	8
3	19	8
done	19	8
0	3	3
1	6	1
done	6	1
0	8	8
1	13	6
2	21	6
3	28	6
4	37	6
5	46	6
6	76	6
7	87	6
8	111	6
9	173	6
10	189	6
11	208	6
12	220	6
13	222	6
done	222	6
0	8	8
1	13	6
2	21	6
3	28	6
4	37	6
5	46	6
6	76	6
7	87	6
8	111	6
9	175	6
10	193	6
11	212	6
12	226	6
13	228	6
done	228	6
0	9	17
1	14	13
2	22	13
3	29	13
4	38	13
5	47	13
6	77	13
7	88	13
8	112	13
9	176	13
10	194	13
11	213	13
12	225	13
13	227	13
done	227	13
0	8	8
1	13	6
2	21	6
3	28	6
4	37	6
5	46	6
6	76	6
7	87	6
8	111	6
9	173	6
10	189	6
11	208	6
12	220	6
13	222	6
done	222	6
0	9	23
1	15	17
2	37	7
3	95	7
4	300	7
5	861	7
6	2878	7
done	5001	7
0	8	8
1	13	6
2	21	6
3	28	6
4	37	6
5	46	6
6	76	6
7	87	6
8	111	6
9	173	6
10	189	6
11	208	6
12	220	6
13	222	6
done	222	6
0	8	8
1	13	6
2	21	6
3	28	6
4	37	6
5	46	6
6	76	6
7	87	6
8	111	6
9	173	6
10	189	6
11	208	6
12	220	6
13	222	6
done	222	6
0	8	14
1	12	14
2	19	14
3	24	14
4	42	14
5	82	14
6	191	14
7	577	14
8	2279	14
done	5000	14
0	7	7
1	9	7
2	12	7
done	12	7
0	2	2
1	5	1
done	5	1
0	8	8
1	12	8
2	13	8
done	13	8
0	9	9
1	13	9
2	14	9
done	14	9
0	2	2
1	5	1
done	5	1
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	2	2
done	2	2
0	5	5
1	10	5
2	12	5
done	12	5
0	2	2
done	2	2
0	4	4
done	4	4
0	7	7
1	12	5
2	20	5
3	27	5
4	36	5
5	45	5
6	75	5
7	86	5
8	110	5
9	171	5
10	188	5
11	204	5
12	217	5
13	219	5
done	219	5
0	7	7
1	12	7
2	17	7
3	22	7
4	34	7
5	48	7
6	102	7
7	191	7
8	446	7
9	1332	7
10	4541	7
done	5000	7
0	8	15
1	13	15
2	18	15
3	21	15
4	27	15
5	31	15
6	47	15
7	53	15
8	58	15
9	65	15
10	84	15
11	105	15
12	121	15
13	126	15
14	128	15
done	128	15
0	7	7
1	12	7
2	17	7
3	20	7
4	26	7
5	30	7
6	46	7
7	52	7
8	57	7
9	64	7
10	82	7
11	103	7
12	121	7
13	126	7
14	128	7
done	128	7
0	8	20
1	16	19
2	44	8
3	143	8
4	443	8
5	1221	8
6	2398	8
done	5001	8
0	7	7
1	12	7
2	17	7
3	20	7
4	26	7
5	30	7
6	46	7
7	52	7
8	57	7
9	64	7
10	82	7
11	103	7
12	121	7
13	126	7
14	128	7
done	128	7
0	7	7
1	12	7
2	17	7
3	20	7
4	26	7
5	30	7
6	46	7
7	52	7
8	57	7
9	64	7
10	82	7
11	103	7
12	121	7
13	126	7
14	128	7
done	128	7
0	7	7
1	9	6
2	11	6
3	16	6
4	19	6
5	25	6
6	29	6
7	45	6
8	49	6
9	54	6
10	61	6
11	79	6
12	100	6
13	113	6
14	118	6
15	120	6
done	120	6
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	11	6
2	16	6
3	19	6
4	25	6
5	29	6
6	45	6
7	51	6
8	56	6
9	63	6
10	82	6
11	103	6
12	116	6
13	121	6
14	123	6
done	123	6
0	7	13
1	9	13
2	12	13
done	12	13
0	6	6
1	8	6
2	11	6
done	11	6
0	7	17
1	10	17
2	27	7
3	78	7
4	242	7
5	792	7
6	2652	7
done	5000	7
0	6	6
1	8	6
2	11	6
done	11	6
0	6	6
1	8	6
2	11	6
done	11	6
0	8	9
1	26	9
2	68	9
3	178	9
4	565	9
5	1964	9
done	5000	9
0	9	17
1	22	13
2	40	13
3	59	13
4	71	13
5	75	13
6	76	13
done	76	13
0	4	4
1	6	4
done	6	4
0	7	11
1	16	11
2	31	11
3	65	11
4	119	11
5	197	11
6	283	11
7	473	11
8	1859	11
done	5000	11
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	7	7
1	9	7
2	10	7
done	10	7
0	8	8
1	9	8
done	9	8
0	8	8
1	10	8
2	13	8
done	13	8
0	5	5
1	7	5
2	10	5
done	10	5
0	4	4
1	6	4
done	6	4
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	12	19
1	28	19
2	69	16
3	128	13
4	209	13
5	288	12
6	345	12
7	416	12
8	634	12
9	1559	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	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	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3
0	3	3
1	5	3
2	6	3
done	6	3

prune86.0ms

Filtered

43 candidates to 63 candidates (-46.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0.0b

Counts

65 → 2

regimes51.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
done	5	5

end0.0ms

sample285.0ms

Algorithm

intervals

Results

148.0ms

8000×

body

valid

Details

sample11.0ms

simplify4.0ms

prune2.0ms

localize3.0ms

rewrite7.0ms

series3.0ms

simplify10.6s

prune25.0ms

localize10.0ms

rewrite26.0ms

series8.0ms

simplify33.1s

prune86.0ms

regimes51.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample285.0ms

Profiling