Pow acoth Add x2 atan exp Mul Pow Pow 2 x0 x0 E Pow x6 pi 
Mul Pow acoth Add x2 atan exp Mul Pow Pow 2 x0 x0 E Add Pow x6 pi -1 Mul Pow x6 pi Mul Mul Mul exp Mul Pow Pow 2 x0 x0 E Mul E Mul Pow Pow 2 x0 Add x0 -1 Add Mul x0 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow 2 x0 log Pow 2 x0 Pow Add 1 Mul exp Mul Pow Pow 2 x0 x0 E exp Mul Pow Pow 2 x0 x0 E -1 Pow Add 1 Mul -1 Mul Add x2 atan exp Mul Pow Pow 2 x0 x0 E Add x2 atan exp Mul Pow Pow 2 x0 x0 E -1 