Mul Mul x0 -5 csch Add x2 Add Pow coth acosh x0 x0 Mul x5 Mul x0 x6 
Add Mul csch Add x2 Add Pow coth acosh x0 x0 Mul x5 Mul x0 x6 -5 Mul Mul x0 -5 Mul Mul Mul -1 coth Add x2 Add Pow coth acosh x0 x0 Mul x5 Mul x0 x6 csch Add x2 Add Pow coth acosh x0 x0 Mul x5 Mul x0 x6 Add Mul Pow coth acosh x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul coth acosh x0 log coth acosh x0 Mul x5 x6 