y = 2 ^ arccot(x) - sin3
y ' = 2 ^ arccotx * [-1/(1+x²) ] * ln2
dy = 2 ^ arccotx * [-1/(1+x²) ] * ln2 dx