Pow Mul x0 pi Add Pow x0 asech Add E 1 1 
Mul Pow Mul x0 pi Add Add Pow x0 asech Add E 1 1 -1 Add Mul Add Pow x0 asech Add E 1 1 pi Mul Mul Mul x0 pi log Mul x0 pi Mul Pow x0 Add asech Add E 1 -1 asech Add E 1 