15+ `<=`(`+`(1, `-`(`/`(`*`(2), `*`(abs(x))))), `+`(`/`(`*`(23), `*`(`^`(x, 2)))))  . 

 

Image