tanh log Pow Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add x0 Mul 3 sech Mul x0 x0 x0 
Mul Pow sech log Pow Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add x0 Mul 3 sech Mul x0 x0 x0 2 Mul Mul Pow Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add x0 Mul 3 sech Mul x0 x0 Add x0 -1 Add Mul x0 Add Mul Add x0 Mul 3 sech Mul x0 x0 Mul -1 Mul Mul exp Pow Add cosh x0 Pow x1 x7 x0 Mul Pow Add cosh x0 Pow x1 x7 Add x0 -1 Add Mul x0 sinh x0 Mul Add cosh x0 Pow x1 x7 log Add cosh x0 Pow x1 x7 Pow Add 1 Mul exp Pow Add cosh x0 Pow x1 x7 x0 exp Pow Add cosh x0 Pow x1 x7 x0 -1 Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add 1 Mul 3 Mul Mul tanh Mul x0 x0 Mul -1 sech Mul x0 x0 Add x0 x0 Mul Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add x0 Mul 3 sech Mul x0 x0 log Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add x0 Mul 3 sech Mul x0 x0 Pow Pow Mul acot exp Pow Add cosh x0 Pow x1 x7 x0 Add x0 Mul 3 sech Mul x0 x0 x0 -1 