Details

sample17.0ms

Algorithm

intervals

Results

6.0ms

301×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	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.2b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x 27.0) y)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-l` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (* x 27.0) y)

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (* x 27.0) y)

simplify20.7s

Counts

21 → 21

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	29	6
3	51	6
4	107	6
5	248	6
6	586	6
7	1550	6
done	5000	6
0	11	17
1	24	17
2	89	11
3	327	11
4	1072	9
5	2986	9
done	5000	9
0	9	17
1	26	17
2	93	9
3	379	9
4	1161	7
5	2175	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	91	7
3	423	7
4	1138	7
5	1610	7
6	3198	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	7	9
1	13	9
2	26	9
3	36	9
done	36	9
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	3	3
1	4	3
done	4	3
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune38.0ms

Filtered

15 candidates to 21 candidates (-40.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	17	4	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	5	22

Merged error: 0.0b

Counts

22 → 5

localize4.0ms

Local error

Found 1 expressions with local error:

0.2b	(* 27.0 (* x y))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-r` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

6.0ms

(* 27.0 (* x y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* 27.0 (* x y))

simplify24.0s

Counts

21 → 21

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune31.0ms

Filtered

14 candidates to 21 candidates (-50.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	21	5	26

Merged error: 0b

Counts

26 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (sqrt 27.0) (* x y))
0.3b	(* (sqrt 27.0) (* (sqrt 27.0) (* x y)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

16×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`associate-l`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
2×	`associate-r` `*-commutative` `add-log-exp`

Counts

2 → 45

Calls

2 calls:

7.0ms	(* (sqrt 27.0) (* x y))
14.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* x y)))

series16.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (sqrt 27.0) (* x y))
9.0ms	(* (sqrt 27.0) (* (sqrt 27.0) (* x y)))

simplify1.3min

Counts

51 → 51

Iterations

Useful iterations: done (1.0ms)

Iter	Nodes	Cost
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	10	13
1	17	13
2	33	11
3	45	11
4	46	11
done	46	11
0	9	12
1	17	12
2	27	10
3	42	10
4	48	10
done	48	10
0	9	11
1	16	11
2	31	11
3	53	10
4	70	10
done	70	10
0	8	10
1	18	10
2	41	6
3	77	6
4	110	6
5	114	6
done	114	6
0	8	10
1	17	10
2	39	6
3	93	6
4	205	6
5	496	6
6	1227	6
7	3747	6
done	5001	6
0	13	29
1	31	21
2	130	13
3	578	11
4	2325	9
done	5000	9
0	11	29
1	33	21
2	132	11
3	619	9
4	2405	9
5	4737	7
done	5001	7
0	11	29
1	30	21
2	135	13
3	719	13
4	3027	7
done	5000	7
0	9	21
1	16	21
2	30	13
3	44	13
done	44	13
0	8	10
1	15	10
2	29	6
3	43	6
done	43	6
0	9	29
1	25	29
2	106	7
3	535	7
4	2530	7
done	5001	7
0	8	10
1	15	10
2	29	6
3	43	6
done	43	6
0	8	10
1	15	10
2	29	6
3	43	6
done	43	6
0	3	5
done	3	1
0	8	10
1	15	10
2	35	10
3	58	10
4	59	10
done	59	10
0	9	10
1	16	10
2	36	10
3	58	10
4	61	10
done	61	10
0	8	10
1	15	10
2	35	10
3	58	10
4	59	10
done	59	10
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	8	10
1	15	10
2	35	10
3	58	10
4	59	10
done	59	10
0	7	9
1	14	9
2	28	5
3	42	5
done	42	5
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	9	9
1	13	9
2	19	9
done	19	9
0	8	8
1	13	8
2	18	8
3	22	8
done	22	8
0	7	7
1	14	7
2	27	7
3	41	7
done	41	7
0	7	7
1	13	7
2	27	7
3	54	7
4	111	7
5	250	7
6	613	7
7	1805	7
done	5000	7
0	12	20
1	25	16
2	88	12
3	311	12
4	927	10
5	2066	10
6	4991	10
done	5000	10
0	10	20
1	27	16
2	92	10
3	368	10
4	959	10
5	1328	10
6	2295	10
done	5000	10
0	8	15
1	12	15
2	18	15
3	20	15
done	20	15
0	7	7
1	11	7
2	17	7
done	17	7
0	8	20
1	22	20
2	93	8
3	405	8
4	1141	8
5	1608	8
6	3069	8
done	5001	8
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	4	4
1	5	4
done	5	4
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	7	7
1	11	7
2	17	7
done	17	7
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	8	8
1	17	8
2	43	5
3	72	5
4	155	5
5	457	5
6	1577	5
done	5000	5
0	8	8
1	17	8
2	43	5
3	72	5
4	155	5
5	457	5
6	1577	5
done	5000	5
0	8	8
1	17	8
2	43	5
3	72	5
4	155	5
5	457	5
6	1577	5
done	5000	5
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6

prune75.0ms

Filtered

37 candidates to 51 candidates (-37.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	51	5	56

Merged error: 0b

Counts

56 → 5

localize4.0ms

Local error

Found 1 expressions with local error:

0.4b	(* x (* 27.0 y))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

6×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
1×	`associate-r` `*-commutative` `add-log-exp`

Counts

1 → 18

Calls

1 calls:

6.0ms

(* x (* 27.0 y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* x (* 27.0 y))

simplify23.7s

Counts

21 → 21

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	8	8
1	12	8
2	18	8
3	20	8
done	20	8
0	7	7
1	12	7
2	17	7
3	21	7
done	21	7
0	6	6
1	13	6
2	26	6
3	38	6
4	40	6
done	40	6
0	6	6
1	12	6
2	26	6
3	51	6
4	108	6
5	245	6
6	602	6
7	1789	6
done	5000	6
0	11	17
1	24	17
2	90	11
3	328	11
4	1011	9
5	3067	9
done	5000	9
0	9	17
1	26	17
2	94	9
3	375	9
4	1093	7
5	2048	7
6	4895	7
done	5000	7
0	7	13
1	11	13
2	17	13
done	17	13
0	6	6
1	10	6
2	16	6
done	16	6
0	7	17
1	21	17
2	92	7
3	407	7
4	1210	7
5	1693	7
6	3142	7
done	5000	7
0	6	6
1	10	6
2	16	6
done	16	6
0	6	6
1	10	6
2	16	6
done	16	6
0	3	3
1	4	3
done	4	3
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	6	6
1	10	6
2	16	6
3	18	6
done	18	6
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5
0	5	5
1	9	5
2	15	5
done	15	5

prune20.0ms

Filtered

13 candidates to 21 candidates (-61.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	21	5	26

Merged error: 0b

Counts

26 → 5

regimes207.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample455.0ms

Algorithm

intervals

Results

186.0ms

9139×

body

valid

Details

sample17.0ms

simplify5.0ms

prune2.0ms

localize4.0ms

rewrite6.0ms

series4.0ms

simplify20.7s

prune38.0ms

localize4.0ms

rewrite6.0ms

series4.0ms

simplify24.0s

prune31.0ms

localize6.0ms

rewrite23.0ms

series16.0ms

simplify1.3min

prune75.0ms

localize4.0ms

rewrite6.0ms

series4.0ms

simplify23.7s

prune20.0ms

regimes207.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample455.0ms

Profiling