Simplifying and Proving Trigonometric Functions