Mul csc asin Pow Mul x2 x7 coth asinh x0 Mul x0 3 
Add Mul Mul x0 3 Mul Mul Mul -1 cot asin Pow Mul x2 x7 coth asinh x0 csc asin Pow Mul x2 x7 coth asinh x0 Mul Mul Pow Mul x2 x7 Add coth asinh x0 -1 Mul Mul Mul x2 x7 log Mul x2 x7 Mul Mul -1 Pow csch asinh x0 2 Pow sqrt Add 1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Mul x2 x7 coth asinh x0 Pow Mul x2 x7 coth asinh x0 -1 Mul csc asin Pow Mul x2 x7 coth asinh x0 3 