Mul x0 Mul asin x0 exp Pow pi Mul x6 Mul E Mul acoth x0 E 
Add Mul asin x0 exp Pow pi Mul x6 Mul E Mul acoth x0 E Mul x0 Add Mul exp Pow pi Mul x6 Mul E Mul acoth x0 E Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul exp Pow pi Mul x6 Mul E Mul acoth x0 E Mul Pow pi Add Mul x6 Mul E Mul acoth x0 E -1 Mul Mul pi log pi Mul x6 Mul E Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 