Pow cosh Add x0 Add Pow exp x5 2 sech Pow tanh Add sinh x0 1 x2 Mul x0 x7 
Mul Pow cosh Add x0 Add Pow exp x5 2 sech Pow tanh Add sinh x0 1 x2 Add Mul x0 x7 -1 Add Mul Mul x0 x7 Mul sinh Add x0 Add Pow exp x5 2 sech Pow tanh Add sinh x0 1 x2 Add 1 Mul Mul tanh Pow tanh Add sinh x0 1 x2 Mul -1 sech Pow tanh Add sinh x0 1 x2 Mul Pow tanh Add sinh x0 1 Add x2 -1 Mul x2 Mul Pow sech Add sinh x0 1 2 cosh x0 Mul Mul cosh Add x0 Add Pow exp x5 2 sech Pow tanh Add sinh x0 1 x2 log cosh Add x0 Add Pow exp x5 2 sech Pow tanh Add sinh x0 1 x2 x7 