Mul tan x0 exp Mul Pow sec Pow 2 x0 Pow -2 E x0 
Add Mul exp Mul Pow sec Pow 2 x0 Pow -2 E x0 Pow sec x0 2 Mul tan x0 Mul exp Mul Pow sec Pow 2 x0 Pow -2 E x0 Add Mul x0 Mul Pow sec Pow 2 x0 Add Pow -2 E -1 Mul Pow -2 E Mul Mul tan Pow 2 x0 sec Pow 2 x0 Mul Pow 2 Add x0 -1 2.69314718055995 Pow sec Pow 2 x0 Pow -2 E 