Pow x5 Pow Add E x7 Add csc acot Mul x0 x2 E 
Mul Pow x5 Add Pow Add E x7 Add csc acot Mul x0 x2 E -1 Mul Mul x5 log x5 Mul Pow Add E x7 Add Add csc acot Mul x0 x2 E -1 Mul Mul Add E x7 log Add E x7 Mul Mul Mul -1 cot acot Mul x0 x2 csc acot Mul x0 x2 Mul -1 Mul x2 Pow Add 1 Mul Mul x0 x2 Mul x0 x2 -1 