Pow Mul x5 Pow Add -3 Mul x0 acosh x1 Pow x0 -5 x2 
Mul Pow Mul x5 Pow Add -3 Mul x0 acosh x1 Pow x0 -5 Add x2 -1 Mul x2 Mul x5 Mul Pow Add -3 Mul x0 acosh x1 Add Pow x0 -5 -1 Add Mul Pow x0 -5 acosh x1 Mul Mul Add -3 Mul x0 acosh x1 log Add -3 Mul x0 acosh x1 Mul Pow x0 6 -5 