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