tan Add exp x0 Mul 8165619676597685 sec Pow Pow Add x3 x0 -2 x0 
Mul Pow sec Add exp x0 Mul 8165619676597685 sec Pow Pow Add x3 x0 -2 x0 2 Add exp x0 Mul 8165619676597685 Mul Mul tan Pow Pow Add x3 x0 -2 x0 sec Pow Pow Add x3 x0 -2 x0 Mul Pow Pow Add x3 x0 -2 Add x0 -1 Add Mul x0 Mul Pow Add x3 x0 3 -2 Mul Pow Add x3 x0 -2 log Pow Add x3 x0 -2 