12⁢α2⁢arcsin⁡(ζα)+12⁢ζ⁢(α2-ζ2)1/2=arcsin⁡(xa)-(1-a2)1/2⁢arctan⁡(x⁢(1-a2a2-x2)1/2),