Mul -4 acot exp acoth Add Pow x0 x1 pi 
Mul -4 Mul -1 Mul Mul exp acoth Add Pow x0 x1 pi Mul Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul -1 Mul Add Pow x0 x1 pi Add Pow x0 x1 pi -1 Pow Add 1 Mul exp acoth Add Pow x0 x1 pi exp acoth Add Pow x0 x1 pi -1 