csc Mul log x1 Mul x2 cos Pow coth Pow x0 x3 pi 
Mul Mul Mul -1 cot Mul log x1 Mul x2 cos Pow coth Pow x0 x3 pi csc Mul log x1 Mul x2 cos Pow coth Pow x0 x3 pi Mul log x1 Mul x2 Mul Mul -1 sin Pow coth Pow x0 x3 pi Mul Pow coth Pow x0 x3 Add pi -1 Mul pi Mul Mul -1 Pow csch Pow x0 x3 2 Mul Pow x0 Add x3 -1 x3 