x*sec(x)的原函数