sec Mul x0 log Add x3 sqrt asec x0 
Mul Mul tan Mul x0 log Add x3 sqrt asec x0 sec Mul x0 log Add x3 sqrt asec x0 Add log Add x3 sqrt asec x0 Mul x0 Mul Mul Pow Mul 2 sqrt asec x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add x3 sqrt asec x0 -1 