Add Pow Pow log sec Mul atan asec Pow Mul x0 sec E x3 x1 Add pi x0 5 4 
Mul Pow Pow log sec Mul atan asec Pow Mul x0 sec E x3 x1 Add pi x0 4 Mul 5 Mul Pow log sec Mul atan asec Pow Mul x0 sec E x3 x1 Add Add pi x0 -1 Add Mul Add pi x0 Mul Mul Mul tan Mul atan asec Pow Mul x0 sec E x3 x1 sec Mul atan asec Pow Mul x0 sec E x3 x1 Mul x1 Mul Mul Mul Pow Mul x0 sec E Add x3 -1 Mul x3 sec E Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 sec E x3 Pow Mul x0 sec E x3 -1 Pow Mul x0 sec E x3 Pow Mul x0 sec E x3 -1 Pow Add 1 Mul asec Pow Mul x0 sec E x3 asec Pow Mul x0 sec E x3 -1 Pow sec Mul atan asec Pow Mul x0 sec E x3 x1 -1 Mul log sec Mul atan asec Pow Mul x0 sec E x3 x1 log log sec Mul atan asec Pow Mul x0 sec E x3 x1 