Add acoth x0 Add sech atanh Mul x0 atanh E x0 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Mul tanh atanh Mul x0 atanh E Mul -1 sech atanh Mul x0 atanh E Mul atanh E Pow Add 1 Mul -1 Mul Mul x0 atanh E Mul x0 atanh E -1 1 