d/dx 1/2 arcsin(tan(x/2))