Mul Mul x0 Add x0 x4 Mul Add x0 cot x0 Mul Pow atanh log x0 x1 Mul x3 x0 
Add Mul Mul Add x0 cot x0 Mul Pow atanh log x0 x1 Mul x3 x0 Add Add x0 x4 x0 Mul Mul x0 Add x0 x4 Add Mul Mul Pow atanh log x0 x1 Mul x3 x0 Add 1 Mul -1 Pow csc x0 2 Mul Add x0 cot x0 Add Mul Mul x3 x0 Mul Pow atanh log x0 Add x1 -1 Mul x1 Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 Mul Pow atanh log x0 x1 x3 