atanh Add Pow x3 x0 Mul Pow x0 E Mul Add 5 x0 Mul 2 Mul x0 E 
Mul Add Mul Pow x3 Add x0 -1 Mul x3 log x3 Add Mul Mul Add 5 x0 Mul 2 Mul x0 E Mul Pow x0 Add E -1 E Mul Pow x0 E Add Mul 2 Mul x0 E Mul Add 5 x0 Mul 2 E Pow Add 1 Mul -1 Mul Add Pow x3 x0 Mul Pow x0 E Mul Add 5 x0 Mul 2 Mul x0 E Add Pow x3 x0 Mul Pow x0 E Mul Add 5 x0 Mul 2 Mul x0 E -1 