Add Mul cosh cosh Mul x4 Pow exp x0 Mul -2 x1 x0 x0 
Add Add Mul x0 Mul sinh cosh Mul x4 Pow exp x0 Mul -2 x1 Mul sinh Mul x4 Pow exp x0 Mul -2 x1 Mul x4 Mul Pow exp x0 Add Mul -2 x1 -1 Mul Mul -2 x1 exp x0 cosh cosh Mul x4 Pow exp x0 Mul -2 x1 1 