log sech Mul sech pi Add exp Mul x0 tan x0 x2 
Mul Mul Mul tanh Mul sech pi Add exp Mul x0 tan x0 x2 Mul -1 sech Mul sech pi Add exp Mul x0 tan x0 x2 Mul sech pi Mul exp Mul x0 tan x0 Add tan x0 Mul x0 Pow sec x0 2 Pow sech Mul sech pi Add exp Mul x0 tan x0 x2 -1 