atan Pow Pow Add x0 x0 Add Add x1 x0 1 cot E 
Mul Mul Pow Pow Add x0 x0 Add Add x1 x0 1 Add cot E -1 Mul cot E Mul Pow Add x0 x0 Add Add Add x1 x0 1 -1 Add Mul Add Add x1 x0 1 2 Mul Add x0 x0 log Add x0 x0 Pow Add 1 Mul Pow Pow Add x0 x0 Add Add x1 x0 1 cot E Pow Pow Add x0 x0 Add Add x1 x0 1 cot E -1 