Mul x0 Pow Add Mul 3 Pow acos x0 acosh pi E Add x0 2 
Add Pow Add Mul 3 Pow acos x0 acosh pi E Add x0 2 Mul x0 Mul Pow Add Mul 3 Pow acos x0 acosh pi E Add Add x0 2 -1 Add Mul Add x0 2 Mul 3 Mul Pow acos x0 Add acosh pi -1 Mul acosh pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add Mul 3 Pow acos x0 acosh pi E log Add Mul 3 Pow acos x0 acosh pi E 