Mul cot acot Add E x0 Add Pow Mul Mul -1 Pow 4 x2 -2 x0 4 
Add Mul Add Pow Mul Mul -1 Pow 4 x2 -2 x0 4 Mul Mul -1 Pow csc acot Add E x0 2 Mul -1 Pow Add 1 Mul Add E x0 Add E x0 -1 Mul cot acot Add E x0 Mul Pow Mul Mul -1 Pow 4 x2 -2 Add x0 -1 Mul Mul Mul -1 Pow 4 x2 -2 log Mul Mul -1 Pow 4 x2 -2 