Pow Mul x0 Mul Mul Mul x0 sec x7 8165619676597685 -2 x0 
Mul Pow Mul x0 Mul Mul Mul x0 sec x7 8165619676597685 -2 Add x0 -1 Add Mul x0 Add Mul Mul Mul x0 sec x7 8165619676597685 -2 Mul x0 Mul -2 Mul 8165619676597685 sec x7 Mul Mul x0 Mul Mul Mul x0 sec x7 8165619676597685 -2 log Mul x0 Mul Mul Mul x0 sec x7 8165619676597685 -2 