atanh Add Mul Mul Add x0 x0 asech Mul x3 5 x0 Add Add 5 Mul sqrt x3 Mul 6 Add x0 -4 x7 
Mul Add Add Mul x0 Mul asech Mul x3 5 2 Mul Add x0 x0 asech Mul x3 5 Mul sqrt x3 6 Pow Add 1 Mul -1 Mul Add Mul Mul Add x0 x0 asech Mul x3 5 x0 Add Add 5 Mul sqrt x3 Mul 6 Add x0 -4 x7 Add Mul Mul Add x0 x0 asech Mul x3 5 x0 Add Add 5 Mul sqrt x3 Mul 6 Add x0 -4 x7 -1 