Details

sample17.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

8.0ms

327×

body

valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	3
1	20	3
2	22	3
3	22	3

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

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

4.3b	(* x (+ 1.0 (* y y)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 22

Calls

1 calls:

5.0ms

(* x (+ 1.0 (* y y)))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(* x (+ 1.0 (* y y)))

simplify78.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	144	115
1	712	101
2	3303	100
3	5003	100

prune43.0ms

Filtered

17 candidates to 25 candidates (-47.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Merged error: 4.4b

Counts

26 → 5

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 1.0) (* x (* y y)))
8.0b	(* x (* y y))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 31

Calls

2 calls:

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

series18.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(+ (* x 1.0) (* x (* y y)))
8.0ms	(* x (* y y))

simplify75.0ms

Algorithm

egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	167	162
1	633	137
2	2466	134
3	5001	134

prune63.0ms

Filtered

23 candidates to 37 candidates (-60.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	34	3	37
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	37	5	42

Merged error: 0.0b

Counts

42 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 1.0) (* (* x y) y))
0.2b	(* (* x y) y)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-l` `sum-log` `*-commutative` `flip-+`

Counts

2 → 29

Calls

2 calls:

6.0ms	(+ (* x 1.0) (* (* x y) y))
10.0ms	(* (* x y) y)

series28.0ms

Counts

2 → 6

Calls

2 calls:

17.0ms	(+ (* x 1.0) (* (* x y) y))
11.0ms	(* (* x y) y)

simplify167.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 3 (163.0ms)

Iter	Nodes	Cost
0	174	161
1	815	137
2	4140	129
3	5001	128

prune41.0ms

Filtered

23 candidates to 35 candidates (-52.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	34	1	35
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	35	5	40

Merged error: 0.0b

Counts

40 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
21.2b	(cbrt (* (* x y) y))
21.2b	(cbrt (* (* x y) y))
21.2b	(cbrt (* (* x y) y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1`
10×	`add-sqr-sqrt`
9×	`pow1/3`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`swap-sqr` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 58

Calls

4 calls:

5.0ms	(* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
4.0ms	(cbrt (* (* x y) y))
3.0ms	(cbrt (* (* x y) y))
3.0ms	(cbrt (* (* x y) y))

series86.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
20.0ms	(cbrt (* (* x y) y))
20.0ms	(cbrt (* (* x y) y))
20.0ms	(cbrt (* (* x y) y))

simplify92.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 3 (86.0ms)

Iter	Nodes	Cost
0	201	457
1	651	406
2	3270	349
3	5001	324

prune66.0ms

Filtered

52 candidates to 70 candidates (-34.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	70	5	75

Merged error: 0.0b

Counts

75 → 5

regimes179.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample477.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 100%

Results

250.0ms

10534×

body

valid

Details

sample17.0ms

simplify6.0ms

prune2.0ms

localize4.0ms

rewrite5.0ms

series10.0ms

simplify78.0ms

prune43.0ms

localize5.0ms

rewrite9.0ms

series18.0ms

simplify75.0ms

prune63.0ms

localize10.0ms

rewrite17.0ms

series28.0ms

simplify167.0ms

prune41.0ms

localize9.0ms

rewrite16.0ms

series86.0ms

simplify92.0ms

prune66.0ms

regimes179.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample477.0ms

Profiling