Pow acot acot Mul -2 Add x7 exp x0 Mul Add x0 Mul Add -1 x7 x0 x0 
Mul Pow acot acot Mul -2 Add x7 exp x0 Add Mul Add x0 Mul Add -1 x7 x0 x0 -1 Add Mul Mul Add x0 Mul Add -1 x7 x0 x0 Mul -1 Mul Mul -1 Mul Mul -2 exp x0 Pow Add 1 Mul Mul -2 Add x7 exp x0 Mul -2 Add x7 exp x0 -1 Pow Add 1 Mul acot Mul -2 Add x7 exp x0 acot Mul -2 Add x7 exp x0 -1 Mul Mul acot acot Mul -2 Add x7 exp x0 log acot acot Mul -2 Add x7 exp x0 Add Mul x0 Add 1 Add -1 x7 Add x0 Mul Add -1 x7 x0 