Mul x7 Pow Mul asech Pow coth x0 -5 Mul asinh Mul 2 tan x0 -2 acoth x3 
Mul x7 Mul Pow Mul asech Pow coth x0 -5 Mul asinh Mul 2 tan x0 -2 Add acoth x3 -1 Mul acoth x3 Add Mul Mul asinh Mul 2 tan x0 -2 Mul Mul Pow coth x0 6 Mul -5 Mul -1 Pow csch x0 2 Pow Mul Mul Pow coth x0 -5 Pow coth x0 -5 sqrt Add 1 Mul -1 Pow Mul Pow coth x0 -5 Pow coth x0 -5 -1 -1 Mul asech Pow coth x0 -5 Mul -2 Mul Mul 2 Pow sec x0 2 Pow sqrt Add 1 Mul Mul 2 tan x0 Mul 2 tan x0 -1 