Details

sample33.0ms

Algorithm

intervals

Results

13.0ms

467×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	4
1	25	4
2	27	4
3	27	4

prune8.0ms

Filtered

1 candidates to 1 candidates (100.0%)

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 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* y y) (* x (+ 2.0 x)))
0.0b	(* x (+ 2.0 x))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-r` `add-cbrt-cube` `add-log-exp`
3×	`associate-l`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

4.0ms	(+ (* y y) (* x (+ 2.0 x)))
6.0ms	(* x (+ 2.0 x))

series72.0ms

Counts

2 → 6

Calls

2 calls:

31.0ms	(+ (* y y) (* x (+ 2.0 x)))
40.0ms	(* x (+ 2.0 x))

simplify33.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	206	183
1	1038	169
2	5002	169

prune99.0ms

Filtered

42 candidates to 27 candidates (64.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	39	5	44

Merged error: 0b

Counts

44 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ (* x 2.0) (* x x)) (* y y))
0.0b	(+ (* x 2.0) (* x x))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+` `distribute-lft-out`

Counts

2 → 25

Calls

2 calls:

5.0ms	(+ (+ (* x 2.0) (* x x)) (* y y))
3.0ms	(+ (* x 2.0) (* x x))

series80.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(+ (+ (* x 2.0) (* x x)) (* y y))
52.0ms	(+ (* x 2.0) (* x x))

simplify98.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	182	191
1	887	164
2	3634	160
3	5002	160

prune89.0ms

Filtered

31 candidates to 23 candidates (74.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	32	4	36

Merged error: 0b

Counts

36 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x x) (* y y))
0.0b	(+ (* x 2.0) (+ (* x x) (* y y)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+r+`

Counts

2 → 24

Calls

2 calls:

3.0ms	(+ (* x x) (* y y))
6.0ms	(+ (* x 2.0) (+ (* x x) (* y y)))

series55.0ms

Counts

2 → 6

Calls

2 calls:

26.0ms	(+ (* x x) (* y y))
29.0ms	(+ (* x 2.0) (+ (* x x) (* y y)))

simplify93.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	192	191
1	923	175
2	3366	171
3	5002	171

prune86.0ms

Filtered

30 candidates to 23 candidates (76.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	30	4	34

Merged error: 0b

Counts

34 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.4b	(* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
0.8b	(cbrt (+ 2.0 x))
0.8b	(cbrt (+ 2.0 x))
0.8b	(cbrt (+ 2.0 x))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
14×	`*-un-lft-identity`
12×	`cbrt-prod`
10×	`associate-*r/`
9×	`pow1` `add-exp-log` `add-sqr-sqrt` `flip3-+` `flip-+`
8×	`add-cube-cbrt`
7×	`add-cbrt-cube`
4×	`frac-times` `add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `distribute-lft-out`
2×	`associate-*l/`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

12.0ms	(* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
3.0ms	(cbrt (+ 2.0 x))
3.0ms	(cbrt (+ 2.0 x))
4.0ms	(cbrt (+ 2.0 x))

series392.0ms

Counts

4 → 12

Calls

4 calls:

140.0ms	(* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
83.0ms	(cbrt (+ 2.0 x))
84.0ms	(cbrt (+ 2.0 x))
85.0ms	(cbrt (+ 2.0 x))

simplify90.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	331	615
1	983	570
2	3579	528
3	5001	524

prune268.0ms

Filtered

81 candidates to 65 candidates (80.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	81	4	85

Merged error: 0b

Counts

85 → 4

regimes113.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	4
1	10	4

end0.0ms

sample703.0ms

Algorithm

intervals

Results

366.0ms

14143×

body

valid

Details

sample33.0ms

simplify5.0ms

prune8.0ms

localize6.0ms

rewrite10.0ms

series72.0ms

simplify33.0ms

prune99.0ms

localize6.0ms

rewrite9.0ms

series80.0ms

simplify98.0ms

prune89.0ms

localize7.0ms

rewrite10.0ms

series55.0ms

simplify93.0ms

prune86.0ms

localize10.0ms

rewrite24.0ms

series392.0ms

simplify90.0ms

prune268.0ms

regimes113.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample703.0ms

Profiling