27+ `<=`(`+`(`^`(4, `+`(x, `-`(`/`(1, 2)))), `-`(`*`(17, `*`(`^`(2, `+`(x, `-`(2)))))), 2), 0). 

 

Image 

 

XX