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