Pow acot Add x0 Pow Mul x5 Add x0 pi x1 Mul cot x0 cot x0 
Mul Pow acot Add x0 Pow Mul x5 Add x0 pi x1 Add Mul cot x0 cot x0 -1 Add Mul Mul cot x0 cot x0 Mul -1 Mul Add 1 Mul Pow Mul x5 Add x0 pi Add x1 -1 Mul x1 x5 Pow Add 1 Mul Add x0 Pow Mul x5 Add x0 pi x1 Add x0 Pow Mul x5 Add x0 pi x1 -1 Mul Mul acot Add x0 Pow Mul x5 Add x0 pi x1 log acot Add x0 Pow Mul x5 Add x0 pi x1 Add Mul cot x0 Mul -1 Pow csc x0 2 Mul cot x0 Mul -1 Pow csc x0 2 