81 `<=`(log[abs(x)](`+`(`-`(`*`(2, `*`(`^`(x, 2)))), `*`(15, `*`(x)), `-`(18))), 2).