acot Pow Mul Add Add sec x1 1 x2 x0 Add x0 x3 
Mul -1 Mul Mul Pow Mul Add Add sec x1 1 x2 x0 Add Add x0 x3 -1 Add Mul Add x0 x3 Add Add sec x1 1 x2 Mul Mul Add Add sec x1 1 x2 x0 log Mul Add Add sec x1 1 x2 x0 Pow Add 1 Mul Pow Mul Add Add sec x1 1 x2 x0 Add x0 x3 Pow Mul Add Add sec x1 1 x2 x0 Add x0 x3 -1 