Решение 

`^`(`/`(1, 2), `+`(16, `-`(x))) = 64{x = 22}