Ответ 

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