tanh acoth Add Add 2 x2 Add cosh x0 log asec x2 
Mul Pow sech acoth Add Add 2 x2 Add cosh x0 log asec x2 2 Mul sinh x0 Pow Add 1 Mul -1 Mul Add Add 2 x2 Add cosh x0 log asec x2 Add Add 2 x2 Add cosh x0 log asec x2 -1 