sin^2x cot^2x + cos^2x tan^2x = 1