tanh Pow acoth Add x3 Add x0 exp x0 x0 
Mul Pow sech Pow acoth Add x3 Add x0 exp x0 x0 2 Mul Pow acoth Add x3 Add x0 exp x0 Add x0 -1 Add Mul x0 Mul Add 1 exp x0 Pow Add 1 Mul -1 Mul Add x3 Add x0 exp x0 Add x3 Add x0 exp x0 -1 Mul acoth Add x3 Add x0 exp x0 log acoth Add x3 Add x0 exp x0 