Mul Pow tan asech Pow x0 2 Add atanh x7 x0 coth Mul Pow x7 x0 Add Pow x0 x3 x0 
Add Mul coth Mul Pow x7 x0 Add Pow x0 x3 x0 Mul Pow tan asech Pow x0 2 Add Add atanh x7 x0 -1 Add Mul Add atanh x7 x0 Mul Pow sec asech Pow x0 2 2 Mul Mul x0 2 Pow Mul Mul Pow x0 2 Pow x0 2 sqrt Add 1 Mul -1 Pow Mul Pow x0 2 Pow x0 2 -1 -1 Mul tan asech Pow x0 2 log tan asech Pow x0 2 Mul Pow tan asech Pow x0 2 Add atanh x7 x0 Mul Mul -1 Pow csch Mul Pow x7 x0 Add Pow x0 x3 x0 2 Add Mul Add Pow x0 x3 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x7 x0 Add Mul Pow x0 Add x3 -1 x3 1 