Pow Mul x2 4 Add atanh x0 Pow Add x5 x0 Add 3 Mul Pow x0 x4 x2 
Mul Pow Mul x2 4 Add Add atanh x0 Pow Add x5 x0 Add 3 Mul Pow x0 x4 x2 -1 Mul Mul Mul x2 4 log Mul x2 4 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Add x5 x0 Add Add 3 Mul Pow x0 x4 x2 -1 Add Add 3 Mul Pow x0 x4 x2 Mul Mul Add x5 x0 log Add x5 x0 Mul x2 Mul Pow x0 Add x4 -1 x4 