Pow Pow 2 coth acot Add Mul 2 x0 1 Add atan x0 Mul x1 x0 
Mul Pow Pow 2 coth acot Add Mul 2 x0 1 Add Add atan x0 Mul x1 x0 -1 Add Mul Add atan x0 Mul x1 x0 Mul Pow 2 Add coth acot Add Mul 2 x0 1 -1 Mul 2.69314718055995 Mul Mul -1 Pow csch acot Add Mul 2 x0 1 2 Mul -1 Mul 2 Pow Add 1 Mul Add Mul 2 x0 1 Add Mul 2 x0 1 -1 Mul Mul Pow 2 coth acot Add Mul 2 x0 1 log Pow 2 coth acot Add Mul 2 x0 1 Add Pow Add 1 Mul x0 x0 -1 x1 