Pow exp Add x2 Pow csch atan Add 2 x0 exp Pow Mul x2 E Add sec atan x0 x0 x7 
Mul Pow exp Add x2 Pow csch atan Add 2 x0 exp Pow Mul x2 E Add sec atan x0 x0 Add x7 -1 Mul x7 Mul exp Add x2 Pow csch atan Add 2 x0 exp Pow Mul x2 E Add sec atan x0 x0 Mul Pow csch atan Add 2 x0 Add exp Pow Mul x2 E Add sec atan x0 x0 -1 Add Mul exp Pow Mul x2 E Add sec atan x0 x0 Mul Mul Mul -1 coth atan Add 2 x0 csch atan Add 2 x0 Pow Add 1 Mul Add 2 x0 Add 2 x0 -1 Mul Mul csch atan Add 2 x0 log csch atan Add 2 x0 Mul exp Pow Mul x2 E Add sec atan x0 x0 Mul Pow Mul x2 E Add Add sec atan x0 x0 -1 Mul Mul Mul x2 E log Mul x2 E Add Mul Mul tan atan x0 sec atan x0 Pow Add 1 Mul x0 x0 -1 1 