Pow Add Mul atanh x4 x0 544461837888790884155186326618804311498801807360 Add x5 x0 
Mul Pow Add Mul atanh x4 x0 544461837888790884155186326618804311498801807360 Add Add x5 x0 -1 Add Mul Add x5 x0 atanh x4 Mul Add Mul atanh x4 x0 544461837888790884155186326618804311498801807360 log Add Mul atanh x4 x0 544461837888790884155186326618804311498801807360 