[math-fun] The sin halfangle formula