Module Expr Str ImportFrom alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias alias ImportFrom alias alias identifier alias alias identifier alias ImportFrom alias ImportFrom alias ImportFrom alias alias ImportFrom alias alias Assign NameStore Call AttributeLoad NameLoad attr FunctionDef arguments args defaults body Assert CompareEq Call NameLoad Call NameLoad Num NameLoad Str ListLoad AttributeLoad NameLoad attr Assert CompareEq Call NameLoad Call NameLoad Num NameLoad Str ListLoad AttributeLoad NameLoad attr Assert CompareEq Call NameLoad Call NameLoad BinOpAdd NameLoad Num NameLoad Str ListLoad Call NameLoad Num NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad AttributeLoad NameLoad attr Assert IfExp AttributeLoad NameLoad attr CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad AttributeLoad NameLoad attr Call NameLoad UnaryOpUSub NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad Call NameLoad Num attr AttributeLoad NameLoad attr Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad Call NameLoad Num attr AttributeLoad NameLoad attr Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Num NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num Call NameLoad Num NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad Call NameLoad Num Num attr AttributeLoad NameLoad attr Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad Call NameLoad Num Num attr AttributeLoad NameLoad attr Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad Call NameLoad Num Num attr Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num Num NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num Call NameLoad Num NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num keyword NameLoad Call NameLoad Num NameLoad keyword NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad Call NameLoad Num Num attr AttributeLoad NameLoad attr Assign NameStore Call NameLoad Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad AttributeLoad NameLoad attr Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Num Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num NameLoad NameLoad Call NameLoad Num NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num NameLoad NameLoad Call NameLoad Num NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num NameLoad NameLoad Call NameLoad Num NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num NameLoad NameLoad Call NameLoad Num NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num NameLoad NameLoad Call NameLoad Num Num NameLoad NameLoad Call NameLoad Num NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad NameLoad Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad NameLoad Num Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad Num Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad Num Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad For NameStore TupleLoad Call NameLoad Num Call NameLoad Num body Assign NameStore BinOpMult NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num NameLoad NameLoad keyword NameLoad Call NameLoad Call NameLoad NameLoad UnaryOpUSub NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num NameLoad NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num NameLoad NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num NameLoad NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad Call NameLoad NameLoad NameLoad Call NameLoad NameLoad NameLoad Call NameLoad Call NameLoad NameLoad UnaryOpUSub NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num NameLoad NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad UnaryOpUSub NameLoad Call NameLoad Call NameLoad NameLoad NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad Call NameLoad BinOpPow NameLoad Num NameLoad NameLoad keyword NameLoad Call NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad UnaryOpUSub NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad NameLoad NameLoad Call NameLoad Call NameLoad NameLoad NameLoad Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad ListLoad NameLoad NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad CompareGtE BinOpDiv BinOpAdd BinOpAdd BinOpPow NameLoad Num BinOpMult Num NameLoad Num BinOpSub BinOpPow NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call AttributeLoad NameLoad attr UnaryOpUSub NameLoad Num Call NameLoad Num Num Call AttributeLoad NameLoad attr Num NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad CompareLt BinOpDiv BinOpMult BinOpSub BinOpMult Num NameLoad Num BinOpSub Num NameLoad BinOpMult BinOpAdd BinOpPow NameLoad Num Num BinOpPow BinOpSub NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call AttributeLoad NameLoad attr Num Num Call AttributeLoad NameLoad attr Num Num Assert CompareEq Call NameLoad ListLoad ListLoad CompareLtE BinOpDiv BinOpAdd NameLoad Num BinOpSub NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad NameLoad attr Num Num Assert CompareEq Call NameLoad ListLoad ListLoad CompareGt BinOpDiv BinOpAdd BinOpAdd BinOpPow NameLoad Num BinOpMult Num NameLoad Num BinOpSub NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call AttributeLoad NameLoad attr Num Num Call AttributeLoad NameLoad attr Num NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad CompareLt BinOpDiv BinOpSub BinOpPow NameLoad Num Num BinOpPow BinOpSub NameLoad Num Num Num NameLoad keyword NameLoad Call NameLoad Call AttributeLoad NameLoad attr Num Num Call AttributeLoad NameLoad attr Num Num Assert CompareEq Call NameLoad ListLoad ListLoad CompareGtE BinOpDiv BinOpAdd BinOpMult Num NameLoad Num BinOpAdd NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call AttributeLoad NameLoad attr UnaryOpUSub NameLoad Num Call AttributeLoad NameLoad attr BinOpDiv Call NameLoad Num Num NameLoad Assert CompareEq Call NameLoad ListLoad ListLoad CompareLtE BinOpDiv BinOpSub NameLoad Num NameLoad BinOpSub Num NameLoad NameLoad keyword NameLoad Call NameLoad Call AttributeLoad NameLoad attr UnaryOpUSub NameLoad Num Call AttributeLoad NameLoad attr Num Num Assert CompareEq Call NameLoad ListLoad ListLoad CompareLt NameLoad NameLoad CompareGtE NameLoad Num CompareLt UnaryOpUSub NameLoad NameLoad NameLoad keyword NameLoad Call NameLoad Num NameLoad decorator_list FunctionDef arguments args defaults body Assign NameStore CompareLt Call NameLoad BinOpSub NameLoad Num Num Assign NameStore Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad Num Assert CompareEq Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad Call NameLoad BinOpSub NameLoad Num Call NameLoad NameLoad Num Assert CompareEq Call NameLoad CompareGtE Call NameLoad BinOpAdd BinOpMult Num NameLoad Num Num Call NameLoad Call NameLoad Call NameLoad BinOpDiv Call NameLoad Num Num NameLoad Call NameLoad NameLoad NameLoad Call NameLoad Call NameLoad NameLoad BinOpDiv UnaryOpUSub Call NameLoad Num Num Call NameLoad UnaryOpUSub NameLoad NameLoad Assert CompareEq Call NameLoad CompareLt BinOpAdd Call NameLoad BinOpSub NameLoad Num Call NameLoad BinOpSub BinOpMult Num NameLoad Num Num Call NameLoad Call NameLoad BinOpDiv Call NameLoad Num Num NameLoad Call NameLoad NameLoad Num Assert CompareEq Call NameLoad CompareLt BinOpAdd Call NameLoad BinOpSub NameLoad Num Call NameLoad BinOpSub BinOpMult Num Call NameLoad NameLoad Num Num Call NameLoad Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad Num Call NameLoad CompareLt BinOpDiv Call NameLoad Num Num NameLoad CompareLt NameLoad Num Assign NameStore Call NameLoad Str keyword NameLoad Expr Call NameLoad NameLoad Lambda arguments args defaults Call NameLoad CompareLt Call NameLoad BinOpSub NameLoad Num Num Assert CompareEq Call NameLoad CompareLt NameLoad Num keyword ListLoad NameLoad NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad Num decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad Call NameLoad BinOpMult Call NameLoad Num NameLoad Num Call NameLoad CompareLtE BinOpDiv Call NameLoad Num Num NameLoad CompareLt NameLoad NameLoad Assert CompareEq Call NameLoad CompareGt Call NameLoad BinOpAdd NameLoad Num NameLoad Num Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad Call NameLoad NameLoad Num Assert CompareEq Call NameLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num NameLoad NameLoad Assert CompareIs Call NameLoad CompareGtE BinOpPow NameLoad Num Num AttributeLoad NameLoad attr decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad ListLoad Call NameLoad BinOpPow NameLoad Num Num Call NameLoad BinOpPow NameLoad Num Num Call NameLoad Call NameLoad Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad Call NameLoad Call NameLoad NameLoad Num Call NameLoad UnaryOpUSub NameLoad NameLoad Call NameLoad Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad Call NameLoad Call NameLoad NameLoad Num Call NameLoad UnaryOpUSub NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Expr Call NameLoad NameLoad Lambda arguments args defaults Call NameLoad Call NameLoad BinOpAdd Call NameLoad NameLoad NameLoad Num Expr Call NameLoad NameLoad Lambda arguments args defaults Call NameLoad Call NameLoad BinOpAdd BinOpMult BinOpPow NameLoad Num NameLoad NameLoad Num decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLt BinOpAdd NameLoad NameLoad Num keyword ListLoad NameLoad CompareLt NameLoad BinOpSub Num NameLoad Assert CompareEq Call NameLoad CompareGtE BinOpAdd NameLoad NameLoad Num keyword ListLoad NameLoad CompareGtE NameLoad BinOpSub Num NameLoad Assert CompareEq Call NameLoad Call NameLoad Num BinOpSub NameLoad NameLoad keyword ListLoad NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad Call NameLoad Num BinOpSub NameLoad NameLoad keyword ListLoad NameLoad Call NameLoad NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assign NameStore CompareGt BinOpAdd BinOpSub BinOpDiv BinOpMult Num BinOpPow NameLoad Num Num BinOpDiv BinOpMult Num NameLoad Num BinOpDiv Call NameLoad Num Num Num Assert CompareEq Call NameLoad NameLoad Call NameLoad CompareLt NameLoad BinOpAdd BinOpDiv UnaryOpUSub Call NameLoad Num Num BinOpDiv Call NameLoad Num Num CompareLt BinOpSub BinOpDiv UnaryOpUSub Call NameLoad Num Num BinOpDiv Call NameLoad Num Num NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLt BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad Call NameLoad Num Assert CompareEq Call NameLoad CompareLtE BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad CompareLtE Call NameLoad Num NameLoad CompareLtE NameLoad Num Assert CompareEq Call NameLoad CompareGt BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad Num Call NameLoad CompareLt NameLoad NameLoad CompareLt Call NameLoad Num NameLoad Assert CompareEq Call NameLoad CompareGtE BinOpSub BinOpPow NameLoad Num Num Num Call NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLtE NameLoad Call NameLoad Num Call NameLoad CompareLtE Call NameLoad Num NameLoad CompareLt NameLoad NameLoad Assign NameStore BinOpSub BinOpAdd BinOpPow NameLoad Num NameLoad Num Assign NameStore Call NameLoad CompareGtE NameLoad Num Assign NameStore Call NameLoad Call NameLoad CompareLtE Call NameLoad NameLoad Num NameLoad CompareLt NameLoad NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLtE NameLoad Call NameLoad NameLoad Num Assert CompareEq NameLoad NameLoad Assert CompareEq Call NameLoad CompareLt Call NameLoad BinOpPow BinOpAdd UnaryOpUSub NameLoad Num Num Num Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad Num decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLtE Call NameLoad Num BinOpSub BinOpAdd NameLoad Call NameLoad BinOpPow NameLoad Num TupleLoad NameLoad Num Num Num ListLoad NameLoad CompareGtE NameLoad BinOpAdd UnaryOpUSub Call NameLoad BinOpPow NameLoad Num TupleLoad NameLoad Num Num Num Assign NameStore Call NameLoad Str Assign NameStore Call NameLoad Call NameLoad NameLoad TupleLoad NameLoad Num Num Assert CompareEq Call NameLoad CompareLtE Call NameLoad Num BinOpAdd BinOpAdd NameLoad NameLoad BinOpPow NameLoad Num ListLoad NameLoad CompareGtE NameLoad BinOpSub UnaryOpUSub BinOpPow NameLoad Num Call NameLoad Call NameLoad NameLoad TupleLoad NameLoad Num Num decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareGtE BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad UnaryOpUSub NameLoad Num Call NameLoad Num NameLoad Assert CompareEq Call NameLoad CompareGtE BinOpPow NameLoad Num Num NameLoad Call NameLoad Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad Call NameLoad Call NameLoad NameLoad Num Call NameLoad UnaryOpUSub NameLoad NameLoad Assert CompareEq Call NameLoad CompareGtE BinOpMult BinOpMult BinOpSub NameLoad Num BinOpSub NameLoad Num BinOpSub NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad Num Num Call NameLoad Num NameLoad Assert CompareEq Call NameLoad CompareGtE BinOpMult BinOpMult BinOpSub NameLoad Num BinOpSub NameLoad Num BinOpSub NameLoad Num Num NameLoad Call NameLoad Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad Num Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad CompareGt BinOpSub BinOpSub BinOpPow NameLoad Num BinOpMult Num NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Call NameLoad Num BinOpAdd BinOpDiv UnaryOpUSub Call NameLoad Num Num BinOpDiv Call NameLoad Num Num NameLoad NameLoad Call NameLoad BinOpAdd BinOpDiv Call NameLoad Num Num BinOpDiv Call NameLoad Num Num NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad CompareGt BinOpSub BinOpAdd BinOpSub BinOpPow NameLoad Num BinOpPow NameLoad Num NameLoad Num Num NameLoad keyword NameLoad Call NameLoad Num NameLoad NameLoad Assert CompareEq Call NameLoad CompareLt Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad Call NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad BinOpDiv NameLoad Num Call NameLoad CompareLt BinOpDiv BinOpMult Num NameLoad Num NameLoad CompareLt NameLoad NameLoad Assert CompareEq Call NameLoad CompareGt Call NameLoad NameLoad AttributeLoad NameLoad attr NameLoad Call NameLoad CompareLt BinOpDiv NameLoad Num NameLoad CompareLt NameLoad BinOpDiv BinOpMult Num NameLoad Num Assert CompareEq Call NameLoad CompareGt BinOpSub BinOpSub BinOpPow NameLoad Num NameLoad Num Num NameLoad Call NameLoad CompareLt Call NameLoad BinOpSub BinOpSub BinOpPow NameLoad Num NameLoad Num Num NameLoad CompareLt NameLoad NameLoad Assert CompareEq Call NameLoad CompareGt BinOpDiv Num BinOpSub NameLoad Num Num NameLoad Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad NameLoad Assign NameStore Call AttributeLoad BinOpMult BinOpSub NameLoad Num BinOpSub NameLoad Num attr Assert CompareEq Call NameLoad CompareLtE BinOpDiv BinOpSub NameLoad Num NameLoad Num NameLoad Call NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad Num Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad Num decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareGtE BinOpPow NameLoad Num Num NameLoad keyword NameLoad AttributeLoad NameLoad attr Assert CompareEq Call NameLoad CompareGtE BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assert CompareEq Call NameLoad CompareLt BinOpPow NameLoad Num Num NameLoad keyword NameLoad AttributeLoad NameLoad attr Assert CompareEq Call NameLoad CompareLt BinOpPow NameLoad Num Num NameLoad keyword NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad decorator_list FunctionDef arguments args defaults body Assign NameStore Call NameLoad BinOpAdd BinOpSub BinOpPow NameLoad Num BinOpPow NameLoad Num Num Num Assert CompareEq Call NameLoad CompareGt BinOpAdd Call NameLoad NameLoad BinOpDiv Num Call NameLoad NameLoad Num Num Call NameLoad Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad BinOpPow NameLoad Num Call NameLoad CompareLt BinOpPow NameLoad Num NameLoad CompareLt NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assign NameStore BinOpSub BinOpSub Num NameLoad Call NameLoad BinOpSub Num NameLoad Assign NameStore Call NameLoad Call NameLoad Num NameLoad Call NameLoad NameLoad NameLoad Assert CompareEq Call NameLoad NameLoad Str NameLoad NameLoad Assign NameStore BinOpSub BinOpSub Num NameLoad Call NameLoad BinOpPow BinOpSub Num NameLoad Num Assert CompareEq Call NameLoad CompareLt NameLoad Num NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad NameLoad Assert CompareEq Call NameLoad CompareGt NameLoad NameLoad NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLt BinOpAdd Num BinOpDiv Num Call NameLoad BinOpSub BinOpDiv Num NameLoad Num Num Call NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad Num Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad BinOpDiv Call NameLoad Num Num Assert CompareEq Call NameLoad BinOpSub Call NameLoad BinOpDiv Num Call NameLoad NameLoad Num NameLoad Call NameLoad NameLoad Num Assert CompareEq Call NameLoad BinOpAdd Num BinOpDiv Num Call NameLoad BinOpSub Num BinOpDiv Num NameLoad Str NameLoad Call NameLoad Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad Num Call NameLoad CompareLt Call NameLoad Num NameLoad CompareLt NameLoad BinOpDiv Call NameLoad Num Num Call NameLoad CompareLt BinOpDiv Call NameLoad Num Num NameLoad CompareLt NameLoad NameLoad Expr Call NameLoad NameLoad Lambda arguments args defaults Call NameLoad BinOpAdd Num BinOpDiv Num Call NameLoad BinOpSub Num BinOpDiv Num Call NameLoad NameLoad Str NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLt Call NameLoad NameLoad Num Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad NameLoad decorator_list FunctionDef arguments args defaults body Assert CompareEq Call NameLoad CompareLt Call NameLoad NameLoad Num Call NameLoad CompareLt UnaryOpUSub NameLoad NameLoad CompareLt NameLoad Call NameLoad Num decorator_list
N/A N/A Tests for tools for solving inequalities and systems of inequalities.  sympy And Eq FiniteSet Ge Gt Interval Le Lt Ne oo Or S sin sqrt Symbol Union Integral Sum Function Poly PurePoly pi root log exp sympy.solvers.inequalities reduce_inequalities solve_poly_inequality psolve reduce_rational_inequalities solve_univariate_inequality isolve reduce_abs_inequality sympy.polys.rootoftools rootof sympy.solvers.solvers solve sympy.abc x y sympy.utilities.pytest raises slow N/A inf N/A N/A oo evalf test_solve_poly_inequality N/A N/A N/A N/A N/A N/A N/A psolve N/A Poly 0 x == N/A N/A S Reals N/A N/A N/A psolve N/A Poly 1 x == N/A N/A S EmptySet N/A N/A N/A psolve N/A PurePoly N/A x 1 x > N/A N/A Interval -1 oo True False N/A test_reduce_poly_inequalities_real_interval N/A N/A N/A N/A N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Eq N/A x 2 0 x relational False N/A FiniteSet 0 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A x 2 0 x relational False N/A FiniteSet 0 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A x 2 0 x relational False N/A S EmptySet N/A N/A N/A x is_real N/A N/A reduce_rational_inequalities N/A N/A N/A Ge N/A x 2 0 x relational False N/A S Reals N/A Interval N/A oo oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Gt N/A x 2 0 x relational False N/A N/A N/A FiniteSet 0 complement N/A S Reals N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ne N/A x 2 0 x relational False N/A N/A N/A FiniteSet 0 complement N/A S Reals N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Eq N/A x 2 1 x relational False N/A FiniteSet -1 1 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A x 2 1 x relational False N/A Interval -1 1 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A x 2 1 x relational False N/A Interval -1 1 True True N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ge N/A x 2 1 x relational False N/A Union N/A Interval N/A oo -1 N/A Interval 1 oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Gt N/A x 2 1 x relational False N/A N/A N/A Interval -1 1 complement N/A S Reals N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ne N/A x 2 1 x relational False N/A N/A N/A FiniteSet -1 1 complement N/A S Reals N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Eq N/A x 2 1.0 x relational False N/A N/A N/A FiniteSet -1.0 1.0 evalf N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A x 2 1.0 x relational False N/A Interval -1.0 1.0 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A x 2 1.0 x relational False N/A Interval -1.0 1.0 True True N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ge N/A x 2 1.0 x relational False N/A Union N/A Interval N/A inf -1.0 N/A Interval 1.0 inf N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Gt N/A x 2 1.0 x relational False N/A Union N/A Interval N/A inf -1.0 right_open True N/A Interval 1.0 inf left_open True N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ne N/A x 2 1.0 x relational False N/A N/A N/A FiniteSet -1.0 1.0 complement N/A S Reals N/A s N/A sqrt 2 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A N/A x 2 1 0 N/A Gt N/A N/A x 2 1 0 x relational False N/A S EmptySet N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A N/A x 2 1 0 N/A Ge N/A N/A x 2 1 0 x relational False N/A FiniteSet -1 1 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A N/A x 2 2 0 N/A Ge N/A N/A x 2 1 0 x relational False N/A Union N/A Interval N/A s -1 False False N/A Interval 1 s False False N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A N/A x 2 2 0 N/A Gt N/A N/A x 2 1 0 x relational False N/A Union N/A Interval N/A s -1 False True N/A Interval 1 s True False N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A N/A x 2 2 0 N/A Ge N/A N/A x 2 1 0 x relational False N/A Union N/A Interval N/A s -1 True False N/A Interval 1 s False True N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A N/A x 2 2 0 N/A Gt N/A N/A x 2 1 0 x relational False N/A Union N/A Interval N/A s -1 True True N/A Interval 1 s True True N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A N/A x 2 2 0 N/A Ne N/A N/A x 2 1 0 x relational False N/A Union N/A Interval N/A s -1 True True N/A Interval -1 1 True True N/A Interval 1 s True True N/A test_reduce_poly_inequalities_complex_relational N/A N/A N/A N/A N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Eq N/A x 2 0 x relational True N/A Eq x 0 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A x 2 0 x relational True N/A Eq x 0 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A x 2 0 x relational True False N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ge N/A x 2 0 x relational True N/A And N/A Lt N/A oo x N/A Lt x oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Gt N/A x 2 0 x relational True N/A And N/A Or N/A And N/A Lt N/A oo x N/A Lt x 0 N/A And N/A Lt 0 x N/A Lt x oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ne N/A x 2 0 x relational True N/A And N/A Or N/A And N/A Lt N/A oo x N/A Lt x 0 N/A And N/A Lt 0 x N/A Lt x oo N/A one N/A N/A S 1 N/A S 1.0 N/A N/A inf N/A one oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Eq N/A x 2 one x relational True N/A Or N/A Eq x N/A one N/A Eq x one N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Le N/A x 2 one x relational True N/A And N/A And N/A Le N/A one x N/A Le x one N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Lt N/A x 2 one x relational True N/A And N/A And N/A Lt N/A one x N/A Lt x one N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ge N/A x 2 one x relational True N/A And N/A Or N/A And N/A Le one x N/A Lt x inf N/A And N/A Le x N/A one N/A Lt N/A inf x N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Gt N/A x 2 one x relational True N/A And N/A Or N/A And N/A Lt N/A inf x N/A Lt x N/A one N/A And N/A Lt one x N/A Lt x inf N/A N/A N/A reduce_rational_inequalities N/A N/A N/A Ne N/A x 2 one x relational True N/A Or N/A And N/A Lt N/A inf x N/A Lt x N/A one N/A And N/A Lt N/A one x N/A Lt x one N/A And N/A Lt one x N/A Lt x inf N/A test_reduce_rational_inequalities_real_relational N/A N/A N/A N/A N/A N/A N/A reduce_rational_inequalities N/A x False N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A N/A N/A x 2 N/A 3 x 2 N/A N/A x 2 16 0 x relational False N/A Union N/A N/A Interval open N/A oo -4 N/A Interval -2 -1 N/A N/A Interval open 4 oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A N/A N/A -2 x 10 N/A 3 x N/A N/A N/A x 2 5 N/A N/A x 2 2 0 x relational False N/A Union N/A N/A Interval open -5 2 N/A N/A Interval open 2 3 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A x 1 N/A x 5 0 x relational False N/A N/A Interval Ropen -1 5 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A N/A N/A x 2 N/A 4 x 3 N/A x 1 0 x relational False N/A Union N/A N/A Interval open -3 -1 N/A N/A Interval open 1 oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A N/A x 2 16 N/A N/A x 1 2 0 x relational False N/A Union N/A N/A Interval open -4 1 N/A N/A Interval open 1 4 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A N/A 3 x 1 N/A x 4 1 x relational False N/A Union N/A N/A Interval open N/A oo -4 N/A N/A Interval Ropen N/A N/A S 3 2 oo N/A N/A N/A reduce_rational_inequalities N/A N/A N/A N/A N/A x 8 x N/A 3 x x relational False N/A Union N/A N/A Interval Lopen N/A oo -2 N/A N/A Interval Lopen 0 4 N/A N/A N/A reduce_rational_inequalities N/A N/A N/A x oo N/A x 0 N/A N/A oo x x relational False N/A Interval 0 oo N/A test_reduce_abs_inequalities N/A N/A N/A N/A N/A e N/A N/A abs N/A x 5 3 N/A ans N/A And N/A Lt 2 x N/A Lt x 8 N/A N/A N/A reduce_inequalities e ans N/A N/A N/A reduce_inequalities e x ans N/A N/A N/A reduce_inequalities N/A abs N/A x 5 N/A Eq x 5 N/A N/A N/A reduce_inequalities N/A N/A abs N/A N/A 2 x 3 8 N/A Or N/A And N/A Le N/A N/A S 5 2 x N/A Lt x oo N/A And N/A Le x N/A N/A N/A S 11 2 N/A Lt N/A oo x N/A N/A N/A reduce_inequalities N/A N/A N/A abs N/A x 4 N/A abs N/A N/A 3 x 5 7 N/A And N/A Lt N/A N/A S 1 2 x N/A Lt x 4 N/A N/A N/A reduce_inequalities N/A N/A N/A abs N/A x 4 N/A abs N/A N/A 3 N/A abs x 5 7 N/A Or N/A And N/A N/A S -2 x N/A x -1 N/A And N/A N/A N/A S 1 2 x N/A x 4 N/A nr N/A Symbol nr real False N/A N/A raises TypeError N/A N/A N/A N/A N/A reduce_inequalities N/A N/A abs N/A nr 5 3 N/A N/A N/A reduce_inequalities N/A x 3 symbols N/A x nr N/A And N/A N/A oo x N/A x 3 N/A test_reduce_inequalities_general N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A Ge N/A N/A sqrt 2 x 1 N/A And N/A N/A N/A sqrt 2 2 x N/A x oo N/A N/A N/A reduce_inequalities N/A N/A PurePoly N/A x 1 x 0 N/A And N/A N/A S -1 x N/A x oo N/A test_reduce_inequalities_boolean N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A N/A Eq N/A x 2 0 True N/A Eq x 0 N/A N/A N/A reduce_inequalities N/A N/A Eq N/A x 2 0 False False N/A N/A N/A reduce_inequalities N/A N/A x 2 0 N/A S true N/A test_reduce_inequalities_multivariate N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A N/A Ge N/A x 2 1 N/A Ge N/A y 2 1 N/A And N/A Or N/A And N/A Le 1 x N/A Lt x oo N/A And N/A Le x -1 N/A Lt N/A oo x N/A Or N/A And N/A Le 1 y N/A Lt y oo N/A And N/A Le y -1 N/A Lt N/A oo y N/A test_reduce_inequalities_errors N/A N/A N/A N/A N/A N/A raises NotImplementedError N/A N/A N/A N/A N/A reduce_inequalities N/A Ge N/A N/A sin x x 1 N/A N/A raises NotImplementedError N/A N/A N/A N/A N/A reduce_inequalities N/A Ge N/A N/A N/A x 2 y y 1 N/A test_hacky_inequalities N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A N/A x y 1 symbols N/A x N/A x N/A 1 y N/A N/A N/A reduce_inequalities N/A N/A x y 1 symbols N/A x N/A x N/A 1 y N/A N/A N/A reduce_inequalities N/A Eq 0 N/A x y symbols N/A x N/A Eq x y N/A N/A N/A reduce_inequalities N/A Ne 0 N/A x y symbols N/A x N/A Ne x y N/A test_issue_6343 N/A N/A N/A N/A N/A eq N/A N/A N/A N/A N/A -3 N/A x 2 2 N/A N/A 45 x 4 N/A N/A S 33 2 0 N/A N/A N/A reduce_inequalities eq N/A And N/A x N/A N/A N/A N/A S 15 4 N/A N/A sqrt 401 4 N/A N/A N/A N/A N/A sqrt 401 4 N/A N/A S 15 4 x N/A test_issue_8235 N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A N/A N/A x 2 1 0 N/A And N/A N/A S -1 x N/A x N/A S 1 N/A N/A N/A reduce_inequalities N/A N/A N/A x 2 1 0 N/A And N/A N/A S -1 x N/A x 1 N/A N/A N/A reduce_inequalities N/A N/A N/A x 2 1 0 N/A Or N/A And N/A N/A oo x N/A x -1 N/A And N/A x oo N/A N/A S 1 x N/A N/A N/A reduce_inequalities N/A N/A N/A x 2 1 0 N/A Or N/A And N/A N/A oo x N/A x N/A S -1 N/A And N/A N/A S 1 x N/A x oo N/A eq N/A N/A N/A x 8 x 9 N/A sol N/A solve N/A eq 0 N/A tru N/A Or N/A And N/A N/A rootof eq 1 x N/A x oo N/A And N/A N/A oo x N/A x N/A rootof eq 0 N/A N/A sol tru N/A N/A N/A solve N/A N/A sqrt N/A N/A N/A x 1 2 1 N/A And N/A N/A S 0 x N/A x 2 N/A test_issue_5526 N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A N/A S 0 N/A N/A x N/A Integral N/A y 2 N/A y 1 3 1 N/A x N/A x N/A N/A N/A Integral N/A y 2 N/A y 1 3 1 N/A f N/A Function f N/A e N/A Sum N/A f x N/A x 1 3 N/A N/A N/A reduce_inequalities N/A N/A S 0 N/A N/A x e N/A y 2 N/A x N/A x N/A N/A N/A y 2 N/A Sum N/A f x N/A x 1 3 N/A test_solve_univariate_inequality N/A N/A N/A N/A N/A N/A N/A isolve N/A N/A x 2 4 x relational False N/A Union N/A Interval N/A oo -2 N/A Interval 2 oo N/A N/A N/A isolve N/A N/A x 2 4 x N/A Or N/A And N/A Le 2 x N/A Lt x oo N/A And N/A Le x -2 N/A Lt N/A oo x N/A N/A N/A isolve N/A N/A N/A N/A x 1 N/A x 2 N/A x 3 0 x relational False N/A Union N/A Interval 1 2 N/A Interval 3 oo N/A N/A N/A isolve N/A N/A N/A N/A x 1 N/A x 2 N/A x 3 0 x N/A Or N/A And N/A Le 1 x N/A Le x 2 N/A And N/A Le 3 x N/A Lt x oo N/A N/A N/A isolve N/A N/A N/A N/A x 3 N/A 2 x 1 0 x relational False N/A Union N/A Interval -1 N/A N/A N/A N/A sqrt 5 2 N/A N/A S 1 2 True True N/A Interval N/A N/A N/A S 1 2 N/A N/A sqrt 5 2 oo True True N/A N/A N/A isolve N/A N/A N/A N/A N/A x 3 N/A x 2 x 1 0 x relational False N/A Interval 1 oo True N/A N/A N/A isolve N/A N/A sin x N/A S Half x N/A Or N/A And N/A N/A oo x N/A x N/A pi 6 N/A And N/A N/A N/A 5 pi 6 x N/A x oo N/A N/A N/A isolve N/A N/A sin x N/A S Half x N/A And N/A N/A pi 6 x N/A x N/A N/A 5 pi 6 N/A N/A N/A isolve N/A N/A N/A N/A x 7 x 2 0 x N/A And N/A N/A rootof N/A N/A N/A x 7 x 2 0 x N/A x oo N/A N/A N/A isolve N/A N/A 1 N/A x 2 0 x N/A And N/A N/A S 2 x N/A x oo N/A den N/A N/A N/A N/A x 1 N/A x 2 expand N/A N/A N/A isolve N/A N/A N/A x 1 den 0 x N/A Or N/A And N/A N/A oo x N/A x 1 N/A And N/A N/A S 1 x N/A x 2 N/A test_issue_9954 N/A N/A N/A N/A N/A N/A N/A isolve N/A N/A x 2 0 x relational False N/A S Reals N/A N/A N/A isolve N/A N/A x 2 0 x relational True N/A N/A N/A S Reals as_relational x N/A N/A N/A isolve N/A N/A x 2 0 x relational False N/A S EmptySet N/A N/A N/A isolve N/A N/A x 2 0 x relational True N/A N/A N/A S EmptySet as_relational x N/A test_slow_general_univariate N/A N/A N/A N/A N/A r N/A rootof N/A N/A N/A x 5 N/A x 2 1 0 N/A N/A N/A solve N/A N/A N/A sqrt x N/A 1 N/A root x 3 1 N/A Or N/A And N/A N/A S 0 x N/A x N/A r 6 N/A And N/A N/A r 6 x N/A x oo N/A test_issue_8545 N/A N/A N/A N/A N/A eq N/A N/A 1 x N/A abs N/A 1 x N/A ans N/A And N/A Lt 1 x N/A Lt x oo N/A N/A N/A reduce_abs_inequality eq < x ans N/A eq N/A N/A 1 x N/A sqrt N/A N/A 1 x 2 N/A N/A N/A reduce_inequalities N/A eq 0 ans N/A test_issue_8974 N/A N/A N/A N/A N/A N/A N/A isolve N/A N/A oo x x N/A And N/A N/A oo x N/A x oo N/A N/A N/A isolve N/A oo x x N/A And N/A N/A oo x N/A x oo N/A test_issue_10198 N/A N/A N/A N/A N/A N/A N/A reduce_inequalities N/A N/A -1 N/A 1 N/A abs N/A N/A 1 x 1 0 N/A Or N/A And N/A N/A oo x N/A x 0 N/A And N/A N/A S 0 x N/A x N/A N/A S 1 2 N/A N/A N/A reduce_inequalities N/A N/A abs N/A 1 N/A sqrt x 1 x N/A Eq x -1 N/A N/A N/A reduce_abs_inequality N/A -3 N/A 1 N/A abs N/A 1 N/A 1 x < x N/A Or N/A And N/A N/A oo x N/A x 0 N/A And N/A N/A S 0 x N/A x N/A N/A S 3 4 N/A And N/A N/A N/A S 3 2 x N/A x oo N/A N/A raises ValueError N/A N/A N/A N/A N/A reduce_abs_inequality N/A -3 N/A 1 N/A abs N/A 1 N/A 1 N/A sqrt x < x N/A test_issue_10047 N/A N/A N/A N/A N/A N/A N/A solve N/A N/A sin x 2 N/A And N/A N/A oo x N/A x oo N/A test_issue_10268 N/A N/A N/A N/A N/A N/A N/A solve N/A N/A log x 1000 N/A And N/A N/A oo x N/A x N/A exp 1000 N/A