Details

sample17.0ms

Algorithm

intervals

Results

5.0ms	233×	body	80	valid
1.0ms	10×	body	1280	valid
1.0ms	4×	body	2560	valid
0.0ms	4×	body	640	valid
0.0ms	5×	body	320	valid

simplify110.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	19	7
3	29	7
4	39	7
5	48	7
6	53	7
7	62	7
8	78	7
9	99	7
10	110	7
11	112	7
12	116	7
13	119	7
done	119	7

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.1b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

9.0ms

(+ x (/ (- x y) 2.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ x (/ (- x y) 2.0))

simplify1.1s

Counts

16 → 16

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	34	178
1	92	171
2	215	157
3	612	157
4	2388	157
done	5001	157

prune40.0ms

Filtered

12 candidates to 16 candidates (-33.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	11	5	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	12	5	17

Merged error: 0.0b

Counts

17 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* 1.5 x) (* 0.5 y))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

4.0ms

(- (* 1.5 x) (* 0.5 y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(- (* 1.5 x) (* 0.5 y))

simplify1.6s

Counts

15 → 15

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	29	174
1	88	169
2	268	155
3	742	155
4	1680	155
done	5001	155

prune27.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	15	5	20

Merged error: 0.0b

Counts

20 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
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 → 95

Calls

4 calls:

22.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
12.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series199.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
46.0ms	(cbrt (+ x (/ (- x y) 2.0)))
51.0ms	(cbrt (+ x (/ (- x y) 2.0)))
46.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify2.2s

Counts

107 → 107

Iterations

Useful iterations: 4 (1.2s)

Iter	Nodes	Cost
0	129	2124
1	263	1959
2	621	1841
3	1595	1650
4	4643	1594
done	5000	1594

prune224.0ms

Filtered

75 candidates to 107 candidates (-42.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	105	7	112

Merged error: 0.0b

Counts

112 → 7

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

16×	`cbrt-prod` `*-un-lft-identity`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div`
4×	`pow1` `add-exp-log` `flip3-+` `pow1/3` `add-cbrt-cube` `flip-+` `distribute-lft-out` `add-log-exp`

Counts

4 → 56

Calls

4 calls:

9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
10.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))
9.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series189.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(cbrt (+ x (/ (- x y) 2.0)))
48.0ms	(cbrt (+ x (/ (- x y) 2.0)))
45.0ms	(cbrt (+ x (/ (- x y) 2.0)))
50.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify1.1s

Counts

68 → 68

Iterations

Useful iterations: 4 (380.0ms)

Iter	Nodes	Cost
0	68	1040
1	145	1004
2	306	936
3	750	908
4	2302	860
done	5000	860

prune227.0ms

Filtered

56 candidates to 68 candidates (-21.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	68	0	68
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	68	7	75

Merged error: 0.0b

Counts

75 → 7

regimes204.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7

end0.0ms

sample457.0ms

Algorithm

intervals

Results

172.0ms	7413×	body	80	valid
23.0ms	222×	body	1280	valid
12.0ms	99×	body	2560	valid
11.0ms	135×	body	640	valid
5.0ms	87×	body	320	valid
2.0ms	48×	body	160	valid

Details

sample17.0ms

simplify110.0ms

prune3.0ms

localize5.0ms

rewrite10.0ms

series6.0ms

simplify1.1s

prune40.0ms

localize5.0ms

rewrite4.0ms

series5.0ms

simplify1.6s

prune27.0ms

localize9.0ms

rewrite55.0ms

series199.0ms

simplify2.2s

prune224.0ms

localize17.0ms

rewrite38.0ms

series189.0ms

simplify1.1s

prune227.0ms

regimes204.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample457.0ms

Profiling