Pow x0 Add Add Pow x4 Mul -4 x5 x3 Pow Mul x2 Pow Pow acosh x3 x0 Add x7 x0 Pow x0 Mul x0 -4 
Mul Pow x0 Add Add Add Pow x4 Mul -4 x5 x3 Pow Mul x2 Pow Pow acosh x3 x0 Add x7 x0 Pow x0 Mul x0 -4 -1 Add Add Add Pow x4 Mul -4 x5 x3 Pow Mul x2 Pow Pow acosh x3 x0 Add x7 x0 Pow x0 Mul x0 -4 Mul Mul x0 log x0 Mul Pow Mul x2 Pow Pow acosh x3 x0 Add x7 x0 Add Pow x0 Mul x0 -4 -1 Add Mul Pow x0 Mul x0 -4 Mul x2 Mul Pow Pow acosh x3 x0 Add Add x7 x0 -1 Add Mul Add x7 x0 Mul Pow acosh x3 Add x0 -1 Mul acosh x3 log acosh x3 Mul Pow acosh x3 x0 log Pow acosh x3 x0 Mul Mul Mul x2 Pow Pow acosh x3 x0 Add x7 x0 log Mul x2 Pow Pow acosh x3 x0 Add x7 x0 Mul Pow x0 Add Mul x0 -4 -1 Add Mul x0 -4 Mul Mul x0 log x0 -4 