atanh Pow E Pow Mul 2 exp Mul x1 x0 2 
Mul Mul Pow E Add Pow Mul 2 exp Mul x1 x0 2 -1 Mul Mul E log E Mul Mul 2 exp Mul x1 x0 Mul 2 Mul 2 Mul exp Mul x1 x0 x1 Pow Add 1 Mul -1 Mul Pow E Pow Mul 2 exp Mul x1 x0 2 Pow E Pow Mul 2 exp Mul x1 x0 2 -1 