Решение 

 

Замена:   

iff(`+`(`*`(`^`(t, 2)), `-`(`*`(2, `*`(t))), 1) = 0, t = 1) 

Исходная система равносильна