Mul x0 Pow Pow sech Pow 2 E x0 Add x0 x0 
Add Pow Pow sech Pow 2 E x0 Add x0 x0 Mul x0 Mul Pow Pow sech Pow 2 E x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Mul Pow sech Pow 2 E Add x0 -1 Mul sech Pow 2 E log sech Pow 2 E Mul Mul Pow sech Pow 2 E x0 log Pow sech Pow 2 E x0 2 