Решение 

 

Замена:  `^`(3, `+`(`-`(`*`(`^`(x, 2))))) = t, `and`(`<`(0, t), `<=`(t, 1))  ⇒ 

 

 

 

 

 

Исходное неравенство равносильно: