acsc Mul Pow x0 Pow x7 log acot E -5 
Mul -1 Mul Mul -5 Mul Pow x0 Add Pow x7 log acot E -1 Pow x7 log acot E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Pow x7 log acot E -5 Mul Pow x0 Pow x7 log acot E -5 -1 Mul Pow x0 Pow x7 log acot E -5 Mul Pow x0 Pow x7 log acot E -5 -1 