Time: 17.6min
Passed: 32/40
Tests: 52
Bits: 781/1185

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.255.21.1min»
b parameter of renormalized beta distribution0.10.13.7s»
b from scale-rotated-ellipse64.042.52.0min»
ab-angle->ABCF D16.10.32.8s»
ab-angle->ABCF C20.220.212.6s»
ab-angle->ABCF B31.231.29.4s»
ab-angle->ABCF A20.620.611.9s»
a parameter of renormalized beta distribution0.20.22.9s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.36.3s»
Trigonometry A0.10.15.0s»
Spherical law of cosines17.14.015.7s»
Simplification of discriminant from scale-rotated-ellipse40.85.856.8s»
Quadratic roots, wide range52.70.16.1s»
Quadratic roots, narrow range28.50.37.8s»
Quadratic roots, medium range44.10.26.3s»
Quadratic roots, full range33.96.97.2s»
Midpoint on a great circle0.90.29.6s»
Logistic function from Lakshay Garg29.50.74.1s»
Hyperbolic tangent58.40.02.7s»
Hyperbolic sine58.10.02.1s»
Hyperbolic secant0.00.00.6s»
Hyperbolic arc-cosine31.60.02.9s»
Hyperbolic arc-(co)tangent58.80.26.3s»
Hyperbolic arc-(co)secant0.00.02.4s»
Example from Robby0.10.19.2s»
Example 2 from Robby0.10.16.8s»
Equirectangular approximation to distance on a great circle2.5min»
Eccentricity of an ellipse14.40.03.0s»
Distance on a great circle24.514.327.6s»
Destination given bearing on a great circle0.20.217.3s»
Cubic critical, wide range52.85.64.6s»
Cubic critical, narrow range28.914.56.5s»
Cubic critical, medium range44.39.44.6s»
Cubic critical33.56.77.0s»
Bearing on a great circle13.10.214.3s»
Asymptote C29.30.33.6s»
Asymptote B0.00.02.4s»
Asymptote A14.50.42.6s»
ABCF->ab-angle b52.550.31.0min»
ABCF->ab-angle angle29.225.77.6s»
ABCF->ab-angle a52.946.420.7s»
2-ancestry mixing, zero discriminant15.50.93.8s»
2-ancestry mixing, positive discriminant36.031.57.5s»
2-ancestry mixing, negative discriminant1.00.03.3s»
Quotient of sum of exps0.60.50.02.1s»
Quotient of products11.53.811.03.7s»
Logistic regression 20.40.40.03.4s»
Hyperbolic arcsine52.90.245.04.8s»
Harley's example2.5min»
Exp of sum of logs5.7000.9s»
(- (/ x0 (- 1 x1)) x0)8.33.20.53.0s»