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