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