Mul x0 Pow Mul 1.81844645923207 Add x4 pi Mul acosh E x0 
Add Pow Mul 1.81844645923207 Add x4 pi Mul acosh E x0 Mul x0 Mul Pow Mul 1.81844645923207 Add x4 pi Add Mul acosh E x0 -1 Mul Mul Mul 1.81844645923207 Add x4 pi log Mul 1.81844645923207 Add x4 pi acosh E 