Add Pow sqrt Mul x4 x5 Mul Mul -4 x0 -4 Add x0 Add x4 Mul x4 Mul x0 sec Pow x0 Mul -1 x0 
Add Mul Pow sqrt Mul x4 x5 Add Mul Mul -4 x0 -4 -1 Mul Mul sqrt Mul x4 x5 log sqrt Mul x4 x5 8 Add 1 Mul x4 Add sec Pow x0 Mul -1 x0 Mul x0 Mul Mul tan Pow x0 Mul -1 x0 sec Pow x0 Mul -1 x0 Mul Pow x0 Add Mul -1 x0 -1 Add Mul -1 x0 Mul Mul x0 log x0 -1 