Решение 

`^`(`/`(1, 3), `+`(3, `-`(x))) = 9{x = 5}