Mul sec x0 Pow cosh Mul x0 sqrt Add log x0 log x7 x3 
Add Mul Pow cosh Mul x0 sqrt Add log x0 log x7 x3 Mul tan x0 sec x0 Mul sec x0 Mul Pow cosh Mul x0 sqrt Add log x0 log x7 Add x3 -1 Mul x3 Mul sinh Mul x0 sqrt Add log x0 log x7 Add sqrt Add log x0 log x7 Mul x0 Mul Pow Mul 2 sqrt Add log x0 log x7 -1 Pow x0 -1 