exp sqrt Add Pow Mul Add asech Add x0 x0 Pow x2 x5 E acoth x0 -4 
Mul exp sqrt Add Pow Mul Add asech Add x0 x0 Pow x2 x5 E acoth x0 -4 Mul Pow Mul 2 sqrt Add Pow Mul Add asech Add x0 x0 Pow x2 x5 E acoth x0 -4 -1 Mul Pow Mul Add asech Add x0 x0 Pow x2 x5 E Add acoth x0 -1 Add Mul acoth x0 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 Mul Mul Add asech Add x0 x0 Pow x2 x5 E log Mul Add asech Add x0 x0 Pow x2 x5 E Pow Add 1 Mul -1 Mul x0 x0 -1 