Pow x6 sinh sinh Mul Mul x0 x3 Mul x0 Mul E sqrt x0 
Mul Pow x6 Add sinh sinh Mul Mul x0 x3 Mul x0 Mul E sqrt x0 -1 Mul Mul x6 log x6 Mul cosh sinh Mul Mul x0 x3 Mul x0 Mul E sqrt x0 Mul cosh Mul Mul x0 x3 Mul x0 Mul E sqrt x0 Add Mul Mul x0 Mul E sqrt x0 x3 Mul Mul x0 x3 Add Mul E sqrt x0 Mul x0 Mul E Pow Mul 2 sqrt x0 -1 