added solvers for trigonometric inequations and processing of definite integrals