Mul x0 Add Mul Add Add x5 x7 x0 -1 Add acot Pow 2 acoth Mul Pow E x0 sech x0 atanh x0 
Add Add Mul Add Add x5 x7 x0 -1 Add acot Pow 2 acoth Mul Pow E x0 sech x0 atanh x0 Mul x0 Add -1 Add Mul -1 Mul Mul Pow 2 Add acoth Mul Pow E x0 sech x0 -1 Mul 2.69314718055995 Mul Add Mul sech x0 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul -1 Mul Mul Pow E x0 sech x0 Mul Pow E x0 sech x0 -1 Pow Add 1 Mul Pow 2 acoth Mul Pow E x0 sech x0 Pow 2 acoth Mul Pow E x0 sech x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 