Mul Mul x0 Mul x0 Mul E asin x0 Mul Add x0 coth x6 2 
Add Mul Mul Add x0 coth x6 2 Add Mul x0 Mul E asin x0 Mul x0 Add Mul E asin x0 Mul x0 Mul E Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 Mul x0 Mul E asin x0 2 