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