Pow sqrt Mul -5 cot Add x0 E x0 
Mul Pow sqrt Mul -5 cot Add x0 E Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt Mul -5 cot Add x0 E -1 Mul -5 Mul -1 Pow csc Add x0 E 2 Mul sqrt Mul -5 cot Add x0 E log sqrt Mul -5 cot Add x0 E 