Pow Pow atanh exp x0 x0 acoth x3 
Mul Pow Pow atanh exp x0 x0 Add acoth x3 -1 Mul acoth x3 Mul Pow atanh exp x0 Add x0 -1 Add Mul x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul atanh exp x0 log atanh exp x0 