Pow Mul x0 asin x7 Mul exp asin x1 coth x0 
Mul Pow Mul x0 asin x7 Add Mul exp asin x1 coth x0 -1 Add Mul Mul exp asin x1 coth x0 asin x7 Mul Mul Mul x0 asin x7 log Mul x0 asin x7 Mul exp asin x1 Mul -1 Pow csch x0 2 