sec(x)=tan(x) over the reals