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