Pow Add asech Add x3 x5 Pow Add 5 Mul x0 acot Add pi Pow x7 x7 E x0 
Mul Pow Add asech Add x3 x5 Pow Add 5 Mul x0 acot Add pi Pow x7 x7 E Add x0 -1 Add Mul x0 Mul Pow Add 5 Mul x0 acot Add pi Pow x7 x7 Add E -1 Mul E acot Add pi Pow x7 x7 Mul Add asech Add x3 x5 Pow Add 5 Mul x0 acot Add pi Pow x7 x7 E log Add asech Add x3 x5 Pow Add 5 Mul x0 acot Add pi Pow x7 x7 E 