sec Pow x7 Pow Pow exp x1 x0 4 
Mul Mul tan Pow x7 Pow Pow exp x1 x0 4 sec Pow x7 Pow Pow exp x1 x0 4 Mul Pow x7 Add Pow Pow exp x1 x0 4 -1 Mul Mul x7 log x7 Mul Pow Pow exp x1 x0 3 Mul 4 Mul Pow exp x1 Add x0 -1 Mul exp x1 log exp x1 