WolframAlpha computational knowledge AI
180^2*(\pi-(cos^{-1}(\lambda)-\lambda*sqrt(1-\lambda^2))), \lambda=145/180