x4)^