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