acos Add Mul x0 Mul Add acoth Add Pow x1 Mul 3 x0 Pow Pow acot x0 Mul x0 cot x0 x0 x0 x6 x7 
Mul -1 Mul Add Mul Add acoth Add Pow x1 Mul 3 x0 Pow Pow acot x0 Mul x0 cot x0 x0 x0 x6 Mul x0 Mul x6 Add Mul Add Mul Pow x1 Add Mul 3 x0 -1 Mul Mul x1 log x1 3 Mul Pow Pow acot x0 Mul x0 cot x0 Add x0 -1 Add Mul x0 Mul Pow acot x0 Add Mul x0 cot x0 -1 Add Mul Mul x0 cot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add cot x0 Mul x0 Mul -1 Pow csc x0 2 Mul Pow acot x0 Mul x0 cot x0 log Pow acot x0 Mul x0 cot x0 Pow Add 1 Mul -1 Mul Add Pow x1 Mul 3 x0 Pow Pow acot x0 Mul x0 cot x0 x0 Add Pow x1 Mul 3 x0 Pow Pow acot x0 Mul x0 cot x0 x0 -1 1 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 Mul Add acoth Add Pow x1 Mul 3 x0 Pow Pow acot x0 Mul x0 cot x0 x0 x0 x6 x7 Add Mul x0 Mul Add acoth Add Pow x1 Mul 3 x0 Pow Pow acot x0 Mul x0 cot x0 x0 x0 x6 x7 -1 