How do you differentiate #f(x)=arctanx*3x# using the product rule?