Add Mul x0 Mul x0 Pow acot Add x3 csc x0 x0 x0 
Add Add Mul x0 Pow acot Add x3 csc x0 x0 Mul x0 Add Pow acot Add x3 csc x0 x0 Mul x0 Mul Pow acot Add x3 csc x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul Add x3 csc x0 Add x3 csc x0 -1 Mul acot Add x3 csc x0 log acot Add x3 csc x0 1 