Решение 

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

⇒ 

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

⇔ 

 

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

>:070B5;L=>5 C@02=5=85 

> :>@=8