78+ `<=`(`*`(`^`(log[abs(`+`(x, `-`(1)))](`+`(x, `-`(2))), 2)), 2). 

 

Image 

 

XX