Решение 

Уравнение равносильно системе:
Решим уравнение системы при помощи замены  

⇒ 

Система, равносильная исходной: 

⇔ 

 

x = `+`(`-`(`*`(`+`(`*`(2, `*`(Pi))), `/`(1, 3))), `*`(2, `*`(Pi, `*`(n)))), `in`(n, Z) 

 

Click 

> :>@=8