Mul Pow x0 E Add cosh Mul 4 x0 Add Mul Pow pi x0 x0 x0 
Add Mul Add cosh Mul 4 x0 Add Mul Pow pi x0 x0 x0 Mul Pow x0 Add E -1 E Mul Pow x0 E Add Mul sinh Mul 4 x0 4 Add Add Mul x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow pi x0 1 