Mul x0 Pow Add -3 Pow atan x0 acoth sqrt sinh x0 acsc x6 
Add Pow Add -3 Pow atan x0 acoth sqrt sinh x0 acsc x6 Mul x0 Mul Pow Add -3 Pow atan x0 acoth sqrt sinh x0 Add acsc x6 -1 Mul acsc x6 Mul Pow atan x0 Add acoth sqrt sinh x0 -1 Add Mul acoth sqrt sinh x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 Pow Add 1 Mul -1 Mul sqrt sinh x0 sqrt sinh x0 -1 