(\cos(y))^2=\frac 1{1+(\tan(y))^2}=\frac{12x^2}{(x^2+3)^2}