sec Mul sech Add x0 x0 Add x4 atanh asinh x1 
Mul Mul tan Mul sech Add x0 x0 Add x4 atanh asinh x1 sec Mul sech Add x0 x0 Add x4 atanh asinh x1 Mul Add x4 atanh asinh x1 Mul Mul tanh Add x0 x0 Mul -1 sech Add x0 x0 2 