Mul sech Mul cosh acsch Mul -0.756802495307928 x7 x0 Add Mul x0 x0 -3 
Add Mul Add Mul x0 x0 -3 Mul Mul tanh Mul cosh acsch Mul -0.756802495307928 x7 x0 Mul -1 sech Mul cosh acsch Mul -0.756802495307928 x7 x0 cosh acsch Mul -0.756802495307928 x7 Mul sech Mul cosh acsch Mul -0.756802495307928 x7 x0 Add x0 x0 