X3 y3 z3 formula