Pow cosh Add cosh sech x0 x0 x0 
Mul Pow cosh Add cosh sech x0 x0 Add x0 -1 Add Mul x0 Mul sinh Add cosh sech x0 x0 Add Mul sinh sech x0 Mul tanh x0 Mul -1 sech x0 1 Mul cosh Add cosh sech x0 x0 log cosh Add cosh sech x0 x0 