Pow csch Pow Mul Mul -2 acsch asinh x1 tan x2 cosh acos E x0 
Mul Pow csch Pow Mul Mul -2 acsch asinh x1 tan x2 cosh acos E Add x0 -1 Mul csch Pow Mul Mul -2 acsch asinh x1 tan x2 cosh acos E log csch Pow Mul Mul -2 acsch asinh x1 tan x2 cosh acos E 