Mul Pow x0 Add x0 Mul sech x6 x0 Add 1 Pow 3 Pow E x0 
Add Mul Add 1 Pow 3 Pow E x0 Mul Pow x0 Add Add x0 Mul sech x6 x0 -1 Add Add x0 Mul sech x6 x0 Mul Mul x0 log x0 Add 1 sech x6 Mul Pow x0 Add x0 Mul sech x6 x0 Mul Pow 3 Add Pow E x0 -1 Mul 4.09861228866811 Mul Pow E Add x0 -1 Mul E log E 