Add Pow acosh Mul x7 Pow Mul -5 cos cosh acos x2 Add pi -3 Pow x0 sqrt x0 4 
Mul Pow acosh Mul x7 Pow Mul -5 cos cosh acos x2 Add pi -3 Add Pow x0 sqrt x0 -1 Mul Mul acosh Mul x7 Pow Mul -5 cos cosh acos x2 Add pi -3 log acosh Mul x7 Pow Mul -5 cos cosh acos x2 Add pi -3 Mul Pow x0 Add sqrt x0 -1 Add sqrt x0 Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 