acosh acoth Pow x0 atanh sec tanh x6 
Mul Mul Mul Pow x0 Add atanh sec tanh x6 -1 atanh sec tanh x6 Pow Add 1 Mul -1 Mul Pow x0 atanh sec tanh x6 Pow x0 atanh sec tanh x6 -1 Pow Mul sqrt Add acoth Pow x0 atanh sec tanh x6 -1 sqrt Add 1 acoth Pow x0 atanh sec tanh x6 -1 