Mul atanh Pow acoth x5 Add x0 tanh x0 0.950380808831541 
Mul 0.950380808831541 Mul Mul Pow acoth x5 Add Add x0 tanh x0 -1 Mul Mul acoth x5 log acoth x5 Add 1 Pow sech x0 2 Pow Add 1 Mul -1 Mul Pow acoth x5 Add x0 tanh x0 Pow acoth x5 Add x0 tanh x0 -1 