Pow Pow x0 Add Mul x0 asec x5 Mul Pow asech x6 x0 cbrt x0 64 
Mul Pow Pow x0 Add Mul x0 asec x5 Mul Pow asech x6 x0 cbrt x0 63 Mul 64 Mul Pow x0 Add Add Mul x0 asec x5 Mul Pow asech x6 x0 cbrt x0 -1 Add Add Mul x0 asec x5 Mul Pow asech x6 x0 cbrt x0 Mul Mul x0 log x0 Add asec x5 Add Mul cbrt x0 Mul Pow asech x6 Add x0 -1 Mul asech x6 log asech x6 Mul Pow asech x6 x0 Pow Mul Mul 3 cbrt x0 cbrt x0 -1 