Pow simplification: if x and y are >=0 then x**y is real 

This is a replacement for #2567.