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