cosh Pow x5 sech Add Mul x0 x0 Mul sinh Add x0 x0 3 
Mul sinh Pow x5 sech Add Mul x0 x0 Mul sinh Add x0 x0 3 Mul Pow x5 Add sech Add Mul x0 x0 Mul sinh Add x0 x0 3 -1 Mul Mul x5 log x5 Mul Mul tanh Add Mul x0 x0 Mul sinh Add x0 x0 3 Mul -1 sech Add Mul x0 x0 Mul sinh Add x0 x0 3 Add Add x0 x0 Mul 3 Mul cosh Add x0 x0 2 