Mul Pow sec Mul Mul x0 x6 x4 x7 Add tan Pow x1 Pow x0 0.250000000000000 x0 
Add Mul Add tan Pow x1 Pow x0 0.250000000000000 x0 Mul Pow sec Mul Mul x0 x6 x4 Add x7 -1 Mul x7 Mul Mul tan Mul Mul x0 x6 x4 sec Mul Mul x0 x6 x4 Mul x4 x6 Mul Pow sec Mul Mul x0 x6 x4 x7 Add Mul Pow sec Pow x1 Pow x0 0.250000000000000 2 Mul Pow x1 Add Pow x0 0.250000000000000 -1 Mul Mul x1 log x1 Mul Pow x0 -0.750000000000000 0.250000000000000 1 