Add E Mul Pow tanh Mul Add Pow x1 -2 x1 E acoth Add x0 4 x0 
Add Mul x0 Mul Pow tanh Mul Add Pow x1 -2 x1 E Add acoth Add x0 4 -1 Mul Mul tanh Mul Add Pow x1 -2 x1 E log tanh Mul Add Pow x1 -2 x1 E Pow Add 1 Mul -1 Mul Add x0 4 Add x0 4 -1 Pow tanh Mul Add Pow x1 -2 x1 E acoth Add x0 4 