Ответ 

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