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