Add Mul x7 Mul acoth Mul Pow x2 x0 pi Add -4 Mul Add x0 csc x0 Mul Add Add x6 x0 x0 5 Mul x6 3 
Mul x7 Add Mul Add -4 Mul Add x0 csc x0 Mul Add Add x6 x0 x0 5 Mul Mul pi Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Mul Pow x2 x0 pi Mul Pow x2 x0 pi -1 Mul acoth Mul Pow x2 x0 pi Add Mul Mul Add Add x6 x0 x0 5 Add 1 Mul Mul -1 cot x0 csc x0 Mul Add x0 csc x0 7 