Решение 

Уравнение равносильно системе:
Решим уравнение системы.
Замена:  

⇒ 

Исходная система равносильна следующей: 

⇔ 

 

x = `+`(`*`(`+`(`*`(5, `*`(Pi))), `/`(1, 6)), `*`(2, `*`(Pi, `*`(n)))), `in`(n, Z)