Add Pow x0 acoth Mul Mul acos x7 Pow Mul x0 acot x3 x1 x0 Mul x4 x0 
Add Mul Pow x0 Add acoth Mul Mul acos x7 Pow Mul x0 acot x3 x1 x0 -1 Add acoth Mul Mul acos x7 Pow Mul x0 acot x3 x1 x0 Mul Mul x0 log x0 Mul Add Mul x0 Mul acos x7 Mul Pow Mul x0 acot x3 Add x1 -1 Mul x1 acot x3 Mul acos x7 Pow Mul x0 acot x3 x1 Pow Add 1 Mul -1 Mul Mul Mul acos x7 Pow Mul x0 acot x3 x1 x0 Mul Mul acos x7 Pow Mul x0 acot x3 x1 x0 -1 x4 