Pow x0 Mul Mul asech coth x3 Add Pow coth x0 -5 sinh acot x0 acosh x3 
Mul Pow x0 Add Mul Mul asech coth x3 Add Pow coth x0 -5 sinh acot x0 acosh x3 -1 Add Mul Mul asech coth x3 Add Pow coth x0 -5 sinh acot x0 acosh x3 Mul Mul x0 log x0 Mul acosh x3 Mul asech coth x3 Add Mul Pow coth x0 6 Mul -5 Mul -1 Pow csch x0 2 Mul cosh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 