atan Mul Add x0 Add x0 tanh Pow cosh x1 x0 tanh x0 
Mul Add Mul tanh x0 Add 1 Add 1 Mul Pow sech Pow cosh x1 x0 2 Mul Pow cosh x1 Add x0 -1 Mul cosh x1 log cosh x1 Mul Add x0 Add x0 tanh Pow cosh x1 x0 Pow sech x0 2 Pow Add 1 Mul Mul Add x0 Add x0 tanh Pow cosh x1 x0 tanh x0 Mul Add x0 Add x0 tanh Pow cosh x1 x0 tanh x0 -1 