Add tan tan Mul sqrt Mul x0 -2 Mul x0 Mul x0 x0 acot Mul Add x7 2 x0 
Add Mul Pow sec tan Mul sqrt Mul x0 -2 Mul x0 Mul x0 x0 2 Mul Pow sec Mul sqrt Mul x0 -2 Mul x0 Mul x0 x0 2 Add Mul Mul x0 Mul x0 x0 Mul Pow Mul 2 sqrt Mul x0 -2 -1 -2 Mul sqrt Mul x0 -2 Add Mul x0 x0 Mul x0 Add x0 x0 Mul -1 Mul Add x7 2 Pow Add 1 Mul Mul Add x7 2 x0 Mul Add x7 2 x0 -1 