sqrt[7-abs(x/3)]>abs[x^x*exp(x)]