SINCOSTAN
Ptolemy's theorem