Mul x0 Mul Add x0 x7 sech acoth Pow Mul x0 2 E 
Add Mul Add x0 x7 sech acoth Pow Mul x0 2 E Mul x0 Add sech acoth Pow Mul x0 2 E Mul Add x0 x7 Mul Mul tanh acoth Pow Mul x0 2 E Mul -1 sech acoth Pow Mul x0 2 E Mul Mul Pow Mul x0 2 Add E -1 Mul E 2 Pow Add 1 Mul -1 Mul Pow Mul x0 2 E Pow Mul x0 2 E -1 