Pow Pow Mul -1 tan Add x0 8 x7 x0 
Mul Pow Pow Mul -1 tan Add x0 8 x7 Add x0 -1 Add Mul x0 Mul Pow Mul -1 tan Add x0 8 Add x7 -1 Mul x7 Mul -1 Pow sec Add x0 8 2 Mul Pow Mul -1 tan Add x0 8 x7 log Pow Mul -1 tan Add x0 8 x7 