Решение 

 

 

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

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