Mul sec log Pow x0 Add Add x0 3125 Mul x0 sqrt x6 x0 
Add Mul x0 Mul Mul tan log Pow x0 Add Add x0 3125 Mul x0 sqrt x6 sec log Pow x0 Add Add x0 3125 Mul x0 sqrt x6 Mul Mul Pow x0 Add Add Add x0 3125 Mul x0 sqrt x6 -1 Add Add Add x0 3125 Mul x0 sqrt x6 Mul Mul x0 log x0 Add 1 sqrt x6 Pow Pow x0 Add Add x0 3125 Mul x0 sqrt x6 -1 sec log Pow x0 Add Add x0 3125 Mul x0 sqrt x6 