sech Add x0 sinh Add x5 Mul Pow cosh exp x0 x1 exp x0 
Mul Mul tanh Add x0 sinh Add x5 Mul Pow cosh exp x0 x1 exp x0 Mul -1 sech Add x0 sinh Add x5 Mul Pow cosh exp x0 x1 exp x0 Add 1 Mul cosh Add x5 Mul Pow cosh exp x0 x1 exp x0 Add Mul exp x0 Mul Pow cosh exp x0 Add x1 -1 Mul x1 Mul sinh exp x0 exp x0 Mul Pow cosh exp x0 x1 exp x0 