Mul x0 Mul sech Add -2 Mul x0 atanh x6 Pow 2 x0 
Add Mul sech Add -2 Mul x0 atanh x6 Pow 2 x0 Mul x0 Add Mul Pow 2 x0 Mul Mul tanh Add -2 Mul x0 atanh x6 Mul -1 sech Add -2 Mul x0 atanh x6 atanh x6 Mul sech Add -2 Mul x0 atanh x6 Mul Pow 2 Add x0 -1 2.69314718055995 