Mul Mul -3 asinh Mul pi Mul x4 cosh sqrt x0 Pow E acos x0 
Add Mul Pow E acos x0 Mul -3 Mul Mul pi Mul x4 Mul sinh sqrt x0 Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul Mul pi Mul x4 cosh sqrt x0 Mul pi Mul x4 cosh sqrt x0 -1 Mul Mul -3 asinh Mul pi Mul x4 cosh sqrt x0 Mul Pow E Add acos x0 -1 Mul Mul E log E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 