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