22 `<=`(`+`(`^`(2, x), `*`(3, `*`(`^`(2, `+`(`-`(x)))))), 4)  .