atanh Add Mul Mul asin x0 acoth x5 Pow Mul x3 -1 x0 x0 
Mul Add Add Mul Pow Mul x3 -1 x0 Mul acoth x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 acoth x5 Mul Pow Mul x3 -1 Add x0 -1 Mul Mul x3 -1 log Mul x3 -1 1 Pow Add 1 Mul -1 Mul Add Mul Mul asin x0 acoth x5 Pow Mul x3 -1 x0 x0 Add Mul Mul asin x0 acoth x5 Pow Mul x3 -1 x0 x0 -1 