Mul x0 Pow Mul Mul Add x0 acosh x6 x0 6 Pow x0 -2 
Add Pow Mul Mul Add x0 acosh x6 x0 6 Pow x0 -2 Mul x0 Mul Pow Mul Mul Add x0 acosh x6 x0 6 Add Pow x0 -2 -1 Add Mul Pow x0 -2 Mul 6 Add x0 Add x0 acosh x6 Mul Mul Mul Mul Add x0 acosh x6 x0 6 log Mul Mul Add x0 acosh x6 x0 6 Mul Pow x0 3 -2 