atanh exp Add x0 Mul x0 sec Pow Add x0 x0 x1 
Mul Mul exp Add x0 Mul x0 sec Pow Add x0 x0 x1 Add 1 Add sec Pow Add x0 x0 x1 Mul x0 Mul Mul tan Pow Add x0 x0 x1 sec Pow Add x0 x0 x1 Mul Pow Add x0 x0 Add x1 -1 Mul x1 2 Pow Add 1 Mul -1 Mul exp Add x0 Mul x0 sec Pow Add x0 x0 x1 exp Add x0 Mul x0 sec Pow Add x0 x0 x1 -1 