Mul Pow x0 Mul pi Add x0 log x7 Mul Mul Add 5 atanh x0 E -5 
Add Mul Mul Mul Add 5 atanh x0 E -5 Mul Pow x0 Add Mul pi Add x0 log x7 -1 Add Mul pi Add x0 log x7 Mul Mul x0 log x0 pi Mul Pow x0 Mul pi Add x0 log x7 Mul -5 Mul E Pow Add 1 Mul -1 Mul x0 x0 -1 