Pow x0 Pow asech Pow Mul x5 -1 x7 Add Mul x1 -4 x0 
Mul Pow x0 Add Pow asech Pow Mul x5 -1 x7 Add Mul x1 -4 x0 -1 Add Pow asech Pow Mul x5 -1 x7 Add Mul x1 -4 x0 Mul Mul x0 log x0 Mul Pow asech Pow Mul x5 -1 x7 Add Add Mul x1 -4 x0 -1 Mul asech Pow Mul x5 -1 x7 log asech Pow Mul x5 -1 x7 