Mul asec pi Pow Add Mul x0 Pow x0 acsc E Pow x0 x0 pi 
Mul asec pi Mul Pow Add Mul x0 Pow x0 acsc E Pow x0 x0 Add pi -1 Mul pi Add Add Pow x0 acsc E Mul x0 Mul Pow x0 Add acsc E -1 acsc E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 