Mul Pow x0 Add -2 sec Pow E sqrt cosh E Mul Pow x4 Add x0 Add x0 x0 Mul x0 tanh x0 
Add Mul Mul Pow x4 Add x0 Add x0 x0 Mul x0 tanh x0 Mul Pow x0 Add Add -2 sec Pow E sqrt cosh E -1 Add -2 sec Pow E sqrt cosh E Mul Pow x0 Add -2 sec Pow E sqrt cosh E Add Mul Mul x0 tanh x0 Mul Pow x4 Add Add x0 Add x0 x0 -1 Mul Mul x4 log x4 3 Mul Pow x4 Add x0 Add x0 x0 Add tanh x0 Mul x0 Pow sech x0 2 