Mul x0 Pow Mul sqrt Add pi Pow E E Add Mul x0 acosh pi x1 x4 
Add Pow Mul sqrt Add pi Pow E E Add Mul x0 acosh pi x1 x4 Mul x0 Mul Pow Mul sqrt Add pi Pow E E Add Mul x0 acosh pi x1 Add x4 -1 Mul x4 Mul sqrt Add pi Pow E E acosh pi 