Pow x7 asec Pow Add Add Mul x0 2 Add acot x0 x0 x0 -5 
Mul Pow x7 Add asec Pow Add Add Mul x0 2 Add acot x0 x0 x0 -5 -1 Mul Mul x7 log x7 Mul Mul Pow Add Add Mul x0 2 Add acot x0 x0 x0 6 Mul -5 Add Add 2 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Add Add Mul x0 2 Add acot x0 x0 x0 -5 Pow Add Add Mul x0 2 Add acot x0 x0 x0 -5 -1 Pow Add Add Mul x0 2 Add acot x0 x0 x0 -5 Pow Add Add Mul x0 2 Add acot x0 x0 x0 -5 -1 