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