Pow Pow cosh cosh Pow x0 Mul csch pi asech pi x3 Pow x0 Mul 2 asec x0 
Mul Pow Pow cosh cosh Pow x0 Mul csch pi asech pi x3 Add Pow x0 Mul 2 asec x0 -1 Add Mul Pow x0 Mul 2 asec x0 Mul Pow cosh cosh Pow x0 Mul csch pi asech pi Add x3 -1 Mul x3 Mul sinh cosh Pow x0 Mul csch pi asech pi Mul sinh Pow x0 Mul csch pi asech pi Mul Pow x0 Add Mul csch pi asech pi -1 Mul csch pi asech pi Mul Mul Pow cosh cosh Pow x0 Mul csch pi asech pi x3 log Pow cosh cosh Pow x0 Mul csch pi asech pi x3 Mul Pow x0 Add Mul 2 asec x0 -1 Add Mul 2 asec x0 Mul Mul x0 log x0 Mul 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 