Add Mul Mul Mul x0 Add Mul -3 x0 x0 x0 Mul atanh E Pow x6 x0 -3 
Add Mul Mul atanh E Pow x6 x0 Add Mul x0 Add Add Mul -3 x0 x0 Mul x0 2 Mul x0 Add Mul -3 x0 x0 Mul Mul Mul x0 Add Mul -3 x0 x0 x0 Mul atanh E Mul Pow x6 Add x0 -1 Mul x6 log x6 