Pow acot Add Pow x0 x0 Pow Mul x0 4 cosh Add x0 Mul -4 acoth acsch x7 Pow sech exp atan x0 3 
Mul Pow acot Add Pow x0 x0 Pow Mul x0 4 cosh Add x0 Mul -4 acoth acsch x7 Add Pow sech exp atan x0 3 -1 Add Mul Pow sech exp atan x0 3 Mul -1 Mul Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow Mul x0 4 Add cosh Add x0 Mul -4 acoth acsch x7 -1 Add Mul cosh Add x0 Mul -4 acoth acsch x7 4 Mul Mul Mul x0 4 log Mul x0 4 sinh Add x0 Mul -4 acoth acsch x7 Pow Add 1 Mul Add Pow x0 x0 Pow Mul x0 4 cosh Add x0 Mul -4 acoth acsch x7 Add Pow x0 x0 Pow Mul x0 4 cosh Add x0 Mul -4 acoth acsch x7 -1 Mul Mul acot Add Pow x0 x0 Pow Mul x0 4 cosh Add x0 Mul -4 acoth acsch x7 log acot Add Pow x0 x0 Pow Mul x0 4 cosh Add x0 Mul -4 acoth acsch x7 Mul Pow sech exp atan x0 2 Mul 3 Mul Mul tanh exp atan x0 Mul -1 sech exp atan x0 Mul exp atan x0 Pow Add 1 Mul x0 x0 -1 