cosh Add Mul Mul Pow x0 -4 pi Add Mul -5 exp cosh Add x0 x0 Mul x0 x0 x0 
Mul sinh Add Mul Mul Pow x0 -4 pi Add Mul -5 exp cosh Add x0 x0 Mul x0 x0 x0 Add Add Mul Add Mul -5 exp cosh Add x0 x0 Mul x0 x0 Mul pi Mul Pow x0 5 -4 Mul Mul Pow x0 -4 pi Add Mul -5 Mul exp cosh Add x0 x0 Mul sinh Add x0 x0 2 Add x0 x0 1 