added solvers for trigonometric inequations