((x^2)^2)^2=x