Pow Add csc Pow x0 log x1 pi log x0 
Mul Pow Add csc Pow x0 log x1 pi Add log x0 -1 Add Mul log x0 Mul Mul Mul -1 cot Pow x0 log x1 csc Pow x0 log x1 Mul Pow x0 Add log x1 -1 log x1 Mul Mul Add csc Pow x0 log x1 pi log Add csc Pow x0 log x1 pi Pow x0 -1 