Pow x7 Mul Mul cot log x0 Add Mul pi x0 x0 32 
Mul Pow x7 Add Mul Mul cot log x0 Add Mul pi x0 x0 32 -1 Mul Mul x7 log x7 Mul 32 Add Mul Add Mul pi x0 x0 Mul Mul -1 Pow csc log x0 2 Pow x0 -1 Mul cot log x0 Add pi 1 