limit (1-x)^((log(1+x^2/2))/sin^5x) as x to 0