https://www.dict.cc/englisch-deutsch/law+of+cosine.html