Pow Mul 4 acosh x5 Pow Pow x5 x0 log x6 
Mul Pow Mul 4 acosh x5 Add Pow Pow x5 x0 log x6 -1 Mul Mul Mul 4 acosh x5 log Mul 4 acosh x5 Mul Pow Pow x5 x0 Add log x6 -1 Mul log x6 Mul Pow x5 Add x0 -1 Mul x5 log x5 