Mul Pow Mul asin Add x1 x4 x0 -2 Add acoth x7 Pow Mul Add pi Pow x0 x0 Pow atanh x0 sinh log E x0 
Add Mul Add acoth x7 Pow Mul Add pi Pow x0 x0 Pow atanh x0 sinh log E x0 Mul Pow Mul asin Add x1 x4 x0 3 Mul -2 asin Add x1 x4 Mul Pow Mul asin Add x1 x4 x0 -2 Mul Pow Mul Add pi Pow x0 x0 Pow atanh x0 sinh log E Add x0 -1 Add Mul x0 Add Mul Pow atanh x0 sinh log E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Add pi Pow x0 x0 Mul Pow atanh x0 Add sinh log E -1 Mul sinh log E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Add pi Pow x0 x0 Pow atanh x0 sinh log E log Mul Add pi Pow x0 x0 Pow atanh x0 sinh log E 