Mul x0 Add Mul x3 Add x7 0.453818757339887 acosh tanh Pow x0 acosh pi 
Add Add Mul x3 Add x7 0.453818757339887 acosh tanh Pow x0 acosh pi Mul x0 Mul Mul Pow sech Pow x0 acosh pi 2 Mul Pow x0 Add acosh pi -1 acosh pi Pow Mul sqrt Add tanh Pow x0 acosh pi -1 sqrt Add 1 tanh Pow x0 acosh pi -1 