ddx atan(2 tan(x/2))/2