WolframAlpha computational knowledge AI
D(sec(x),x)