sqrt Pow x6 Add Pow Pow x0 -1 acosh x1 x2 
Mul Pow Mul 2 sqrt Pow x6 Add Pow Pow x0 -1 acosh x1 x2 -1 Mul Pow x6 Add Add Pow Pow x0 -1 acosh x1 x2 -1 Mul Mul x6 log x6 Mul Pow Pow x0 -1 Add acosh x1 -1 Mul acosh x1 Mul Pow x0 2 -1 