Mul Mul x0 exp cosh Pow E Add x0 acot Add 5 Add x7 x0 cot E 
Mul cot E Add exp cosh Pow E Add x0 acot Add 5 Add x7 x0 Mul x0 Mul exp cosh Pow E Add x0 acot Add 5 Add x7 x0 Mul sinh Pow E Add x0 acot Add 5 Add x7 x0 Mul Pow E Add Add x0 acot Add 5 Add x7 x0 -1 Mul Mul E log E Add 1 Mul -1 Pow Add 1 Mul Add 5 Add x7 x0 Add 5 Add x7 x0 -1 