atan Pow csc x5 Add Mul x5 x0 Mul pi x0 
Mul Mul Pow csc x5 Add Add Mul x5 x0 Mul pi x0 -1 Mul Mul csc x5 log csc x5 Add x5 pi Pow Add 1 Mul Pow csc x5 Add Mul x5 x0 Mul pi x0 Pow csc x5 Add Mul x5 x0 Mul pi x0 -1 