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