1 -- 2 x / cos(x) \ lim |--------| x->0+\cos(2*x)/
Limit((cos(x)/cos(2*x))^(x^(-2)), x, 0)
1 -- 2 x / cos(x) \ lim |--------| x->0+\cos(2*x)/
3/2 e
= 4.48168907033806
1 -- 2 x / cos(x) \ lim |--------| x->0-\cos(2*x)/
3/2 e
= 4.48168907033806
= 4.48168907033806