Add x0 atan Pow 2 Mul atan acoth x0 Mul Add Pow atan E x3 5 3 
Add 1 Mul Mul Pow 2 Add Mul atan acoth x0 Mul Add Pow atan E x3 5 3 -1 Mul 2.69314718055995 Mul Mul Add Pow atan E x3 5 3 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Pow Add 1 Mul Pow 2 Mul atan acoth x0 Mul Add Pow atan E x3 5 3 Pow 2 Mul atan acoth x0 Mul Add Pow atan E x3 5 3 -1 