Thanks Trebla... my bad...
Sorry guys but another question... This one's annoying as when I'm trying to fiddle around with trig integrals, I have to deal with tan(pi/2) not being defined and cot0 not being defined :(
\int_0^\frac{\pi}{2} \frac{dx}{cos^2x+2sin^2x}
Thanks