Add Add atan Add 2 x7 Add atan x0 pi Pow atanh x0 Mul x5 cot x0 
Add Pow Add 1 Mul x0 x0 -1 Mul Pow atanh x0 Add Mul x5 cot x0 -1 Add Mul Mul x5 cot x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 log atanh x0 Mul x5 Mul -1 Pow csc x0 2 