Add x2 Pow Add Mul 8 Mul x0 Mul acosh E Pow Pow x0 x0 Add Add x0 x0 x0 Pow Mul Add x1 -4 x0 x0 x0 
Mul Pow Add Mul 8 Mul x0 Mul acosh E Pow Pow x0 x0 Add Add x0 x0 x0 Pow Mul Add x1 -4 x0 x0 Add x0 -1 Add Mul x0 Add Mul 8 Add Mul acosh E Pow Pow x0 x0 Add Add x0 x0 x0 Mul x0 Mul acosh E Mul Pow Pow x0 x0 Add Add Add x0 x0 x0 -1 Add Mul Add Add x0 x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 3 Mul Pow Mul Add x1 -4 x0 Add x0 -1 Add Mul x0 Add x1 -4 Mul Mul Add x1 -4 x0 log Mul Add x1 -4 x0 Mul Add Mul 8 Mul x0 Mul acosh E Pow Pow x0 x0 Add Add x0 x0 x0 Pow Mul Add x1 -4 x0 x0 log Add Mul 8 Mul x0 Mul acosh E Pow Pow x0 x0 Add Add x0 x0 x0 Pow Mul Add x1 -4 x0 x0 