limit of (tan(cos x))/ (tan(1-(x^2)/2)) as x -> 0