Mul Pow cosh Mul x0 Add 3 Pow tanh x5 x6 exp Pow Pow exp x0 2 E x1 
Mul x1 Mul Pow cosh Mul x0 Add 3 Pow tanh x5 x6 Add exp Pow Pow exp x0 2 E -1 Add Mul exp Pow Pow exp x0 2 E Mul sinh Mul x0 Add 3 Pow tanh x5 x6 Add 3 Pow tanh x5 x6 Mul Mul cosh Mul x0 Add 3 Pow tanh x5 x6 log cosh Mul x0 Add 3 Pow tanh x5 x6 Mul exp Pow Pow exp x0 2 E Mul Pow Pow exp x0 2 Add E -1 Mul E Mul exp x0 Mul 2 exp x0 