I suppose you all know the substitution formula for integrals. Well sometimes it seems to me you use substitutions which just don't fit directly in to that formula. For instance for the integral of 1/(1+x^2) you substitute x=tan(u). Why is it suddenly allowed to assume that x can be expressed through the tangent function? - certainly it just can't the the good old formula for integration by substitution?