Mul Mul x0 Pow Mul x0 cosh E sqrt x0 Mul x4 x7 
Mul Mul x4 x7 Add Pow Mul x0 cosh E sqrt x0 Mul x0 Mul Pow Mul x0 cosh E Add sqrt x0 -1 Add Mul sqrt x0 cosh E Mul Mul Mul x0 cosh E log Mul x0 cosh E Pow Mul 2 sqrt x0 -1 