Pow Mul E acoth x0 Add Add 4 Add x6 Add pi x0 asin x4 
Mul Pow Mul E acoth x0 Add Add Add 4 Add x6 Add pi x0 asin x4 -1 Add Mul Add Add 4 Add x6 Add pi x0 asin x4 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul E acoth x0 log Mul E acoth x0 