Mul Mul Pow Pow acosh cos cosh x1 x0 pi Add x0 4 0.275720564771783 
Mul 0.275720564771783 Add Mul Add x0 4 Mul Pow Pow acosh cos cosh x1 x0 Add pi -1 Mul pi Mul Pow acosh cos cosh x1 Add x0 -1 Mul acosh cos cosh x1 log acosh cos cosh x1 Pow Pow acosh cos cosh x1 x0 pi 