x5 !^2