derivative of (cos(x))^x