Details

sample15.0ms

Algorithm

intervals

Results

5.0ms

285×

body

valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	5
1	15	5

prune8.0ms

Filtered

1 candidates to 1 candidates (0.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.1b

Counts

2 → 2

localize3.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (* x 27.0) y)

rewrite5.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)

simplify38.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4903	122
1	4903	122

prune37.0ms

Filtered

11 candidates to 21 candidates (-90.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	16	5	21
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	16	7	23

Merged error: 0.0b

Counts

23 → 7

localize4.0ms

Local error

Found 1 expressions with local error:

0.7b	(* x (* 27.0 y))

rewrite5.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:

5.0ms

(* x (* 27.0 y))

series4.0ms

Counts

1 → 3

Calls

1 calls:

4.0ms

(* x (* 27.0 y))

simplify51.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5111	121

prune27.0ms

Filtered

7 candidates to 21 candidates (-200.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	20	8	28

Merged error: 0.0b

Counts

28 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.5b	(cbrt y)
0.5b	(cbrt y)
0.5b	(cbrt y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series90.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt y) (cbrt y))
21.0ms	(cbrt y)
21.0ms	(cbrt y)
23.0ms	(cbrt y)

simplify73.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5837	334

prune79.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	84	9	93

Merged error: 0.0b

Counts

93 → 9

localize7.0ms

Local error

Found 4 expressions with local error:

0.7b	(* x (* 27.0 y))
7.9b	(cbrt (* x (* 27.0 y)))
7.9b	(cbrt (* x (* 27.0 y)))
7.9b	(cbrt (* x (* 27.0 y)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 45

Calls

4 calls:

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

series55.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x (* 27.0 y))
16.0ms	(cbrt (* x (* 27.0 y)))
18.0ms	(cbrt (* x (* 27.0 y)))
17.0ms	(cbrt (* x (* 27.0 y)))

simplify36.0ms

Algorithm

egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5345	367

prune77.0ms

Filtered

38 candidates to 57 candidates (-50.0%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	55	11	66

Merged error: 0b

Counts

66 → 11

regimes247.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	5
1	7	5

end0.0ms

sample375.0ms

Algorithm

intervals

Results

162.0ms

9070×

body

valid

Details

sample15.0ms

simplify3.0ms

prune8.0ms

localize3.0ms

rewrite5.0ms

series4.0ms

simplify38.0ms

prune37.0ms

localize4.0ms

rewrite5.0ms

series4.0ms

simplify51.0ms

prune27.0ms

localize8.0ms

rewrite11.0ms

series90.0ms

simplify73.0ms

prune79.0ms

localize7.0ms

rewrite16.0ms

series55.0ms

simplify36.0ms

prune77.0ms

regimes247.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample375.0ms

Profiling