Mul x0 Pow Add acsc x1 x0 acoth Add x0 pi 
Add Pow Add acsc x1 x0 acoth Add x0 pi Mul x0 Mul Pow Add acsc x1 x0 Add acoth Add x0 pi -1 Add acoth Add x0 pi Mul Mul Add acsc x1 x0 log Add acsc x1 x0 Pow Add 1 Mul -1 Mul Add x0 pi Add x0 pi -1 