Add Mul acosh x4 x0 Pow Pow x0 Mul Add Pow Add x0 x7 x2 x0 x0 -1 
Add acosh x4 Mul Pow Pow x0 Mul Add Pow Add x0 x7 x2 x0 x0 2 Mul -1 Mul Pow x0 Add Mul Add Pow Add x0 x7 x2 x0 x0 -1 Add Mul Add Pow Add x0 x7 x2 x0 x0 Mul Mul x0 log x0 Add Mul x0 Add Mul Pow Add x0 x7 Add x2 -1 x2 1 Add Pow Add x0 x7 x2 x0 