Mul Pow Pow x0 Pow coth asec x5 x0 x4 Mul x0 atanh x1 
Add Mul Mul x0 atanh x1 Mul Pow Pow x0 Pow coth asec x5 x0 Add x4 -1 Mul x4 Mul Pow x0 Add Pow coth asec x5 x0 -1 Add Pow coth asec x5 x0 Mul Mul x0 log x0 Mul Pow coth asec x5 Add x0 -1 Mul coth asec x5 log coth asec x5 Mul Pow Pow x0 Pow coth asec x5 x0 x4 atanh x1 