Mul Mul Mul Mul -1 x3 Mul -1 x0 x7 Mul Pow x0 Add acosh x1 Add -1 x0 x0 
Add Mul Mul Pow x0 Add acosh x1 Add -1 x0 x0 Mul x7 Mul Mul -1 x3 -1 Mul Mul Mul Mul -1 x3 Mul -1 x0 x7 Add Mul x0 Mul Pow x0 Add Add acosh x1 Add -1 x0 -1 Add Add acosh x1 Add -1 x0 Mul x0 log x0 Pow x0 Add acosh x1 Add -1 x0 