Mul Pow x0 x5 Mul asin Mul asin atanh x0 atan coth Mul E 9.54617016280250 x3 
Add Mul Mul asin Mul asin atanh x0 atan coth Mul E 9.54617016280250 x3 Mul Pow x0 Add x5 -1 x5 Mul Pow x0 x5 Mul x3 Mul Mul atan coth Mul E 9.54617016280250 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul asin atanh x0 atan coth Mul E 9.54617016280250 Mul asin atanh x0 atan coth Mul E 9.54617016280250 -1 