sqrt(2) cos(x) = cos(y) + (cos(y))^3, sqrt(2) sin(x) = sin(y) - (sin(y))^3, a = sin(x-y)