78 log[2](`+`(5, x)) = 2.  

 

 

 

−1