Add atanh x0 exp Pow Mul Pow E x0 Mul E x0 -3 
Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul exp Pow Mul Pow E x0 Mul E x0 -3 Mul Pow Mul Pow E x0 Mul E x0 4 Mul -3 Add Mul Mul E x0 Mul Pow E Add x0 -1 Mul E log E Mul Pow E x0 E 