Add Pow Add Mul acos Pow Pow x0 -2 acosh x6 x7 x0 pi Mul Mul 2 x1 x0 
Add Mul Pow Add Mul acos Pow Pow x0 -2 acosh x6 x7 x0 Add pi -1 Mul pi Add Mul x7 Mul -1 Mul Mul Pow Pow x0 -2 Add acosh x6 -1 Mul acosh x6 Mul Pow x0 3 -2 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 -2 acosh x6 Pow Pow x0 -2 acosh x6 -1 1 Mul 2 x1 