58 `^`(5, `+`(4, `-`(x))) = 25.  

 

 

 

2