Mul tanh cosh Mul x0 Pow x5 Mul cosh x0 x3 x0 
Add Mul x0 Mul Pow sech cosh Mul x0 Pow x5 Mul cosh x0 x3 2 Mul sinh Mul x0 Pow x5 Mul cosh x0 x3 Add Pow x5 Mul cosh x0 x3 Mul x0 Mul Pow x5 Add Mul cosh x0 x3 -1 Mul Mul x5 log x5 Mul x3 sinh x0 tanh cosh Mul x0 Pow x5 Mul cosh x0 x3 