acoth sech Add Pow acoth x1 Add x0 Mul Add x1 sech log x0 sinh x5 -1 
Mul Mul Mul tanh Add Pow acoth x1 Add x0 Mul Add x1 sech log x0 sinh x5 -1 Mul -1 sech Add Pow acoth x1 Add x0 Mul Add x1 sech log x0 sinh x5 -1 Mul Pow acoth x1 Add Add x0 Mul Add x1 sech log x0 sinh x5 -1 Mul Mul acoth x1 log acoth x1 Add 1 Mul sinh x5 Mul Mul tanh log x0 Mul -1 sech log x0 Pow x0 -1 Pow Add 1 Mul -1 Mul sech Add Pow acoth x1 Add x0 Mul Add x1 sech log x0 sinh x5 -1 sech Add Pow acoth x1 Add x0 Mul Add x1 sech log x0 sinh x5 -1 -1 