Average Error: 33.7 → 3.8
Time: 8.9s
Precision: 64
\[e^{\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]
↓
\[e^{\log \left(1 \cdot \mathsf{hypot}\left(x.re, x.im\right)\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right) \cdot \left(\left(\left(\sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot y.im\right) + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]
e^{\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)
↓
e^{\log \left(1 \cdot \mathsf{hypot}\left(x.re, x.im\right)\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right) \cdot \left(\left(\left(\sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot y.im\right) + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
	return ((double) (((double) exp(((double) (((double) (((double) log(((double) sqrt(((double) (((double) (x_46_re * x_46_re)) + ((double) (x_46_im * x_46_im)))))))) * y_46_re)) - ((double) (((double) atan2(x_46_im, x_46_re)) * y_46_im)))))) * ((double) sin(((double) (((double) (((double) log(((double) sqrt(((double) (((double) (x_46_re * x_46_re)) + ((double) (x_46_im * x_46_im)))))))) * y_46_im)) + ((double) (((double) atan2(x_46_im, x_46_re)) * y_46_re))))))));
}
↓
double code(double x_46_re, double x_46_im, double y_46_re, double y_46_im) {
	return ((double) (((double) exp(((double) (((double) (((double) log(((double) (1.0 * ((double) hypot(x_46_re, x_46_im)))))) * y_46_re)) - ((double) (((double) atan2(x_46_im, x_46_re)) * y_46_im)))))) * ((double) sin(((double) (((double) (((double) (((double) cbrt(((double) log(((double) hypot(x_46_im, x_46_re)))))) * ((double) cbrt(((double) log(((double) hypot(x_46_im, x_46_re)))))))) * ((double) (((double) (((double) (((double) cbrt(((double) cbrt(((double) log(((double) hypot(x_46_im, x_46_re)))))))) * ((double) cbrt(((double) cbrt(((double) log(((double) hypot(x_46_im, x_46_re)))))))))) * ((double) cbrt(((double) cbrt(((double) log(((double) hypot(x_46_im, x_46_re)))))))))) * y_46_im)))) + ((double) (((double) atan2(x_46_im, x_46_re)) * y_46_re))))))));
}

Error

Bits error versus x.re

Bits error versus x.im

Bits error versus y.re

Bits error versus y.im

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 33.7

    \[e^{\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]
  2. Using strategy rm

  3. Applied +-commutative33.7

    \[\leadsto e^{\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\sqrt{\color{blue}{x.im \cdot x.im + x.re \cdot x.re}}\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

  4. Applied hypot-def19.7

    \[\leadsto e^{\log \left(\sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \color{blue}{\left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]
  5. Using strategy rm

  6. Applied *-un-lft-identity19.7

    \[\leadsto e^{\log \left(\sqrt{\color{blue}{1 \cdot \left(x.re \cdot x.re + x.im \cdot x.im\right)}}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

  7. Applied sqrt-prod19.7

    \[\leadsto e^{\log \color{blue}{\left(\sqrt{1} \cdot \sqrt{x.re \cdot x.re + x.im \cdot x.im}\right)} \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

  8. Simplified19.7

    \[\leadsto e^{\log \left(\color{blue}{1} \cdot \sqrt{x.re \cdot x.re + x.im \cdot x.im}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

  9. Simplified3.5

    \[\leadsto e^{\log \left(1 \cdot \color{blue}{\mathsf{hypot}\left(x.re, x.im\right)}\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right) \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]
  10. Using strategy rm

  11. Applied add-cube-cbrt3.7

    \[\leadsto e^{\log \left(1 \cdot \mathsf{hypot}\left(x.re, x.im\right)\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\color{blue}{\left(\left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right) \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right)} \cdot y.im + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

  12. Applied associate-*l*3.7

    \[\leadsto e^{\log \left(1 \cdot \mathsf{hypot}\left(x.re, x.im\right)\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\color{blue}{\left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right) \cdot \left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot y.im\right)} + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]
  13. Using strategy rm

  14. Applied add-cube-cbrt3.8

    \[\leadsto e^{\log \left(1 \cdot \mathsf{hypot}\left(x.re, x.im\right)\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right) \cdot \left(\color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right)} \cdot y.im\right) + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

  15. Final simplification3.8

    \[\leadsto e^{\log \left(1 \cdot \mathsf{hypot}\left(x.re, x.im\right)\right) \cdot y.re - \tan^{-1}_* \frac{x.im}{x.re} \cdot y.im} \cdot \sin \left(\left(\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)} \cdot \sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}\right) \cdot \left(\left(\left(\sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\log \left(\mathsf{hypot}\left(x.im, x.re\right)\right)}}\right) \cdot y.im\right) + \tan^{-1}_* \frac{x.im}{x.re} \cdot y.re\right)\]

Reproduce

herbie shell --seed 2020113 +o rules:numerics
(FPCore (x.re x.im y.re y.im)
  :name "powComplex, imaginary part"
  :precision binary64
  (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))))