Pow acot cot Add x0 Mul Pow 2 Add E x4 x5 Pow Add x0 x0 5 
Mul Pow acot cot Add x0 Mul Pow 2 Add E x4 x5 Add Pow Add x0 x0 5 -1 Add Mul Pow Add x0 x0 5 Mul -1 Mul Mul -1 Pow csc Add x0 Mul Pow 2 Add E x4 x5 2 Pow Add 1 Mul cot Add x0 Mul Pow 2 Add E x4 x5 cot Add x0 Mul Pow 2 Add E x4 x5 -1 Mul Mul acot cot Add x0 Mul Pow 2 Add E x4 x5 log acot cot Add x0 Mul Pow 2 Add E x4 x5 Mul Pow Add x0 x0 4 7 