sec asech Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi 
Mul Mul tan asech Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi sec asech Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi Mul Add Mul sqrt x2 Pow Add 1 Mul Mul x0 sqrt x2 Mul x0 sqrt x2 -1 Mul Mul Pow Pow x0 8 Add pi -1 Mul pi Mul Pow x0 7 8 Pow Pow Pow x0 8 pi -1 Pow Mul Mul Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi sqrt Add 1 Mul -1 Pow Mul Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi Add atan Mul x0 sqrt x2 log Pow Pow x0 8 pi -1 -1 