Pow Mul x5 Pow Pow Mul sec sqrt x1 x0 x2 Add Pow Pow x4 x0 3 Add x1 x0 Add x5 Add 5 x0 
Mul Pow Mul x5 Pow Pow Mul sec sqrt x1 x0 x2 Add Pow Pow x4 x0 3 Add x1 x0 Add Add x5 Add 5 x0 -1 Add Mul Add x5 Add 5 x0 Mul x5 Mul Pow Pow Mul sec sqrt x1 x0 x2 Add Add Pow Pow x4 x0 3 Add x1 x0 -1 Add Mul Add Pow Pow x4 x0 3 Add x1 x0 Mul Pow Mul sec sqrt x1 x0 Add x2 -1 Mul x2 sec sqrt x1 Mul Mul Pow Mul sec sqrt x1 x0 x2 log Pow Mul sec sqrt x1 x0 x2 Add Mul Pow Pow x4 x0 2 Mul 3 Mul Pow x4 Add x0 -1 Mul x4 log x4 1 Mul Mul x5 Pow Pow Mul sec sqrt x1 x0 x2 Add Pow Pow x4 x0 3 Add x1 x0 log Mul x5 Pow Pow Mul sec sqrt x1 x0 x2 Add Pow Pow x4 x0 3 Add x1 x0 