67 `>=`(log[`/`(`*`(`+`(`*`(3, `*`(x)), `-`(1))), `*`(`+`(x, 2)))](`+`(`*`(2, `*`(`^`(x, 2))), x, `-`(1))), log[`/`(`*`(`+`(`*`(3, `*`(x)), `-`(1))), `*`(`+`(x, 2)))](`+`(`-`(`*`(3, `*`(`^`(x, 2)))), `*`....