Mul Pow Mul x0 Mul x0 x6 -2 Mul Mul acosh E Add Add acos x2 x0 x0 x6 
Add Mul Mul Mul acosh E Add Add acos x2 x0 x0 x6 Mul Pow Mul x0 Mul x0 x6 3 Mul -2 Add Mul x0 x6 Mul x0 x6 Mul Pow Mul x0 Mul x0 x6 -2 Mul x6 Mul acosh E 2 