>>472
tan(x/2)=t, cosx=(1-t^2)/(1+t^2), sinx=2t/(1+t^2)