Add x0 Mul 4 Mul Pow x0 x0 Mul Add x0 x0 Pow Mul Pow x4 Mul Add x0 acosh x4 -4 x0 Mul x4 x0 
Add 1 Mul 4 Add Mul Mul Add x0 x0 Pow Mul Pow x4 Mul Add x0 acosh x4 -4 x0 Mul x4 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 Add Mul Pow Mul Pow x4 Mul Add x0 acosh x4 -4 x0 Mul x4 x0 2 Mul Add x0 x0 Mul Pow Mul Pow x4 Mul Add x0 acosh x4 -4 x0 Add Mul x4 x0 -1 Add Mul Mul x4 x0 Add Mul x0 Mul Pow x4 Add Mul Add x0 acosh x4 -4 -1 Mul Mul x4 log x4 -4 Pow x4 Mul Add x0 acosh x4 -4 Mul Mul Mul Pow x4 Mul Add x0 acosh x4 -4 x0 log Mul Pow x4 Mul Add x0 acosh x4 -4 x0 x4 