acot Pow Add -5 Pow Mul exp x0 Pow Pow x3 x0 acsch x6 x3 exp Mul x0 x0 
Mul -1 Mul Mul Pow Add -5 Pow Mul exp x0 Pow Pow x3 x0 acsch x6 x3 Add exp Mul x0 x0 -1 Add Mul exp Mul x0 x0 Mul Pow Mul exp x0 Pow Pow x3 x0 acsch x6 Add x3 -1 Mul x3 Add Mul Pow Pow x3 x0 acsch x6 exp x0 Mul exp x0 Mul Pow Pow x3 x0 Add acsch x6 -1 Mul acsch x6 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Add -5 Pow Mul exp x0 Pow Pow x3 x0 acsch x6 x3 log Add -5 Pow Mul exp x0 Pow Pow x3 x0 acsch x6 x3 Mul exp Mul x0 x0 Add x0 x0 Pow Add 1 Mul Pow Add -5 Pow Mul exp x0 Pow Pow x3 x0 acsch x6 x3 exp Mul x0 x0 Pow Add -5 Pow Mul exp x0 Pow Pow x3 x0 acsch x6 x3 exp Mul x0 x0 -1 