Mul x0 Pow sech Mul Pow x0 cosh E Add acot Add 3 x0 2 atanh sec x0 
Add Pow sech Mul Pow x0 cosh E Add acot Add 3 x0 2 atanh sec x0 Mul x0 Mul Pow sech Mul Pow x0 cosh E Add acot Add 3 x0 2 Add atanh sec x0 -1 Add Mul atanh sec x0 Mul Mul tanh Mul Pow x0 cosh E Add acot Add 3 x0 2 Mul -1 sech Mul Pow x0 cosh E Add acot Add 3 x0 2 Add Mul Add acot Add 3 x0 2 Mul Pow x0 Add cosh E -1 cosh E Mul Pow x0 cosh E Mul -1 Pow Add 1 Mul Add 3 x0 Add 3 x0 -1 Mul Mul sech Mul Pow x0 cosh E Add acot Add 3 x0 2 log sech Mul Pow x0 cosh E Add acot Add 3 x0 2 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 