Решение 

 

 

 

 

 

Замена:  

 

 

 

 

 

 

 

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

 

 

> solve(`<=`(`*`(`^`(10, log[2](x)), `*`(`/`(`+`(`*`(2, `*`(`^`(x, 2), `*`(`+`(x, 1)))))))), `*`(`^`(`+`(`*`(15, `*`(`^`(3, log[2](x))))), log[2](x)), `*`(`/`(`+`(`*`(9, `*`(`^`(x, 2), `*`(`+`(x, 1)))))...
 

RealRange(Open(0), Open(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(ln(2), `*`(`+`(ln(`/`(3, 2)), `*`(`^`(`+`(`*`(`^`(ln(`/`(3, 2)), 2)), `-`(`*`(4, `*`(ln(3), `*`(ln(`/`(2, 9))))))), `/`(1, 2))))))), `*`(ln(3...
RealRange(Open(0), Open(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(ln(2), `*`(`+`(ln(`/`(3, 2)), `*`(`^`(`+`(`*`(`^`(ln(`/`(3, 2)), 2)), `-`(`*`(4, `*`(ln(3), `*`(ln(`/`(2, 9))))))), `/`(1, 2))))))), `*`(ln(3...
(48.2.1)
 

> simplify(exp(`+`(`-`(`/`(`*`(`/`(1, 2), `*`(ln(2), `*`(`+`(ln(`/`(3, 2)), sqrt(`+`(`*`(`^`(ln(`/`(3, 2)), 2)), `-`(`*`(4, `*`(ln(3), `*`(ln(`/`(2, 9)))))))))))), `*`(ln(3)))))), exp)
 

`^`(2, `/`(`*`(`+`(ln(2), `-`(`*`(2, `*`(ln(3)))))), `*`(ln(3)))) (48.2.2)