Это пока что поиск направления. Громоздкость формул не так страшна, потому что нужно искать оптимальные конфигураци параметров в достаточно узких пределах, что можно уже сделать численно.

Самому не очень хочется выводить что-нибудь вроде квадратного корня из полинома четвёртой степени, вот и искал примеры, насколько далеко можно зайти на преобразованиях формул и стоит ли это делать. Или есть какие-то зацепки, чтобы проблемы обойти.