atan Pow 27.2899171971277 Pow Add Pow Pow 2 x0 x0 acoth x1 acot tanh x0 
Mul Mul Pow 27.2899171971277 Add Pow Add Pow Pow 2 x0 x0 acoth x1 acot tanh x0 -1 Mul 30.5964344976597 Mul Pow Add Pow Pow 2 x0 x0 acoth x1 Add acot tanh x0 -1 Add Mul acot tanh x0 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 Mul Mul Add Pow Pow 2 x0 x0 acoth x1 log Add Pow Pow 2 x0 x0 acoth x1 Mul -1 Mul Pow sech x0 2 Pow Add 1 Mul tanh x0 tanh x0 -1 Pow Add 1 Mul Pow 27.2899171971277 Pow Add Pow Pow 2 x0 x0 acoth x1 acot tanh x0 Pow 27.2899171971277 Pow Add Pow Pow 2 x0 x0 acoth x1 acot tanh x0 -1 