Add x0 Mul Pow Mul Mul x0 asinh asec x5 Mul x0 coth x0 Add Mul x0 x0 1 5 
Add 1 Mul 5 Mul Pow Mul Mul x0 asinh asec x5 Mul x0 coth x0 Add Add Mul x0 x0 1 -1 Add Mul Add Mul x0 x0 1 Add Mul Mul x0 coth x0 asinh asec x5 Mul Mul x0 asinh asec x5 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Mul Mul Mul Mul x0 asinh asec x5 Mul x0 coth x0 log Mul Mul x0 asinh asec x5 Mul x0 coth x0 Add x0 x0 