Mul Mul Pow x0 1.06202877524308 Mul x0 acosh pi x0 
Add Mul x0 Add Mul Mul x0 acosh pi Mul Pow x0 0.0620287752430833 1.06202877524308 Mul Pow x0 1.06202877524308 acosh pi Mul Pow x0 1.06202877524308 Mul x0 acosh pi 