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