56 `^`(3, `+`(x, `-`(3))) = 27.  

 

 

 

6