>>232
y=atan(θ/2)(1+cosθ)
=2atan(θ/2){cos(θ/2)}^2
=2asin(θ/2)cos(θ/2)
=asinθ