derivative of (1/sqrt(10))*atan(sqrt(2/5)*x)