Time: 14.9min
Passed: 31/40
Tests: 52
Bits: 743/1224

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.255.31.1min»
b parameter of renormalized beta distribution0.10.13.5s»
b from scale-rotated-ellipse64.042.51.9min»
ab-angle->ABCF D16.10.32.6s»
ab-angle->ABCF C20.320.411.8s»
ab-angle->ABCF B30.930.910.3s»
ab-angle->ABCF A20.720.710.8s»
a parameter of renormalized beta distribution0.20.23.1s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.36.3s»
Trigonometry A0.10.13.9s»
Spherical law of cosines17.13.916.4s»
Simplification of discriminant from scale-rotated-ellipse41.041.050.8s»
Quadratic roots, wide range52.70.15.1s»
Quadratic roots, narrow range28.60.35.9s»
Quadratic roots, medium range43.50.25.8s»
Quadratic roots, full range34.26.56.0s»
Midpoint on a great circle0.80.29.6s»
Logistic function from Lakshay Garg29.60.83.1s»
Hyperbolic tangent58.10.02.9s»
Hyperbolic sine58.10.02.8s»
Hyperbolic secant0.00.02.0s»
Hyperbolic arc-cosine32.70.13.2s»
Hyperbolic arc-(co)tangent58.70.25.8s»
Hyperbolic arc-(co)secant0.00.03.7s»
Example from Robby0.10.19.6s»
Example 2 from Robby0.10.16.5s»
Equirectangular approximation to distance on a great circle38.829.014.8s»
Eccentricity of an ellipse14.80.02.3s»
Distance on a great circle24.324.326.2s»
Destination given bearing on a great circle0.20.215.9s»
Cubic critical, wide range52.76.24.4s»
Cubic critical, narrow range28.615.44.4s»
Cubic critical, medium range43.610.25.8s»
Cubic critical34.410.849.0s»
Bearing on a great circle12.90.214.0s»
Asymptote C29.70.141.0s»
Asymptote B0.00.01.2s»
Asymptote A14.60.42.6s»
ABCF->ab-angle b52.350.11.3min»
ABCF->ab-angle angle29.922.97.2s»
ABCF->ab-angle a52.548.224.9s»
2-ancestry mixing, zero discriminant15.60.84.9s»
2-ancestry mixing, positive discriminant36.032.06.9s»
2-ancestry mixing, negative discriminant1.00.03.4s»
Quotient of sum of exps0.70.00.01.8s»
Quotient of products11.32.411.23.4s»
Logistic regression 20.50.50.02.9s»
Hyperbolic arcsine52.30.244.64.5s»
Harley's example43.2s»
Exp of sum of logs5.7000.9s»
(- (/ x0 (- 1 x1)) x0)8.33.30.53.1s»