real solution of (e^(2sin(x))-1)*(ln(tan(x))- 2ln(sin(x)))>= 0