Ответ 

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

Image