Time: 12.7min
Passed: 32/40
Tests: 52
Bits: 746/1222

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.255.21.2min»
b parameter of renormalized beta distribution0.10.14.9s»
b from scale-rotated-ellipse64.041.31.9min»
ab-angle->ABCF D16.60.32.7s»
ab-angle->ABCF C20.420.411.2s»
ab-angle->ABCF B31.331.39.6s»
ab-angle->ABCF A20.420.411.7s»
a parameter of renormalized beta distribution0.20.23.8s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.45.7s»
Trigonometry A0.10.14.7s»
Spherical law of cosines16.63.715.4s»
Simplification of discriminant from scale-rotated-ellipse41.234.256.6s»
Quadratic roots, wide range52.30.15.2s»
Quadratic roots, narrow range28.30.36.4s»
Quadratic roots, medium range43.50.25.7s»
Quadratic roots, full range34.36.75.8s»
Midpoint on a great circle0.80.29.7s»
Logistic function from Lakshay Garg29.30.34.0s»
Hyperbolic tangent58.10.02.8s»
Hyperbolic sine58.00.02.5s»
Hyperbolic secant0.00.01.6s»
Hyperbolic arc-cosine31.90.12.9s»
Hyperbolic arc-(co)tangent58.60.24.4s»
Hyperbolic arc-(co)secant0.10.11.3s»
Example from Robby0.10.19.3s»
Example 2 from Robby0.10.17.3s»
Equirectangular approximation to distance on a great circle39.329.113.9s»
Eccentricity of an ellipse15.10.01.7s»
Distance on a great circle24.124.126.1s»
Destination given bearing on a great circle0.20.216.5s»
Cubic critical, wide range52.36.44.5s»
Cubic critical, narrow range28.614.66.0s»
Cubic critical, medium range43.510.15.4s»
Cubic critical34.412.85.3s»
Bearing on a great circle12.70.213.4s»
Asymptote C29.30.13.5s»
Asymptote B0.00.01.4s»
Asymptote A14.30.42.3s»
ABCF->ab-angle b52.651.238.7s»
ABCF->ab-angle angle30.023.17.3s»
ABCF->ab-angle a52.147.420.1s»
2-ancestry mixing, zero discriminant15.30.83.6s»
2-ancestry mixing, positive discriminant35.630.97.1s»
2-ancestry mixing, negative discriminant1.00.02.6s»
Quotient of sum of exps0.80.70.03.4s»
Quotient of products11.24.411.53.1s»
Logistic regression 20.50.50.12.9s»
Hyperbolic arcsine53.50.245.84.8s»
Harley's example31.2s»
Exp of sum of logs5.6001.1s»
(- (/ x0 (- 1 x1)) x0)8.33.30.52.9s»