Add Mul acot Pow x0 x0 Mul x0 Mul Add Pow x7 x0 Pow x0 Add Mul Add x0 E acsc x6 x6 -1 x0 
Add Add Mul Mul x0 Mul Add Pow x7 x0 Pow x0 Add Mul Add x0 E acsc x6 x6 -1 Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Pow x0 x0 Pow x0 x0 -1 Mul acot Pow x0 x0 Add Mul Add Pow x7 x0 Pow x0 Add Mul Add x0 E acsc x6 x6 -1 Mul x0 Mul -1 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 Mul Pow x0 Add Add Mul Add x0 E acsc x6 x6 -1 Add Add Mul Add x0 E acsc x6 x6 Mul Mul x0 log x0 acsc x6 1 