cosh acoth Add exp Add Pow x0 x2 x0 Pow Add x0 x2 Mul E x0 
Mul sinh acoth Add exp Add Pow x0 x2 x0 Pow Add x0 x2 Mul E x0 Mul Add Mul exp Add Pow x0 x2 x0 Add Mul Pow x0 Add x2 -1 x2 1 Mul Pow Add x0 x2 Add Mul E x0 -1 Add Mul E x0 Mul Mul Add x0 x2 log Add x0 x2 E Pow Add 1 Mul -1 Mul Add exp Add Pow x0 x2 x0 Pow Add x0 x2 Mul E x0 Add exp Add Pow x0 x2 x0 Pow Add x0 x2 Mul E x0 -1 