и там когда-то был @Munin

Я помню rip-а -- моего семинариста по тч, которого я постоянно разочаровывал. :(

Там никогда не было фриланса

Так и mathoverflow, вроде, тоже.

Ты опять не проветриваешь нифига?

Нет и никогда не будет библиотеки, которая будет уметь всё это решать. Возможно, есть или появятся библиотеки, которые смогут решать НЕКОТОРЫЕ из таких задач. В общем виде задача сравнения двух символьных выражений, которую придётся решать при решении этой задачи, эквивалентна проблеме констант, для неразрешимости которой достаточно, чтобы в выражениях была допустима композиция степеней с рациональными показателями — то есть гораздо меньше, чем даже с добавлением синусов.

Так что оставь надежду всяк сюда входящий

Ему ж только координаты точек вроде надо

Входящие, оставьте упованья

Ну, неразрешимость останется даже в такой формулировке

Ну так там и не нужна разрешимость. Графически с погрешность 1е-4 и хорош

Когда речь про физику, я обычно говорю «мир устроен не так хорошо, как вам кажется». А когда речь о чистой математике — тут еще хуже формулировки выходят:)

А, речь чисто про вычислительную сторону? Ну, я могу предположить, что какие-нибудь не очень адекватно заданные функции можно построить так, чтобы запороть любой наперёд заданный алгоритм

Функции — они не все такие белые и пушистые как в calculus one

Для всякой гладкой хуйни должно что-то быть. Речь не о каком то универсальном инструменте.

Во, теперь про гладкость заговорили

Ща вспомним про sin(exp(x)) :)

Потом придём к тому, что даже её мало

Потому что даже задача локализации корня — та ещё задача

Речь не о универсальном инструменте.