Mul atan x5 Add x7 sec Pow Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 asech pi x0 
Mul atan x5 Mul Mul tan Pow Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 asech pi x0 sec Pow Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 asech pi x0 Mul Pow Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 asech pi Add x0 -1 Add Mul x0 Mul Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 Add asech pi -1 Mul asech pi Add Add Add x0 Mul Mul x1 2 x0 Mul x0 Add 1 Mul x1 2 Mul Pow Pow Add x0 -3 -2 Add x1 -1 Mul x1 Mul Pow Add x0 -3 3 -2 Mul Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 asech pi log Pow Add Mul x0 Add x0 Mul Mul x1 2 x0 Pow Pow Add x0 -3 -2 x1 asech pi 