Ответ 

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