Rewriting trigonometric expressions