Pow Mul exp x0 atan csch Mul asin x0 x0 9 
Mul Pow Mul exp x0 atan csch Mul asin x0 x0 8 Mul 9 Add Mul atan csch Mul asin x0 x0 exp x0 Mul exp x0 Mul Mul Mul Mul -1 coth Mul asin x0 x0 csch Mul asin x0 x0 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 asin x0 Pow Add 1 Mul csch Mul asin x0 x0 csch Mul asin x0 x0 -1 