Mul sech x0 Mul acot Mul Add x1 x6 Mul x7 x0 Add Add x0 Pow Mul x0 E x5 x0 
Add Mul Mul acot Mul Add x1 x6 Mul x7 x0 Add Add x0 Pow Mul x0 E x5 x0 Mul tanh x0 Mul -1 sech x0 Mul sech x0 Add Mul Add Add x0 Pow Mul x0 E x5 x0 Mul -1 Mul Mul Add x1 x6 x7 Pow Add 1 Mul Mul Add x1 x6 Mul x7 x0 Mul Add x1 x6 Mul x7 x0 -1 Mul acot Mul Add x1 x6 Mul x7 x0 Add Add 1 Mul Pow Mul x0 E Add x5 -1 Mul x5 E 1 