Mul Mul x0 Mul x0 x0 sech Pow Mul atan x0 Pow x0 32 x6 
Add Mul sech Pow Mul atan x0 Pow x0 32 x6 Add Mul x0 x0 Mul x0 Add x0 x0 Mul Mul x0 Mul x0 x0 Mul Mul tanh Pow Mul atan x0 Pow x0 32 x6 Mul -1 sech Pow Mul atan x0 Pow x0 32 x6 Mul Pow Mul atan x0 Pow x0 32 Add x6 -1 Mul x6 Add Mul Pow x0 32 Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow x0 31 32 