cot acoth Mul x0 Pow Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 x0 
Mul Mul -1 Pow csc acoth Mul x0 Pow Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 x0 2 Mul Add Pow Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 x0 Mul x0 Mul Pow Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 Add x0 -1 Add Mul x0 Mul 2 Mul -1 Mul Mul Pow Add Mul x0 x0 Add -3 x0 Add pi -1 Mul pi Add Add x0 x0 1 Pow Add 1 Mul Pow Add Mul x0 x0 Add -3 x0 pi Pow Add Mul x0 x0 Add -3 x0 pi -1 Mul Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 log Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 Pow Add 1 Mul -1 Mul Mul x0 Pow Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 x0 Mul x0 Pow Mul Add acot Pow Add Mul x0 x0 Add -3 x0 pi x6 2 x0 -1 