Time: 13.8min
Passed: 33/40
Tests: 52
Bits: 786/1222

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse54.654.31.1min»
b parameter of renormalized beta distribution0.10.14.1s»
b from scale-rotated-ellipse63.941.51.9min»
ab-angle->ABCF D16.70.32.6s»
ab-angle->ABCF C20.820.811.7s»
ab-angle->ABCF B31.931.98.4s»
ab-angle->ABCF A20.720.712.0s»
a parameter of renormalized beta distribution0.20.23.3s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.36.5s»
Trigonometry A0.10.14.2s»
Spherical law of cosines16.83.917.1s»
Simplification of discriminant from scale-rotated-ellipse40.55.554.3s»
Quadratic roots, wide range52.70.15.7s»
Quadratic roots, narrow range28.70.36.8s»
Quadratic roots, medium range43.70.25.7s»
Quadratic roots, full range33.98.66.4s»
Midpoint on a great circle0.90.29.6s»
Logistic function from Lakshay Garg29.20.23.8s»
Hyperbolic tangent58.20.02.7s»
Hyperbolic sine58.10.02.5s»
Hyperbolic secant0.00.01.6s»
Hyperbolic arc-cosine32.10.15.4s»
Hyperbolic arc-(co)tangent58.70.24.3s»
Hyperbolic arc-(co)secant0.00.02.7s»
Example from Robby0.10.110.1s»
Example 2 from Robby0.10.18.7s»
Equirectangular approximation to distance on a great circle39.228.424.9s»
Eccentricity of an ellipse14.50.02.0s»
Distance on a great circle24.313.726.9s»
Destination given bearing on a great circle0.20.215.4s»
Cubic critical, wide range52.75.54.2s»
Cubic critical, narrow range28.814.64.5s»
Cubic critical, medium range43.810.15.6s»
Cubic critical33.510.15.4s»
Bearing on a great circle13.10.213.2s»
Asymptote C29.00.14.7s»
Asymptote B0.00.01.0s»
Asymptote A14.40.42.4s»
ABCF->ab-angle b52.350.718.8s»
ABCF->ab-angle angle29.224.57.2s»
ABCF->ab-angle a52.147.820.9s»
2-ancestry mixing, zero discriminant16.10.93.3s»
2-ancestry mixing, positive discriminant35.932.27.1s»
2-ancestry mixing, negative discriminant1.00.02.4s»
Quotient of sum of exps0.60.50.02.2s»
Quotient of products11.62.811.33.3s»
Logistic regression 20.40.50.13.0s»
Hyperbolic arcsine52.50.245.04.8s»
Harley's example1.9min»
Exp of sum of logs5.7000.9s»
(- (/ x0 (- 1 x1)) x0)8.33.30.52.9s»