/11 2\ log(0.0)*|-- + x | \10 / ------------------ <= 0 / / 2 1 \\ |log|3*x - --|| | \ 12/| |--------------| \ log(3) /
((x^2 + 11/10)*log(0.0))/((log(3*x^2 - 1/12)/log(3))) <= 0