sec[sec^-1(sqrt 3)]=sqrt 3