acoth Add Pow sqrt x0 Pow Mul x0 x0 Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi Pow x0 x7 
Mul Add Mul Pow sqrt x0 Add Pow Mul x0 x0 Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi -1 Add Mul Pow Mul x0 x0 Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul Pow Mul x0 x0 Add Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi -1 Add Mul Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 Mul Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 Add pi -1 Mul pi Mul Pow x0 Add Mul Mul Mul E asech Add x0 x0 4 log x1 -1 Add Mul Mul Mul E asech Add x0 x0 4 log x1 Mul Mul x0 log x0 Mul log x1 Mul 4 Mul E Mul 2 Pow Mul Mul Add x0 x0 Add x0 x0 sqrt Add 1 Mul -1 Pow Mul Add x0 x0 Add x0 x0 -1 -1 Mul Pow x0 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Add Pow sqrt x0 Pow Mul x0 x0 Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi Pow x0 x7 Add Pow sqrt x0 Pow Mul x0 x0 Pow Pow x0 Mul Mul Mul E asech Add x0 x0 4 log x1 pi Pow x0 x7 -1 