Тригонометрические неравенства

[di_lynx]

Да, всё так. Похоже, у нас численная проверка просто не отловила это значение. Значит, упрощать выражение было нельзя, придётся с полным работать. Тем не менее, решение всё равно может быть полезным, большое спасибо! Про разностные схемы - нет, это не оно, тут исследование связано с дуальной гипотезой Смейла.