asech Pow cosh sqrt Add 0.677253136858029 x7 x0 
Mul Mul Pow cosh sqrt Add 0.677253136858029 x7 Add x0 -1 Mul cosh sqrt Add 0.677253136858029 x7 log cosh sqrt Add 0.677253136858029 x7 Pow Mul Mul Pow cosh sqrt Add 0.677253136858029 x7 x0 Pow cosh sqrt Add 0.677253136858029 x7 x0 sqrt Add 1 Mul -1 Pow Mul Pow cosh sqrt Add 0.677253136858029 x7 x0 Pow cosh sqrt Add 0.677253136858029 x7 x0 -1 -1 