83 `<=`(`+`(`*`(`^`(log[abs(x)](`*`(`^`(x, 2))), 2)), log[2](`*`(`^`(x, 2)))), 8).