2*tan^2(2x)=2