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