Pow E Pow Mul cosh x1 Add 4 pi sqrt x0 
Mul Pow E Add Pow Mul cosh x1 Add 4 pi sqrt x0 -1 Mul Mul E log E Mul Pow Mul cosh x1 Add 4 pi Add sqrt x0 -1 Mul Mul Mul cosh x1 Add 4 pi log Mul cosh x1 Add 4 pi Pow Mul 2 sqrt x0 -1 