69 `<=`(log[`+`(`*`(.25, `*`(`^`(x, 2))))](`*`(`+`(x, 12), `/`(1, 4))), 1).