Pow Pow sec Add x0 2 x0 Pow coth x4 cosh x0 
Mul Pow Pow sec Add x0 2 x0 Add Pow coth x4 cosh x0 -1 Add Mul Pow coth x4 cosh x0 Mul Pow sec Add x0 2 Add x0 -1 Add Mul x0 Mul tan Add x0 2 sec Add x0 2 Mul sec Add x0 2 log sec Add x0 2 Mul Mul Pow sec Add x0 2 x0 log Pow sec Add x0 2 x0 Mul Pow coth x4 Add cosh x0 -1 Mul Mul coth x4 log coth x4 sinh x0 