derivative [ 8x * cos(x) * arctan(x) ]