Pow acot Mul x0 pi Mul Mul x1 Pow Add x0 Mul x0 Mul x2 x5 4 Pow csc x6 x5 
Mul Pow acot Mul x0 pi Add Mul Mul x1 Pow Add x0 Mul x0 Mul x2 x5 4 Pow csc x6 x5 -1 Add Mul Mul Mul x1 Pow Add x0 Mul x0 Mul x2 x5 4 Pow csc x6 x5 Mul -1 Mul pi Pow Add 1 Mul Mul x0 pi Mul x0 pi -1 Mul Mul acot Mul x0 pi log acot Mul x0 pi Mul Pow csc x6 x5 Mul x1 Mul Pow Add x0 Mul x0 Mul x2 x5 3 Mul 4 Add 1 Mul x2 x5 