Mul Mul log x0 tan Pow Pow x0 Add Add x0 x7 Add x0 acot acos x4 x0 0.200000000000000 
Mul 0.200000000000000 Add Mul tan Pow Pow x0 Add Add x0 x7 Add x0 acot acos x4 x0 Pow x0 -1 Mul log x0 Mul Pow sec Pow Pow x0 Add Add x0 x7 Add x0 acot acos x4 x0 2 Mul Pow Pow x0 Add Add x0 x7 Add x0 acot acos x4 Add x0 -1 Add Mul x0 Mul Pow x0 Add Add Add x0 x7 Add x0 acot acos x4 -1 Add Add Add x0 x7 Add x0 acot acos x4 Mul Mul x0 log x0 2 Mul Pow x0 Add Add x0 x7 Add x0 acot acos x4 log Pow x0 Add Add x0 x7 Add x0 acot acos x4 