Exception for (pow (- (* x x)) (/ 1 2))

Math

\[{\left(-x \cdot x\right)}^{\left(\frac{1}{2}\right)}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x)
  :name "(pow (- (* x x)) (/ 1 2))"
  :precision binary64
  (pow (neg (* x x)) (/ 1.0 2.0)))