Pow x0 Mul Add Pow x6 x1 Add x0 5 Add x0 atanh sec x7 
Mul Pow x0 Add Mul Add Pow x6 x1 Add x0 5 Add x0 atanh sec x7 -1 Add Mul Add Pow x6 x1 Add x0 5 Add x0 atanh sec x7 Mul Mul x0 log x0 Add Add x0 atanh sec x7 Add Pow x6 x1 Add x0 5 