45 `<=`(`+`(1, log[6](`+`(4, `-`(x)))), log[6](`+`(`-`(`*`(`^`(x, 2))), 16)))  .