Mul x0 Add log Add x5 -2 Pow Mul x1 Mul atanh sqrt pi 4 x0 
Add Add log Add x5 -2 Pow Mul x1 Mul atanh sqrt pi 4 x0 Mul x0 Mul Pow Mul x1 Mul atanh sqrt pi 4 Add x0 -1 Mul Mul x1 Mul atanh sqrt pi 4 log Mul x1 Mul atanh sqrt pi 4 