cosh Mul Add Add x0 x0 Add Add Mul acos sqrt sinh x0 sech x0 -2 x7 x0 
Mul sinh Mul Add Add x0 x0 Add Add Mul acos sqrt sinh x0 sech x0 -2 x7 x0 Add Mul x0 Add 2 Add Mul sech x0 Mul -1 Mul Mul Pow Mul 2 sqrt sinh x0 -1 cosh x0 Pow sqrt Add 1 Mul -1 Mul sqrt sinh x0 sqrt sinh x0 -1 Mul acos sqrt sinh x0 Mul tanh x0 Mul -1 sech x0 Add Add x0 x0 Add Add Mul acos sqrt sinh x0 sech x0 -2 x7 