Mul x0 sec Add Mul x0 asech Add 4 x0 sqrt sec Pow x0 Mul Mul x0 asech x0 log x4 
Add sec Add Mul x0 asech Add 4 x0 sqrt sec Pow x0 Mul Mul x0 asech x0 log x4 Mul x0 Mul Mul tan Add Mul x0 asech Add 4 x0 sqrt sec Pow x0 Mul Mul x0 asech x0 log x4 sec Add Mul x0 asech Add 4 x0 sqrt sec Pow x0 Mul Mul x0 asech x0 log x4 Add Add asech Add 4 x0 Mul x0 Pow Mul Mul Add 4 x0 Add 4 x0 sqrt Add 1 Mul -1 Pow Mul Add 4 x0 Add 4 x0 -1 -1 Mul Pow Mul 2 sqrt sec Pow x0 Mul Mul x0 asech x0 log x4 -1 Mul Mul tan Pow x0 Mul Mul x0 asech x0 log x4 sec Pow x0 Mul Mul x0 asech x0 log x4 Mul Pow x0 Add Mul Mul x0 asech x0 log x4 -1 Add Mul Mul x0 asech x0 log x4 Mul Mul x0 log x0 Mul log x4 Add asech x0 Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 