Pow Pow x0 Mul E Mul atanh x7 x0 1.32134870881090 
Mul Pow Pow x0 Mul E Mul atanh x7 x0 0.321348708810902 Mul 1.32134870881090 Mul Pow x0 Add Mul E Mul atanh x7 x0 -1 Add Mul E Mul atanh x7 x0 Mul Mul x0 log x0 Mul E atanh x7 