atanh Add x6 Pow Mul acsch Mul x4 x5 x5 x0 
Mul Mul Pow Mul acsch Mul x4 x5 x5 Add x0 -1 Mul Mul acsch Mul x4 x5 x5 log Mul acsch Mul x4 x5 x5 Pow Add 1 Mul -1 Mul Add x6 Pow Mul acsch Mul x4 x5 x5 x0 Add x6 Pow Mul acsch Mul x4 x5 x5 x0 -1 