Add Mul x1 Pow x0 acot Add 3 cot x0 Add sin E x0 
Add Mul x1 Mul Pow x0 Add acot Add 3 cot x0 -1 Add acot Add 3 cot x0 Mul Mul x0 log x0 Mul -1 Mul Mul -1 Pow csc x0 2 Pow Add 1 Mul Add 3 cot x0 Add 3 cot x0 -1 1 