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