Pow Pow x2 acosh Add Pow Mul Mul x1 x0 x0 x0 x2 Add x0 x3 
Mul Pow Pow x2 acosh Add Pow Mul Mul x1 x0 x0 x0 x2 Add Add x0 x3 -1 Add Mul Add x0 x3 Mul Pow x2 Add acosh Add Pow Mul Mul x1 x0 x0 x0 x2 -1 Mul Mul x2 log x2 Mul Mul Pow Mul Mul x1 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 x1 Mul x1 x0 Mul Mul Mul x1 x0 x0 log Mul Mul x1 x0 x0 Pow Mul sqrt Add Add Pow Mul Mul x1 x0 x0 x0 x2 -1 sqrt Add 1 Add Pow Mul Mul x1 x0 x0 x0 x2 -1 Mul Pow x2 acosh Add Pow Mul Mul x1 x0 x0 x0 x2 log Pow x2 acosh Add Pow Mul Mul x1 x0 x0 x0 x2 