72 `>=`(log[`+`(`*`(`^`(x, 3)), `-`(`*`(9, `*`(`^`(x, 2)))), `*`(27, `*`(x)), `-`(27))](`+`(9, `-`(x))), 0).