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