Add Pow x0 Mul x0 sqrt x0 Add Pow Mul Mul 4 x2 Mul acosh Add x0 -4 Pow 4 x0 4 Pow x0 acos x1 
Add Mul Pow x0 Add Mul x0 sqrt x0 -1 Add Mul x0 sqrt x0 Mul Mul x0 log x0 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Add Mul Pow Mul Mul 4 x2 Mul acosh Add x0 -4 Pow 4 x0 3 Mul 4 Mul Mul 4 x2 Add Mul Pow 4 x0 Pow Mul sqrt Add Add x0 -4 -1 sqrt Add 1 Add x0 -4 -1 Mul acosh Add x0 -4 Mul Pow 4 Add x0 -1 5.38629436111989 Mul Pow x0 Add acos x1 -1 acos x1 