Mul x0 Mul acoth Mul Mul acosh x0 x7 Add x0 Mul coth Add x0 exp x7 asech x7 Add x0 -4 
Add Mul acoth Mul Mul acosh x0 x7 Add x0 Mul coth Add x0 exp x7 asech x7 Add x0 -4 Mul x0 Add Mul Add x0 -4 Mul Add Mul Add x0 Mul coth Add x0 exp x7 asech x7 Mul x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 x7 Add 1 Mul asech x7 Mul -1 Pow csch Add x0 exp x7 2 Pow Add 1 Mul -1 Mul Mul Mul acosh x0 x7 Add x0 Mul coth Add x0 exp x7 asech x7 Mul Mul acosh x0 x7 Add x0 Mul coth Add x0 exp x7 asech x7 -1 acoth Mul Mul acosh x0 x7 Add x0 Mul coth Add x0 exp x7 asech x7 