Details

sample16.0ms

Algorithm

intervals

Results

6.0ms

284×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	4
1	9	4
2	9	4

prune3.0ms

Filtered

1 candidates to 0 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 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (fabs (- x y)) (fabs y))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 27

Calls

1 calls:

3.0ms

(/ (fabs (- x y)) (fabs y))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(/ (fabs (- x y)) (fabs y))

simplify84.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	86	226
1	235	208
2	584	208
3	1520	208
4	4363	208
5	5002	208

prune36.0ms

Filtered

30 candidates to 22 candidates (26.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Merged error: 0b

Counts

31 → 4

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (fabs y) (fabs (- x y)))
0.1b	(/ 1 (/ (fabs y) (fabs (- x y))))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
52×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/r/` `inv-pow`

Counts

2 → 103

Calls

2 calls:

3.0ms	(/ (fabs y) (fabs (- x y)))
5.0ms	(/ 1 (/ (fabs y) (fabs (- x y))))

series12.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ (fabs y) (fabs (- x y)))
6.0ms	(/ 1 (/ (fabs y) (fabs (- x y))))

simplify66.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	310	1034
1	1321	928
2	4671	854
3	5001	854

prune65.0ms

Filtered

109 candidates to 56 candidates (48.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	109	4	113

Merged error: 0b

Counts

113 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (fabs (- x y)) (fabs y))
0.1b	(pow (/ (fabs (- x y)) (fabs y)) 3)
16.6b	(cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

45×	`times-frac`
41×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
32×	`cbrt-prod`
26×	`unpow-prod-down` `cube-prod`
8×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
4×	`pow1`
3×	`pow-unpow` `associate-/r` `associate-/l` `add-log-exp`
2×	`cbrt-undiv` `cube-div` `cube-mult` `unpow3` `div-exp` `pow-exp` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `cbrt-div` `pow-pow` `frac-2neg` `pow1/3` `clear-num` `rem-cbrt-cube`

Counts

3 → 115

Calls

3 calls:

3.0ms	(/ (fabs (- x y)) (fabs y))
4.0ms	(pow (/ (fabs (- x y)) (fabs y)) 3)
5.0ms	(cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))

series26.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (fabs (- x y)) (fabs y))
15.0ms	(pow (/ (fabs (- x y)) (fabs y)) 3)
6.0ms	(cbrt (pow (/ (fabs (- x y)) (fabs y)) 3))

simplify49.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	317	1061
1	1463	978
2	5002	970

prune88.0ms

Filtered

124 candidates to 60 candidates (51.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	124	4	128

Merged error: 0b

Counts

128 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (fabs (- x y)) (fabs y))
0.0b	(exp (/ (fabs (- x y)) (fabs y)))
0.7b	(log (exp (/ (fabs (- x y)) (fabs y))))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

27×	`times-frac`
26×	`add-sqr-sqrt` `add-cube-cbrt` `exp-prod` `*-un-lft-identity`
14×	`log-pow`
5×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`log-prod` `associate-/r` `div-inv` `associate-/l`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `rem-exp-log`

Counts

3 → 73

Calls

3 calls:

3.0ms	(/ (fabs (- x y)) (fabs y))
3.0ms	(exp (/ (fabs (- x y)) (fabs y)))
4.0ms	(log (exp (/ (fabs (- x y)) (fabs y))))

series20.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ (fabs (- x y)) (fabs y))
9.0ms	(exp (/ (fabs (- x y)) (fabs y)))
6.0ms	(log (exp (/ (fabs (- x y)) (fabs y))))

simplify53.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (8.0ms)

Iter	Nodes	Cost
0	138	567
1	314	522
2	702	521
3	1828	521
4	5001	521

prune73.0ms

Filtered

82 candidates to 60 candidates (26.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	82	4	86

Merged error: 0b

Counts

86 → 4

regimes129.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	6	4

end0.0ms

sample430.0ms

Algorithm

intervals

Results

198.0ms

9112×

body

valid

Details

sample16.0ms

simplify4.0ms

prune3.0ms

localize5.0ms

rewrite3.0ms

series5.0ms

simplify84.0ms

prune36.0ms

localize6.0ms

rewrite12.0ms

series12.0ms

simplify66.0ms

prune65.0ms

localize9.0ms

rewrite16.0ms

series26.0ms

simplify49.0ms

prune88.0ms

localize9.0ms

rewrite12.0ms

series20.0ms

simplify53.0ms

prune73.0ms

regimes129.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample430.0ms

Profiling