sech Mul x0 Mul Add cosh x7 x3 Pow 2.09439510239320 x0 
Mul Mul tanh Mul x0 Mul Add cosh x7 x3 Pow 2.09439510239320 x0 Mul -1 sech Mul x0 Mul Add cosh x7 x3 Pow 2.09439510239320 x0 Add Mul Add cosh x7 x3 Pow 2.09439510239320 x0 Mul x0 Mul Add cosh x7 x3 Mul Pow 2.09439510239320 Add x0 -1 2.83365988013443 