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