Add Mul x0 Mul Mul Pow csch x7 x0 x0 x0 coth Pow asech asin x0 x0 
Add Add Mul Mul Pow csch x7 x0 x0 x0 Mul x0 Add Mul x0 Add Mul x0 Mul Pow csch x7 Add x0 -1 Mul csch x7 log csch x7 Pow csch x7 x0 Mul Pow csch x7 x0 x0 Mul Mul -1 Pow csch Pow asech asin x0 x0 2 Mul Pow asech asin x0 Add x0 -1 Add Mul x0 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul asin x0 asin x0 sqrt Add 1 Mul -1 Pow Mul asin x0 asin x0 -1 -1 Mul asech asin x0 log asech asin x0 