Add Pow cos Pow x1 Pow x0 Mul Pow Add -4 sqrt x0 -2 x0 acot x6 cosh x7 
Mul Pow cos Pow x1 Pow x0 Mul Pow Add -4 sqrt x0 -2 x0 Add acot x6 -1 Mul acot x6 Mul Mul -1 sin Pow x1 Pow x0 Mul Pow Add -4 sqrt x0 -2 x0 Mul Pow x1 Add Pow x0 Mul Pow Add -4 sqrt x0 -2 x0 -1 Mul Mul x1 log x1 Mul Pow x0 Add Mul Pow Add -4 sqrt x0 -2 x0 -1 Add Mul Pow Add -4 sqrt x0 -2 x0 Mul Mul x0 log x0 Add Mul x0 Mul Pow Add -4 sqrt x0 3 Mul -2 Pow Mul 2 sqrt x0 -1 Pow Add -4 sqrt x0 -2 