acosh Pow Add x0 Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 x0 Mul x6 x0 
Mul Mul Pow Add x0 Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 x0 Add Mul x6 x0 -1 Add Mul Mul x6 x0 Add 1 Mul Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 -1 Add Add Pow log x2 Add Mul x0 x0 x0 x2 Mul x0 Mul Pow log x2 Add Add Mul x0 x0 x0 -1 Mul Mul log x2 log log x2 Add Add x0 x0 1 Mul sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 log sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 Mul Mul Add x0 Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 x0 log Add x0 Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 x0 x6 Pow Mul sqrt Add Pow Add x0 Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 x0 Mul x6 x0 -1 sqrt Add 1 Pow Add x0 Pow sqrt Mul x0 Add Pow log x2 Add Mul x0 x0 x0 x2 x0 Mul x6 x0 -1 