atanh Add sec x6 sqrt Mul Mul x0 Mul 4 Pow x0 E x2 
Mul Mul Pow Mul 2 sqrt Mul Mul x0 Mul 4 Pow x0 E x2 -1 Mul x2 Add Mul 4 Pow x0 E Mul x0 Mul 4 Mul Pow x0 Add E -1 E Pow Add 1 Mul -1 Mul Add sec x6 sqrt Mul Mul x0 Mul 4 Pow x0 E x2 Add sec x6 sqrt Mul Mul x0 Mul 4 Pow x0 E x2 -1 