acot Mul Mul Mul x0 x0 Add x6 Mul asec pi x0 -2 
Mul -1 Mul Mul -2 Add Mul Add x6 Mul asec pi x0 Add x0 x0 Mul Mul x0 x0 asec pi Pow Add 1 Mul Mul Mul Mul x0 x0 Add x6 Mul asec pi x0 -2 Mul Mul Mul x0 x0 Add x6 Mul asec pi x0 -2 -1 