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