Mul Mul cot Mul x0 x0 acot acot x0 Mul Pow x0 -4 3 
Add Mul Mul Pow x0 -4 3 Add Mul acot acot x0 Mul Mul -1 Pow csc Mul x0 x0 2 Add x0 x0 Mul cot Mul x0 x0 Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Mul Mul cot Mul x0 x0 acot acot x0 Mul 3 Mul Pow x0 5 -4 