Pow acot Add Pow x6 exp x0 Mul atan x0 cosh Add x0 Mul x3 acoth sech x0 x0 
Mul Pow acot Add Pow x6 exp x0 Mul atan x0 cosh Add x0 Mul x3 acoth sech x0 Add x0 -1 Add Mul x0 Mul -1 Mul Add Mul Pow x6 Add exp x0 -1 Mul Mul x6 log x6 exp x0 Add Mul cosh Add x0 Mul x3 acoth sech x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul sinh Add x0 Mul x3 acoth sech x0 Add 1 Mul x3 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul sech x0 sech x0 -1 Pow Add 1 Mul Add Pow x6 exp x0 Mul atan x0 cosh Add x0 Mul x3 acoth sech x0 Add Pow x6 exp x0 Mul atan x0 cosh Add x0 Mul x3 acoth sech x0 -1 Mul acot Add Pow x6 exp x0 Mul atan x0 cosh Add x0 Mul x3 acoth sech x0 log acot Add Pow x6 exp x0 Mul atan x0 cosh Add x0 Mul x3 acoth sech x0 