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