Add Mul Pow coth Pow atanh coth acosh pi acsc x2 Add Pow log cosh x0 x1 x0 x0 asech x6 
Add Mul x0 Mul Pow coth Pow atanh coth acosh pi acsc x2 Add Add Pow log cosh x0 x1 x0 -1 Mul Mul coth Pow atanh coth acosh pi acsc x2 log coth Pow atanh coth acosh pi acsc x2 Add Mul Pow log cosh x0 Add x1 -1 Mul x1 Mul sinh x0 Pow cosh x0 -1 1 Pow coth Pow atanh coth acosh pi acsc x2 Add Pow log cosh x0 x1 x0 