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