\[x.re \cdot y.re - x.im \cdot y.im\]

Timeout in 10.0m

Use the --timeout flag to change the timeout.

Reproduce

herbie shell --seed 2019090 +o rules:numerics
(FPCore (x.re x.im y.re y.im)
  :name "_multiplyComplex, real part"
  (- (* x.re y.re) (* x.im y.im)))