Pow acosh Add Pow x0 x0 Add -4 Add x0 Pow E x0 Pow Mul x1 -4 x0 
Mul Pow acosh Add Pow x0 x0 Add -4 Add x0 Pow E x0 Add Pow Mul x1 -4 x0 -1 Add Mul Pow Mul x1 -4 x0 Mul Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Add 1 Mul Pow E Add x0 -1 Mul E log E Pow Mul sqrt Add Add Pow x0 x0 Add -4 Add x0 Pow E x0 -1 sqrt Add 1 Add Pow x0 x0 Add -4 Add x0 Pow E x0 -1 Mul Mul acosh Add Pow x0 x0 Add -4 Add x0 Pow E x0 log acosh Add Pow x0 x0 Add -4 Add x0 Pow E x0 Mul Pow Mul x1 -4 Add x0 -1 Mul Mul x1 -4 log Mul x1 -4 