Mul Pow Pow Add log Mul x6 x0 Pow x6 x7 Mul x6 acosh x3 x0 -4 
Mul -4 Mul Pow Pow Add log Mul x6 x0 Pow x6 x7 Mul x6 acosh x3 Add x0 -1 Add Mul x0 Mul Pow Add log Mul x6 x0 Pow x6 x7 Add Mul x6 acosh x3 -1 Mul Mul x6 acosh x3 Mul x6 Pow Mul x6 x0 -1 Mul Pow Add log Mul x6 x0 Pow x6 x7 Mul x6 acosh x3 log Pow Add log Mul x6 x0 Pow x6 x7 Mul x6 acosh x3 