Mul log Mul sin acoth acot Pow pi Pow x1 x0 -2 x0 
Add Mul x0 Mul Mul -2 Mul cos acoth acot Pow pi Pow x1 x0 Mul Mul -1 Mul Mul Pow pi Add Pow x1 x0 -1 Mul Mul pi log pi Mul Pow x1 Add x0 -1 Mul x1 log x1 Pow Add 1 Mul Pow pi Pow x1 x0 Pow pi Pow x1 x0 -1 Pow Add 1 Mul -1 Mul acot Pow pi Pow x1 x0 acot Pow pi Pow x1 x0 -1 Pow Mul sin acoth acot Pow pi Pow x1 x0 -2 -1 log Mul sin acoth acot Pow pi Pow x1 x0 -2 