e^{re} \cdot \sin ime^{re} \cdot \sin im(FPCore (re im) :precision binary64 (* (exp re) (sin im)))
(FPCore (re im) :precision binary64 (* (exp re) (sin im)))
double code(double re, double im) {
return exp(re) * sin(im);
}
double code(double re, double im) {
return exp(re) * sin(im);
}













Bits error versus re













Bits error versus im
Results
| Alternative 1 | |
|---|---|
| Error | 20.2 |
| Cost | 25792 |
| Alternative 2 | |
|---|---|
| Error | 36.3 |
| Cost | 19520 |
| Alternative 3 | |
|---|---|
| Error | 21.0 |
| Cost | 7104 |
| Alternative 4 | |
|---|---|
| Error | 20.8 |
| Cost | 6720 |
| Alternative 5 | |
|---|---|
| Error | 21.1 |
| Cost | 6592 |
| Alternative 6 | |
|---|---|
| Error | 20.9 |
| Cost | 6464 |
| Alternative 7 | |
|---|---|
| Error | 41.5 |
| Cost | 6464 |
| Alternative 8 | |
|---|---|
| Error | 60.1 |
| Cost | 64 |
| Alternative 9 | |
|---|---|
| Error | 41.5 |
| Cost | 64 |
| Alternative 10 | |
|---|---|
| Error | 60.1 |
| Cost | 64 |

Initial program 0.0
Simplified0.0
Final simplification0.0
herbie shell --seed 2021022
(FPCore (re im)
:name "math.exp on complex, imaginary part"
:precision binary64
(* (exp re) (sin im)))