Add Mul x0 Add x0 x3 Pow x0 Pow x6 Mul Add x0 4 sec atanh x4 
Add Add Add x0 x3 x0 Mul Pow x0 Add Pow x6 Mul Add x0 4 sec atanh x4 -1 Add Pow x6 Mul Add x0 4 sec atanh x4 Mul Mul x0 log x0 Mul Pow x6 Add Mul Add x0 4 sec atanh x4 -1 Mul Mul x6 log x6 sec atanh x4 