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