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