Pow Pow coth log Mul acos asin x0 Mul x2 x0 x0 Add x0 x3 
Mul Pow Pow coth log Mul acos asin x0 Mul x2 x0 x0 Add Add x0 x3 -1 Add Mul Add x0 x3 Mul Pow coth log Mul acos asin x0 Mul x2 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch log Mul acos asin x0 Mul x2 x0 2 Mul Add Mul Mul x2 x0 Mul -1 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul asin x0 asin x0 -1 Mul acos asin x0 x2 Pow Mul acos asin x0 Mul x2 x0 -1 Mul coth log Mul acos asin x0 Mul x2 x0 log coth log Mul acos asin x0 Mul x2 x0 Mul Pow coth log Mul acos asin x0 Mul x2 x0 x0 log Pow coth log Mul acos asin x0 Mul x2 x0 x0 