Mul Add sec Add x0 x1 x6 Add Add 1.85081571768093 log Pow x1 Pow Pow Mul 2 x0 Mul x0 x0 Add x1 x0 x0 
Add Mul Add Add 1.85081571768093 log Pow x1 Pow Pow Mul 2 x0 Mul x0 x0 Add x1 x0 x0 Mul tan Add x0 x1 sec Add x0 x1 Mul Add sec Add x0 x1 x6 Add Mul Mul Pow x1 Add Pow Pow Mul 2 x0 Mul x0 x0 Add x1 x0 -1 Mul Mul x1 log x1 Mul Pow Pow Mul 2 x0 Mul x0 x0 Add Add x1 x0 -1 Add Mul Add x1 x0 Mul Pow Mul 2 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 2 Mul Mul Mul 2 x0 log Mul 2 x0 Add x0 x0 Mul Pow Mul 2 x0 Mul x0 x0 log Pow Mul 2 x0 Mul x0 x0 Pow Pow x1 Pow Pow Mul 2 x0 Mul x0 x0 Add x1 x0 -1 1 