derivative of (1/√2)arctan{(3tan(x/2)+1)/(2√2)}