integral(exp(-x)*sec(x))