Чему равна производная y=2^arccosx ?

Ох терпеть не могу производные, поэтому лучше проверь
y=2^arccos(x)
y`=arccos(x)*2^(arccos(x)-1)*(arccos(x))`
y`=arccos(x)*2^(arccos(x)-1)*( -1/(1-x^2)^1/2)
y`= - [arccos(x)*2^(arccos(x)-1)]/(1-x^2)^1/2

Производная сложной функции. Равно произвдению производной внешней функции на внутреннюю
Степень 1/2 - корень.