Mul x2 Pow Mul x0 cot Pow tan Add x0 Mul Mul x0 x0 acot x0 acot x0 x0 
Mul x2 Mul Pow Mul x0 cot Pow tan Add x0 Mul Mul x0 x0 acot x0 acot x0 Add x0 -1 Add Mul x0 Add cot Pow tan Add x0 Mul Mul x0 x0 acot x0 acot x0 Mul x0 Mul Mul -1 Pow csc Pow tan Add x0 Mul Mul x0 x0 acot x0 acot x0 2 Mul Pow tan Add x0 Mul Mul x0 x0 acot x0 Add acot x0 -1 Add Mul acot x0 Mul Pow sec Add x0 Mul Mul x0 x0 acot x0 2 Add 1 Add Mul acot x0 Add x0 x0 Mul Mul x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul tan Add x0 Mul Mul x0 x0 acot x0 log tan Add x0 Mul Mul x0 x0 acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul x0 cot Pow tan Add x0 Mul Mul x0 x0 acot x0 acot x0 log Mul x0 cot Pow tan Add x0 Mul Mul x0 x0 acot x0 acot x0 