Add Add x0 x2 Add Add Pow 2 acot Add x2 x0 Pow Mul 4 x0 Pow Mul -4 Add x0 x0 sec x7 x0 
Add 1 Add Add Mul Pow 2 Add acot Add x2 x0 -1 Mul 2.69314718055995 Mul -1 Pow Add 1 Mul Add x2 x0 Add x2 x0 -1 Mul Pow Mul 4 x0 Add Pow Mul -4 Add x0 x0 sec x7 -1 Add Mul Pow Mul -4 Add x0 x0 sec x7 4 Mul Mul Mul 4 x0 log Mul 4 x0 Mul Pow Mul -4 Add x0 x0 Add sec x7 -1 Mul sec x7 2 1 