acosh Mul x1 Add x3 Pow x4 Pow Pow sqrt x0 x0 x0 
Mul Mul x1 Mul Pow x4 Add Pow Pow sqrt x0 x0 x0 -1 Mul Mul x4 log x4 Mul Pow Pow sqrt x0 x0 Add x0 -1 Add Mul x0 Mul Pow sqrt x0 Add x0 -1 Add Mul x0 Pow Mul 2 sqrt x0 -1 Mul sqrt x0 log sqrt x0 Mul Pow sqrt x0 x0 log Pow sqrt x0 x0 Pow Mul sqrt Add Mul x1 Add x3 Pow x4 Pow Pow sqrt x0 x0 x0 -1 sqrt Add 1 Mul x1 Add x3 Pow x4 Pow Pow sqrt x0 x0 x0 -1 