FormulaSolver: ValueCheck Trigonometric Functions