Add Mul Mul Pow cot Mul 4 pi x0 Add x2 acoth x0 acot atan x3 x0 
Add Mul acot atan x3 Add Mul Add x2 acoth x0 Mul Pow cot Mul 4 pi Add x0 -1 Mul cot Mul 4 pi log cot Mul 4 pi Mul Pow cot Mul 4 pi x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 