Mul x0 Pow Pow Pow x0 3 cosh pi x0 
Add Pow Pow Pow x0 3 cosh pi x0 Mul x0 Mul Pow Pow Pow x0 3 cosh pi Add x0 -1 Add Mul x0 Mul Pow Pow x0 3 Add cosh pi -1 Mul cosh pi Mul Pow x0 2 3 Mul Pow Pow x0 3 cosh pi log Pow Pow x0 3 cosh pi 