X 3 1 formula