Pow Add x0 cot log Mul Mul x0 2 x0 x0 
Mul Pow Add x0 cot log Mul Mul x0 2 x0 Add x0 -1 Add Mul x0 Add 1 Mul Mul -1 Pow csc log Mul Mul x0 2 x0 2 Mul Add Mul x0 2 Mul x0 2 Pow Mul Mul x0 2 x0 -1 Mul Add x0 cot log Mul Mul x0 2 x0 log Add x0 cot log Mul Mul x0 2 x0 