Add x3 Mul csc sin Pow Pow acot x1 x0 Pow x0 x3 x0 
Add Mul x0 Mul Mul Mul -1 cot sin Pow Pow acot x1 x0 Pow x0 x3 csc sin Pow Pow acot x1 x0 Pow x0 x3 Mul cos Pow Pow acot x1 x0 Pow x0 x3 Mul Pow Pow acot x1 x0 Add Pow x0 x3 -1 Add Mul Pow x0 x3 Mul Pow acot x1 Add x0 -1 Mul acot x1 log acot x1 Mul Mul Pow acot x1 x0 log Pow acot x1 x0 Mul Pow x0 Add x3 -1 x3 csc sin Pow Pow acot x1 x0 Pow x0 x3 