Requirement

-1 <= g <= 1 — asin / acos.

Never satisfiable.

Not a mathematical requirement but a statement about this library: the argument sits in a position the evaluator refuses, so no value makes the expression computable. It is what makes the Asin convention expressible over the complex plane.

>= 0 — a fractional power, i.e. an even root.

!= 0 — a denominator, or a negative integer power.

g is not 0, -1, -2, … — the Gamma / fact poles. Also infinitely many.

g != (2k+1)·π/2 — tan. Infinitely many exclusions, so never resolves to intervals.

> 0 — ln(g), and a logarithm base.