acot Mul Pow x0 acot Mul acosh Add Mul Add -4 x0 x2 x0 x6 x1 
Mul -1 Mul Mul x1 Mul Pow x0 Add acot Mul acosh Add Mul Add -4 x0 x2 x0 x6 -1 Add acot Mul acosh Add Mul Add -4 x0 x2 x0 x6 Mul Mul x0 log x0 Mul -1 Mul Mul x6 Mul Add x2 1 Pow Mul sqrt Add Add Mul Add -4 x0 x2 x0 -1 sqrt Add 1 Add Mul Add -4 x0 x2 x0 -1 Pow Add 1 Mul Mul acosh Add Mul Add -4 x0 x2 x0 x6 Mul acosh Add Mul Add -4 x0 x2 x0 x6 -1 Pow Add 1 Mul Mul Pow x0 acot Mul acosh Add Mul Add -4 x0 x2 x0 x6 x1 Mul Pow x0 acot Mul acosh Add Mul Add -4 x0 x2 x0 x6 x1 -1 