Pow Mul Mul x0 x0 cosh E sin exp sinh x0 
Mul Pow Mul Mul x0 x0 cosh E Add sin exp sinh x0 -1 Add Mul sin exp sinh x0 Mul cosh E Add x0 x0 Mul Mul Mul Mul x0 x0 cosh E log Mul Mul x0 x0 cosh E Mul cos exp sinh x0 Mul exp sinh x0 cosh x0 