log(tan^2(x)-1)>2log(3)