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