Add x0 Pow E Pow x3 Mul Add x0 acos sqrt x0 Pow cosh x0 -3 
Add 1 Mul Pow E Add Pow x3 Mul Add x0 acos sqrt x0 Pow cosh x0 -3 -1 Mul Mul E log E Mul Pow x3 Add Mul Add x0 acos sqrt x0 Pow cosh x0 -3 -1 Mul Mul x3 log x3 Add Mul Pow cosh x0 -3 Add 1 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul Add x0 acos sqrt x0 Mul Pow cosh x0 4 Mul -3 sinh x0 