TR63Такую строку Вольфрам раскладывает на множители

и выдаёт лишь решения
обнуляющие левую и правую часть. Других решений, например
Уравнение

при условиях

не решает, хотя ответов минимум два:

.
он так и не находит. Во всяком случае у меня, почему и прошу показать точную и полную строку ввода что у Вас он их находит. Если находит, иначе и говорить не о чем, никакие
якобы 12 решений не интересуют, тем более что это очевидно ошибка.
Соответственно вообще непонятно о чём Вы говорите с самого начала, в какой такой форме ему задать условия чтобы он нашёл эти два решения? И как убедиться что других решений нет?
PS.
Пожалуй да, можно попросить вырезать обсуждение вольфрама отдельно. А, не получается аккуратно отрезать лишнее, да и тут же СП, пусть будет ...