28 sqrt(`+`(`*`(2, `*`(x)), 31)) = 9.  

 

 

 

25