Mul x0 sech Pow x4 acoth Add x0 tan x0 
Add sech Pow x4 acoth Add x0 tan x0 Mul x0 Mul Mul tanh Pow x4 acoth Add x0 tan x0 Mul -1 sech Pow x4 acoth Add x0 tan x0 Mul Pow x4 Add acoth Add x0 tan x0 -1 Mul Mul x4 log x4 Mul Add 1 Pow sec x0 2 Pow Add 1 Mul -1 Mul Add x0 tan x0 Add x0 tan x0 -1 