Pow Mul acosh Pow x0 sech atanh sec Add x6 asech Pow x1 acoth csch E -2 Pow x0 x3 
Mul Pow Mul acosh Pow x0 sech atanh sec Add x6 asech Pow x1 acoth csch E -2 Add Pow x0 x3 -1 Add Mul Pow x0 x3 Mul -2 Mul Mul Pow x0 Add sech atanh sec Add x6 asech Pow x1 acoth csch E -1 sech atanh sec Add x6 asech Pow x1 acoth csch E Pow Mul sqrt Add Pow x0 sech atanh sec Add x6 asech Pow x1 acoth csch E -1 sqrt Add 1 Pow x0 sech atanh sec Add x6 asech Pow x1 acoth csch E -1 Mul Mul Mul acosh Pow x0 sech atanh sec Add x6 asech Pow x1 acoth csch E -2 log Mul acosh Pow x0 sech atanh sec Add x6 asech Pow x1 acoth csch E -2 Mul Pow x0 Add x3 -1 x3 