Pow Mul x7 x0 Pow x3 Mul x0 asec x1 
Mul Pow Mul x7 x0 Add Pow x3 Mul x0 asec x1 -1 Add Mul Pow x3 Mul x0 asec x1 x7 Mul Mul Mul x7 x0 log Mul x7 x0 Mul Pow x3 Add Mul x0 asec x1 -1 Mul Mul x3 log x3 asec x1 