Add x0 Pow Mul log x0 Mul cosh x7 Mul x0 x0 exp x0 
Add 1 Mul Pow Mul log x0 Mul cosh x7 Mul x0 x0 Add exp x0 -1 Add Mul exp x0 Add Mul Mul cosh x7 Mul x0 x0 Pow x0 -1 Mul log x0 Mul cosh x7 Add x0 x0 Mul Mul Mul log x0 Mul cosh x7 Mul x0 x0 log Mul log x0 Mul cosh x7 Mul x0 x0 exp x0 