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

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

 при условиях 

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

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