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