Mul Pow Pow x2 E Add tanh x0 1 acoth Mul x2 x0 
Add Mul acoth Mul x2 x0 Mul Pow Pow x2 E Add Add tanh x0 1 -1 Mul Mul Pow x2 E log Pow x2 E Pow sech x0 2 Mul Pow Pow x2 E Add tanh x0 1 Mul x2 Pow Add 1 Mul -1 Mul Mul x2 x0 Mul x2 x0 -1 