sech Add sech Add Mul x0 cosh x2 Add acot x1 x7 Add x0 -4 
Mul Mul tanh Add sech Add Mul x0 cosh x2 Add acot x1 x7 Add x0 -4 Mul -1 sech Add sech Add Mul x0 cosh x2 Add acot x1 x7 Add x0 -4 Add Mul Mul tanh Add Mul x0 cosh x2 Add acot x1 x7 Mul -1 sech Add Mul x0 cosh x2 Add acot x1 x7 cosh x2 1 