Решение 

 

 

 

 

Проверка 

> solve({`+`(`*`(4, `*`(sin(x)))) = y, sqrt(`+`(`-`(`*`(`^`(cos(x), 2))), `*`(`^`(y, 2)), `-`(3))) = sin(x)})
 

{x = `+`(`*`(`/`(1, 6), `*`(Pi))), y = 2} (56.2.1)