Решение 

sqrt(`+`(13, `-`(x))) = 3{x = 4}