Единственное, что его хоть как-то оправдывает -- что оно чисто алгебраическое.
Это его полностью оправдывает --- задача-то алгебраическая. В частности, занудство запланировано заранее. И здесь проще вспомнить про системы компьютерной алгебры, чем придумывать разные хитрости. Сюжет, откровенно говоря, скучноват.