いやまぁ機械にとってどうかは知らんけど一般解法自体は簡単でしょ
単位円書いてピタゴラスの定理と余弦定理だか正弦定理だかで行けたはず