Pow Pow x0 x5 Pow x5 exp log log x0 
Mul Pow Pow x0 x5 Add Pow x5 exp log log x0 -1 Add Mul Pow x5 exp log log x0 Mul Pow x0 Add x5 -1 x5 Mul Mul Pow x0 x5 log Pow x0 x5 Mul Pow x5 Add exp log log x0 -1 Mul Mul x5 log x5 Mul exp log log x0 Mul Pow x0 -1 Pow log x0 -1 