tanx的半角公式是什么