Mul Pow x5 Add sqrt x0 Add x6 Add Pow Add x0 -1 Add acosh log x0 x3 -2 -3 
Mul -3 Mul Pow x5 Add Add sqrt x0 Add x6 Add Pow Add x0 -1 Add acosh log x0 x3 -2 -1 Mul Mul x5 log x5 Add Pow Mul 2 sqrt x0 -1 Mul Pow Add x0 -1 Add Add acosh log x0 x3 -1 Add Add acosh log x0 x3 Mul Mul Add x0 -1 log Add x0 -1 Mul Pow x0 -1 Pow Mul sqrt Add log x0 -1 sqrt Add 1 log x0 -1 