Mul x0 Mul -2 Add x3 Pow Mul tan Add x2 x0 -1 x0 
Add Mul -2 Add x3 Pow Mul tan Add x2 x0 -1 x0 Mul x0 Mul -2 Mul Pow Mul tan Add x2 x0 -1 Add x0 -1 Add Mul x0 Mul -1 Pow sec Add x2 x0 2 Mul Mul tan Add x2 x0 -1 log Mul tan Add x2 x0 -1 