arccos(-12 / 13) = pi - arccos(12 / 13)