atanh Add x0 Add -1 Pow Mul Add sqrt Pow x0 sech x5 5 x0 -4 
Mul Add 1 Mul Pow Mul Add sqrt Pow x0 sech x5 5 x0 5 Mul -4 Add Mul x0 Mul Pow Mul 2 sqrt Pow x0 sech x5 -1 Mul Pow x0 Add sech x5 -1 sech x5 Add sqrt Pow x0 sech x5 5 Pow Add 1 Mul -1 Mul Add x0 Add -1 Pow Mul Add sqrt Pow x0 sech x5 5 x0 -4 Add x0 Add -1 Pow Mul Add sqrt Pow x0 sech x5 5 x0 -4 -1 