Mul x0 Pow x6 Add Add Pow x0 x2 asec atanh acoth x0 4 
Add Pow x6 Add Add Pow x0 x2 asec atanh acoth x0 4 Mul x0 Mul Pow x6 Add Add Add Pow x0 x2 asec atanh acoth x0 4 -1 Mul Mul x6 log x6 Add Mul Pow x0 Add x2 -1 x2 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul atanh acoth x0 atanh acoth x0 -1 atanh acoth x0 atanh acoth x0 -1 