Mul Pow Mul pi Mul Pow x2 log x0 4 x0 acsc x7 
Mul acsc x7 Mul Pow Mul pi Mul Pow x2 log x0 4 Add x0 -1 Add Mul x0 Mul pi Mul 4 Mul Pow x2 Add log x0 -1 Mul Mul x2 log x2 Pow x0 -1 Mul Mul pi Mul Pow x2 log x0 4 log Mul pi Mul Pow x2 log x0 4 