Mul sinh sech x0 exp Mul x0 Mul Mul sinh E Mul 4 x0 x0 
Add Mul exp Mul x0 Mul Mul sinh E Mul 4 x0 x0 Mul cosh sech x0 Mul tanh x0 Mul -1 sech x0 Mul sinh sech x0 Mul exp Mul x0 Mul Mul sinh E Mul 4 x0 x0 Add Mul Mul sinh E Mul 4 x0 x0 Mul x0 Add Mul x0 Mul sinh E 4 Mul sinh E Mul 4 x0 