\frac{(\cos x)^4 - 3 \tan^2x }{\sin^2 x}, for x = \pi/4