Add x0 Add Mul x3 x0 Add Pow Mul 2 atan sin x0 Add pi Mul x0 Add x0 cot x0 x0 
Add 1 Add x3 Add Mul Pow Mul 2 atan sin x0 Add Add pi Mul x0 Add x0 cot x0 -1 Add Mul Add pi Mul x0 Add x0 cot x0 Mul 2 Mul cos x0 Pow Add 1 Mul sin x0 sin x0 -1 Mul Mul Mul 2 atan sin x0 log Mul 2 atan sin x0 Add Add x0 cot x0 Mul x0 Add 1 Mul -1 Pow csc x0 2 1 