Mul -4 Pow Mul Pow Mul x0 -2 Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 Mul x0 x0 Mul x0 Mul x0 x4 
Mul -4 Mul Pow Mul Pow Mul x0 -2 Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 Mul x0 x0 Add Mul x0 Mul x0 x4 -1 Add Mul Mul x0 Mul x0 x4 Add Mul Mul x0 x0 Mul Pow Mul x0 -2 Add Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 -1 Add Mul Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 -2 Mul Mul Mul x0 -2 log Mul x0 -2 Mul Pow x0 Add Mul acosh Pow x5 -1 Mul x6 x7 -1 Mul acosh Pow x5 -1 Mul x6 x7 Mul Pow Mul x0 -2 Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 Add x0 x0 Mul Mul Mul Pow Mul x0 -2 Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 Mul x0 x0 log Mul Pow Mul x0 -2 Pow x0 Mul acosh Pow x5 -1 Mul x6 x7 Mul x0 x0 Add Mul x0 x4 Mul x0 x4 