Mul Pow atanh x0 Pow acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 x0 Mul asin Mul x0 acsch x3 Pow -2 x6 
Add Mul Mul asin Mul x0 acsch x3 Pow -2 x6 Mul Pow atanh x0 Add Pow acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 x0 -1 Add Mul Pow acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul Pow acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Pow asin x3 Add Mul Add x0 Mul x0 x3 x0 -1 Mul Mul asin x3 log asin x3 Add Mul x0 Add 1 x3 Add x0 Mul x0 x3 Pow Add 1 Mul Pow asin x3 Mul Add x0 Mul x0 x3 x0 Pow asin x3 Mul Add x0 Mul x0 x3 x0 -1 Mul acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 log acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 Mul Pow atanh x0 Pow acot Pow asin x3 Mul Add x0 Mul x0 x3 x0 x0 Mul Pow -2 x6 Mul acsch x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 acsch x3 Mul x0 acsch x3 -1 