Pow Add x0 4 Add 2 sec exp Mul Add sec exp x0 x0 x0 
Mul Pow Add x0 4 Add Add 2 sec exp Mul Add sec exp x0 x0 x0 -1 Add Add 2 sec exp Mul Add sec exp x0 x0 x0 Mul Mul Add x0 4 log Add x0 4 Mul Mul tan exp Mul Add sec exp x0 x0 x0 sec exp Mul Add sec exp x0 x0 x0 Mul exp Mul Add sec exp x0 x0 x0 Add Mul x0 Add Mul Mul tan exp x0 sec exp x0 exp x0 1 Add sec exp x0 x0 