Mul Add x0 x0 Pow x0 Pow Mul x0 sech acosh pi x0 
Add Mul Pow x0 Pow Mul x0 sech acosh pi x0 2 Mul Add x0 x0 Mul Pow x0 Add Pow Mul x0 sech acosh pi x0 -1 Add Pow Mul x0 sech acosh pi x0 Mul Mul x0 log x0 Mul Pow Mul x0 sech acosh pi Add x0 -1 Add Mul x0 sech acosh pi Mul Mul x0 sech acosh pi log Mul x0 sech acosh pi 