cot Add Mul Pow x0 Mul Add E Mul x0 E -2 x1 atanh asin pi 
Mul Mul -1 Pow csc Add Mul Pow x0 Mul Add E Mul x0 E -2 x1 atanh asin pi 2 Mul x1 Mul Pow x0 Add Mul Add E Mul x0 E -2 -1 Add Mul Add E Mul x0 E -2 Mul Mul x0 log x0 Mul -2 E 