Next migration
The logarithm, exponential, and power family is now complete. The next major block is trigonometric and hyperbolic functions.
Required shared core
- certified reduction by pi/2 using the independent pi cache;
- exact quadrant and signed-zero handling;
- a paired
sin_coskernel with one Ziv-style evaluator; - tangent, secant, cosecant, and cotangent from the paired kernel;
- inverse trigonometric functions and two-argument atan2;
- a paired
sinh_coshkernel built on the completed exponential family; - scaled-unit and pi-scaled interfaces.
The existing transcendental evaluator should remain the public correctness shell. Faster series, binary splitting, and table methods can be introduced underneath it without changing the numerical contract.