Pow 4.31303528549933 Mul x0 acoth atanh tanh Mul x0 2 
Mul Pow 4.31303528549933 Add Mul x0 acoth atanh tanh Mul x0 2 -1 Mul 5.77467718432780 Add acoth atanh tanh Mul x0 2 Mul x0 Mul Mul Mul Pow sech Mul x0 2 2 2 Pow Add 1 Mul -1 Mul tanh Mul x0 2 tanh Mul x0 2 -1 Pow Add 1 Mul -1 Mul atanh tanh Mul x0 2 atanh tanh Mul x0 2 -1 