cos^2x \neq 0