Спрощення і обчислення виразів