Mul atanh Add x1 Pow Pow Add Pow asec E Add x0 x0 1 x3 coth cosh x0 Mul -4 x0 
Add Mul Mul -4 x0 Mul Mul Pow Pow Add Pow asec E Add x0 x0 1 x3 Add coth cosh x0 -1 Add Mul coth cosh x0 Mul Pow Add Pow asec E Add x0 x0 1 Add x3 -1 Mul x3 Mul Pow asec E Add Add x0 x0 -1 Mul Mul asec E log asec E 2 Mul Mul Pow Add Pow asec E Add x0 x0 1 x3 log Pow Add Pow asec E Add x0 x0 1 x3 Mul Mul -1 Pow csch cosh x0 2 sinh x0 Pow Add 1 Mul -1 Mul Add x1 Pow Pow Add Pow asec E Add x0 x0 1 x3 coth cosh x0 Add x1 Pow Pow Add Pow asec E Add x0 x0 1 x3 coth cosh x0 -1 Mul atanh Add x1 Pow Pow Add Pow asec E Add x0 x0 1 x3 coth cosh x0 -4 