Mul Pow 2 x0 Mul Mul Add Pow Pow Mul Pow sech sqrt atanh E -4 x0 E E Add x6 x7 x0 x0 
Add Mul Mul Mul Add Pow Pow Mul Pow sech sqrt atanh E -4 x0 E E Add x6 x7 x0 x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 Add Mul x0 Add Mul x0 Mul Pow Pow Mul Pow sech sqrt atanh E -4 x0 E Add E -1 Mul E Mul Pow Mul Pow sech sqrt atanh E -4 x0 Add E -1 Mul E Pow sech sqrt atanh E -4 Add Pow Pow Mul Pow sech sqrt atanh E -4 x0 E E Add x6 x7 Mul Add Pow Pow Mul Pow sech sqrt atanh E -4 x0 E E Add x6 x7 x0 