Mul Pow Mul pi Add cosh Pow Add pi Add x0 acosh pi Pow x0 25 -2 x0 x0 
Add Mul x0 Mul Pow Mul pi Add cosh Pow Add pi Add x0 acosh pi Pow x0 25 -2 Add x0 -1 Add Mul x0 Mul pi Mul sinh Pow Add pi Add x0 acosh pi Pow x0 25 Mul Pow Add pi Add x0 acosh pi Add Pow x0 25 -1 Add Pow x0 25 Mul Mul Add pi Add x0 acosh pi log Add pi Add x0 acosh pi Mul Pow x0 24 25 Mul Mul pi Add cosh Pow Add pi Add x0 acosh pi Pow x0 25 -2 log Mul pi Add cosh Pow Add pi Add x0 acosh pi Pow x0 25 -2 Pow Mul pi Add cosh Pow Add pi Add x0 acosh pi Pow x0 25 -2 x0 