Add Mul Pow Mul x7 Mul x1 Pow x2 x2 Mul x0 x0 Add 2 acosh x0 Pow -5 x7 
Add Mul Add 2 acosh x0 Mul Pow Mul x7 Mul x1 Pow x2 x2 Add Mul x0 x0 -1 Mul Mul Mul x7 Mul x1 Pow x2 x2 log Mul x7 Mul x1 Pow x2 x2 Add x0 x0 Mul Pow Mul x7 Mul x1 Pow x2 x2 Mul x0 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 