acot acot Pow Add x0 -1 cot Mul pi x7 
Mul -1 Mul Mul -1 Mul Mul Pow Add x0 -1 Add cot Mul pi x7 -1 cot Mul pi x7 Pow Add 1 Mul Pow Add x0 -1 cot Mul pi x7 Pow Add x0 -1 cot Mul pi x7 -1 Pow Add 1 Mul acot Pow Add x0 -1 cot Mul pi x7 acot Pow Add x0 -1 cot Mul pi x7 -1 