Mul sec Pow acsc x7 Mul Mul -5 x0 acoth Mul Pow x5 x0 -2 -2 
Mul -2 Mul Mul tan Pow acsc x7 Mul Mul -5 x0 acoth Mul Pow x5 x0 -2 sec Pow acsc x7 Mul Mul -5 x0 acoth Mul Pow x5 x0 -2 Mul Pow acsc x7 Add Mul Mul -5 x0 acoth Mul Pow x5 x0 -2 -1 Mul Mul acsc x7 log acsc x7 Add Mul acoth Mul Pow x5 x0 -2 -5 Mul Mul -5 x0 Mul Mul -2 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul -1 Mul Mul Pow x5 x0 -2 Mul Pow x5 x0 -2 -1 