Pow x4 Pow Mul log x0 Pow Pow Add x0 3 x0 Add -4 x3 asech x3 
Mul Pow x4 Add Pow Mul log x0 Pow Pow Add x0 3 x0 Add -4 x3 asech x3 -1 Mul Mul x4 log x4 Mul Pow Mul log x0 Pow Pow Add x0 3 x0 Add -4 x3 Add asech x3 -1 Mul asech x3 Add Mul Pow Pow Add x0 3 x0 Add -4 x3 Pow x0 -1 Mul log x0 Mul Pow Pow Add x0 3 x0 Add Add -4 x3 -1 Mul Add -4 x3 Mul Pow Add x0 3 Add x0 -1 Add x0 Mul Add x0 3 log Add x0 3 