Mul Pow sech Pow x5 5 x0 Add Pow x0 x0 2 
Add Mul Add Pow x0 x0 2 Mul Pow sech Pow x5 5 Add x0 -1 Mul sech Pow x5 5 log sech Pow x5 5 Mul Pow sech Pow x5 5 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 