82 `<=`(`+`(`*`(`^`(log[abs(`+`(x, 1))](`+`(x, 1)), 8)), `*`(`^`(log[2](`+`(x, 1)), 2))), 22).