24 `>=`(`+`(`^`(3, x), `*`(8, `*`(`^`(3, `+`(`-`(x)))))), 9).