log(10⁡,x^2-10)>log(10,x)