Ответ 

x = `+`(`*`(`+`(`*`(5, `*`(Pi))), `/`(1, 6)), `*`(2, `*`(Pi, `*`(n)))), `in`(n, Z)