Mul acot coth Pow Mul Pow asin asin x3 x0 x0 csch x2 E 
Mul E Mul -1 Mul Mul Mul -1 Pow csch Pow Mul Pow asin asin x3 x0 x0 csch x2 2 Mul Pow Mul Pow asin asin x3 x0 x0 Add csch x2 -1 Mul csch x2 Add Mul x0 Mul Pow asin asin x3 Add x0 -1 Mul asin asin x3 log asin asin x3 Pow asin asin x3 x0 Pow Add 1 Mul coth Pow Mul Pow asin asin x3 x0 x0 csch x2 coth Pow Mul Pow asin asin x3 x0 x0 csch x2 -1 