Mul Mul tan Mul acos x0 E acosh Pow Mul E Add pi -5 Mul x0 x0 Add x3 Mul x0 x0 
Add Mul Add x3 Mul x0 x0 Add Mul acosh Pow Mul E Add pi -5 Mul x0 x0 Mul Pow sec Mul acos x0 E 2 Mul E Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul tan Mul acos x0 E Mul Mul Pow Mul E Add pi -5 Add Mul x0 x0 -1 Mul Mul Mul E Add pi -5 log Mul E Add pi -5 Add x0 x0 Pow Mul sqrt Add Pow Mul E Add pi -5 Mul x0 x0 -1 sqrt Add 1 Pow Mul E Add pi -5 Mul x0 x0 -1 Mul Mul tan Mul acos x0 E acosh Pow Mul E Add pi -5 Mul x0 x0 Add x0 x0 