Add x1 Add Mul acoth Pow Pow x5 x2 Mul acot Mul Mul x0 acos x7 x0 x0 x2 Add x6 x0 
Add Mul x2 Mul Mul Pow Pow x5 x2 Add Mul acot Mul Mul x0 acos x7 x0 x0 -1 Mul Mul Pow x5 x2 log Pow x5 x2 Add Mul x0 Mul -1 Mul Add Mul x0 acos x7 Mul x0 acos x7 Pow Add 1 Mul Mul Mul x0 acos x7 x0 Mul Mul x0 acos x7 x0 -1 acot Mul Mul x0 acos x7 x0 Pow Add 1 Mul -1 Mul Pow Pow x5 x2 Mul acot Mul Mul x0 acos x7 x0 x0 Pow Pow x5 x2 Mul acot Mul Mul x0 acos x7 x0 x0 -1 1 