Pow cosh Add Mul Mul x0 x0 Mul x2 exp coth E Mul -0.653643620863612 x0 x0 
Mul Pow cosh Add Mul Mul x0 x0 Mul x2 exp coth E Mul -0.653643620863612 x0 Add x0 -1 Add Mul x0 Mul sinh Add Mul Mul x0 x0 Mul x2 exp coth E Mul -0.653643620863612 x0 Add Mul Mul x2 exp coth E Add x0 x0 -0.653643620863612 Mul cosh Add Mul Mul x0 x0 Mul x2 exp coth E Mul -0.653643620863612 x0 log cosh Add Mul Mul x0 x0 Mul x2 exp coth E Mul -0.653643620863612 x0 