Add Add Mul x0 Add Pow Add cosh x0 Pow x0 -3 Mul Add x0 acosh pi 1.09975017029462 -4 x0 Add x1 1.55740772465490 
Add Add Add Pow Add cosh x0 Pow x0 -3 Mul Add x0 acosh pi 1.09975017029462 -4 Mul x0 Mul Pow Add cosh x0 Pow x0 -3 Add Mul Add x0 acosh pi 1.09975017029462 -1 Add Mul Mul Add x0 acosh pi 1.09975017029462 Add sinh x0 Mul Pow x0 4 -3 Mul Mul Add cosh x0 Pow x0 -3 log Add cosh x0 Pow x0 -3 1.09975017029462 1 