86 `>=`(log[2](`+`(`^`(4, x), `^`(81, x), `-`(`*`(4, `*`(`^`(9, x)))), 3)), `+`(`*`(2, `*`(x)))).