Mul E Add x0 asech Mul x0 Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add x2 -5 
Mul E Add 1 Mul Add Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add x2 -5 Mul x0 Mul Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add Add x2 -5 -1 Mul Add x2 -5 Add Mul Add acoth x0 Pow x1 x5 Mul exp Mul 3 x0 3 Mul exp Mul 3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Mul x0 Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add x2 -5 Mul x0 Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add x2 -5 sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add x2 -5 Mul x0 Pow Mul exp Mul 3 x0 Add acoth x0 Pow x1 x5 Add x2 -5 -1 -1 