exp Add Mul pi Pow x0 Add Mul Pow x7 5 x0 x0 2 
Mul exp Add Mul pi Pow x0 Add Mul Pow x7 5 x0 x0 2 Mul pi Mul Pow x0 Add Add Mul Pow x7 5 x0 x0 -1 Add Add Mul Pow x7 5 x0 x0 Mul Mul x0 log x0 Add Pow x7 5 1 