Add Mul -5 Pow Pow Add x0 x0 E asech Add x5 x0 Pow acoth x0 0.201357920790331 
Add Mul -5 Mul Pow Pow Add x0 x0 E Add asech Add x5 x0 -1 Add Mul asech Add x5 x0 Mul Pow Add x0 x0 Add E -1 Mul E 2 Mul Mul Pow Add x0 x0 E log Pow Add x0 x0 E Pow Mul Mul Add x5 x0 Add x5 x0 sqrt Add 1 Mul -1 Pow Mul Add x5 x0 Add x5 x0 -1 -1 Mul Pow acoth x0 -0.798642079209669 Mul 0.201357920790331 Pow Add 1 Mul -1 Mul x0 x0 -1 