Add Mul Pow Mul x2 x0 Mul x0 x3 Add -4 Pow x0 asech Pow x6 x6 Mul Pow x0 -2 x0 
Add Add Mul Add -4 Pow x0 asech Pow x6 x6 Mul Pow Mul x2 x0 Add Mul x0 x3 -1 Add Mul Mul x0 x3 x2 Mul Mul Mul x2 x0 log Mul x2 x0 x3 Mul Pow Mul x2 x0 Mul x0 x3 Mul Pow x0 Add asech Pow x6 x6 -1 asech Pow x6 x6 Add Mul x0 Mul Pow x0 3 -2 Pow x0 -2 