Simplify (y^x*y^(-x))^4