(y-α2)1/2-α⁢arctan⁡((y-α2)1/2α)=arccos⁡(x(1-α2)1/2)-α2⁢arccos⁡((1+α2)⁢x2-1+α2(1-α2)⁢(1-x2)),