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