Time: 14.3min
Passed: 32/40
Tests: 52
Bits: 756/1224

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.255.21.1min»
b parameter of renormalized beta distribution0.10.14.4s»
b from scale-rotated-ellipse64.042.71.8min»
ab-angle->ABCF D16.40.32.7s»
ab-angle->ABCF C20.620.612.5s»
ab-angle->ABCF B31.631.79.4s»
ab-angle->ABCF A20.520.611.1s»
a parameter of renormalized beta distribution0.20.23.3s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.36.0s»
Trigonometry A0.10.14.0s»
Spherical law of cosines16.73.916.2s»
Simplification of discriminant from scale-rotated-ellipse40.725.857.3s»
Quadratic roots, wide range52.70.17.5s»
Quadratic roots, narrow range28.90.37.0s»
Quadratic roots, medium range43.90.26.0s»
Quadratic roots, full range33.76.65.9s»
Midpoint on a great circle0.80.210.5s»
Logistic function from Lakshay Garg29.30.14.3s»
Hyperbolic tangent58.10.02.7s»
Hyperbolic sine58.00.02.4s»
Hyperbolic secant0.00.00.6s»
Hyperbolic arc-cosine32.20.13.2s»
Hyperbolic arc-(co)tangent58.50.25.7s»
Hyperbolic arc-(co)secant0.00.01.2s»
Example from Robby0.10.110.7s»
Example 2 from Robby0.10.18.7s»
Equirectangular approximation to distance on a great circle39.028.812.8s»
Eccentricity of an ellipse14.50.01.7s»
Distance on a great circle24.324.326.9s»
Destination given bearing on a great circle0.20.215.2s»
Cubic critical, wide range52.76.04.1s»
Cubic critical, narrow range28.914.44.7s»
Cubic critical, medium range44.09.75.9s»
Cubic critical33.57.26.6s»
Bearing on a great circle13.40.214.9s»
Asymptote C29.80.25.2s»
Asymptote B0.00.01.1s»
Asymptote A14.40.43.1s»
ABCF->ab-angle b52.150.118.6s»
ABCF->ab-angle angle30.028.76.2s»
ABCF->ab-angle a52.749.115.9s»
2-ancestry mixing, zero discriminant16.10.83.8s»
2-ancestry mixing, positive discriminant35.831.37.1s»
2-ancestry mixing, negative discriminant1.00.03.0s»
Quotient of sum of exps0.70.60.01.3s»
Quotient of products11.02.511.53.2s»
Logistic regression 20.60.60.13.6s»
Hyperbolic arcsine52.80.244.84.8s»
Harley's example2.5min»
Exp of sum of logs5.7000.9s»
(- (/ x0 (- 1 x1)) x0)8.43.90.57.4s»