Решение 

 

 

`+`(`*`(2, `*`(cos, `*`(x, `*`(`+`(`*`(sin, `*`(x)), `*`(`/`(1, 2), `*`(sqrt(2))))))))) = 0 

Исходная система равносильна