Mul csc Pow x1 Mul x0 atan Add x2 4 coth x3 
Mul coth x3 Mul Mul Mul -1 cot Pow x1 Mul x0 atan Add x2 4 csc Pow x1 Mul x0 atan Add x2 4 Mul Pow x1 Add Mul x0 atan Add x2 4 -1 Mul Mul x1 log x1 atan Add x2 4 