atanh Pow Pow Add x0 Mul Add x0 -2 Mul x0 Mul x2 x0 x1 sqrt asinh asec pi 
Mul Mul Pow Pow Add x0 Mul Add x0 -2 Mul x0 Mul x2 x0 x1 Add sqrt asinh asec pi -1 Mul sqrt asinh asec pi Mul Pow Add x0 Mul Add x0 -2 Mul x0 Mul x2 x0 Add x1 -1 Mul x1 Add 1 Add Mul x0 Mul x2 x0 Mul Add x0 -2 Add Mul x2 x0 Mul x0 x2 Pow Add 1 Mul -1 Mul Pow Pow Add x0 Mul Add x0 -2 Mul x0 Mul x2 x0 x1 sqrt asinh asec pi Pow Pow Add x0 Mul Add x0 -2 Mul x0 Mul x2 x0 x1 sqrt asinh asec pi -1 