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