cbrt Mul acos acot Mul Pow x0 -2 acoth log exp x4 x4 
Mul Pow Mul Mul 3 cbrt Mul acos acot Mul Pow x0 -2 acoth log exp x4 x4 cbrt Mul acos acot Mul Pow x0 -2 acoth log exp x4 x4 -1 Mul x4 Mul -1 Mul Mul -1 Mul Mul acoth log exp x4 Mul Pow x0 3 -2 Pow Add 1 Mul Mul Pow x0 -2 acoth log exp x4 Mul Pow x0 -2 acoth log exp x4 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul Pow x0 -2 acoth log exp x4 acot Mul Pow x0 -2 acoth log exp x4 -1 