Pow Pow Add 3 asec pi Add Pow x0 Pow x2 x0 8165619676597685 Mul asec x7 -3 
Mul Pow Pow Add 3 asec pi Add Pow x0 Pow x2 x0 8165619676597685 Add Mul asec x7 -3 -1 Mul Mul asec x7 -3 Mul Pow Add 3 asec pi Add Add Pow x0 Pow x2 x0 8165619676597685 -1 Mul Mul Add 3 asec pi log Add 3 asec pi Mul Pow x0 Add Pow x2 x0 -1 Add Pow x2 x0 Mul Mul x0 log x0 Mul Pow x2 Add x0 -1 Mul x2 log x2 