Pow atanh Mul x3 asech pi Pow x0 Add Pow Pow -1 x7 x0 acoth x7 
Mul Pow atanh Mul x3 asech pi Add Pow x0 Add Pow Pow -1 x7 x0 acoth x7 -1 Mul Mul atanh Mul x3 asech pi log atanh Mul x3 asech pi Mul Pow x0 Add Add Pow Pow -1 x7 x0 acoth x7 -1 Add Add Pow Pow -1 x7 x0 acoth x7 Mul Mul x0 log x0 Mul Pow Pow -1 x7 Add x0 -1 Mul Pow -1 x7 log Pow -1 x7 