atan exp sec Pow asech sec Mul x0 Add asec x7 -5 acot x5 
Mul Mul exp sec Pow asech sec Mul x0 Add asec x7 -5 acot x5 Mul Mul tan Pow asech sec Mul x0 Add asec x7 -5 acot x5 sec Pow asech sec Mul x0 Add asec x7 -5 acot x5 Mul Pow asech sec Mul x0 Add asec x7 -5 Add acot x5 -1 Mul acot x5 Mul Mul Mul tan Mul x0 Add asec x7 -5 sec Mul x0 Add asec x7 -5 Add asec x7 -5 Pow Mul Mul sec Mul x0 Add asec x7 -5 sec Mul x0 Add asec x7 -5 sqrt Add 1 Mul -1 Pow Mul sec Mul x0 Add asec x7 -5 sec Mul x0 Add asec x7 -5 -1 -1 Pow Add 1 Mul exp sec Pow asech sec Mul x0 Add asec x7 -5 acot x5 exp sec Pow asech sec Mul x0 Add asec x7 -5 acot x5 -1 