75  `<=`(`+`(`*`(2, `*`(log[`*`(`^`(`+`(`*`(`^`(x, 2)), `-`(`*`(4, `*`(x))), 5), 2))](`+`(`*`(4, `*`(`^`(x, 2))), 1))))), log[`+`(`*`(`^`(x, 2)), `-`(`*`(4, `*`(x))), 5)](`+`(`*`(3, `*`(`^`(x, 2))), `*`(4... .