Mul x0 Mul Mul Pow Add x0 2 x0 x5 acosh Pow acosh x1 x0 
Add Mul Mul Pow Add x0 2 x0 x5 acosh Pow acosh x1 x0 Mul x0 Add Mul acosh Pow acosh x1 x0 Mul x5 Mul Pow Add x0 2 Add x0 -1 Add x0 Mul Add x0 2 log Add x0 2 Mul Mul Pow Add x0 2 x0 x5 Mul Mul Pow acosh x1 Add x0 -1 Mul acosh x1 log acosh x1 Pow Mul sqrt Add Pow acosh x1 x0 -1 sqrt Add 1 Pow acosh x1 x0 -1 