63 `>=`(`/`(`*`(log[`+`(5, `-`(x))], `*`(`+`(x, 2))), `*`(`^`(`+`(x, `-`(5)), 4))), -4)  .