Mul Mul Pow Mul x0 Mul Add -5 x0 2 acosh pi x0 x0 
Add Mul x0 Add Mul x0 Mul Pow Mul x0 Mul Add -5 x0 2 Add acosh pi -1 Mul acosh pi Add Mul Add -5 x0 2 Mul x0 2 Pow Mul x0 Mul Add -5 x0 2 acosh pi Mul Pow Mul x0 Mul Add -5 x0 2 acosh pi x0 