Time: 18.5min
Passed: 32/40
Tests: 52
Bits: 772/1127

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.10.14.2s»
b from scale-rotated-ellipse64.042.72.4min»
ab-angle->ABCF D16.50.33.3s»
ab-angle->ABCF C20.020.011.0s»
ab-angle->ABCF B31.031.113.3s»
ab-angle->ABCF A20.520.513.8s»
a parameter of renormalized beta distribution0.20.24.8s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.46.3s»
Trigonometry A0.10.14.6s»
Spherical law of cosines16.63.717.9s»
Simplification of discriminant from scale-rotated-ellipse40.633.658.2s»
Quadratic roots, wide range52.61.58.7s»
Quadratic roots, narrow range28.65.69.2s»
Quadratic roots, medium range44.12.99.7s»
Quadratic roots, full range33.712.36.5s»
Midpoint on a great circle0.90.212.3s»
Logistic function from Lakshay Garg29.30.44.2s»
Hyperbolic tangent58.20.02.6s»
Hyperbolic sine58.00.02.2s»
Hyperbolic secant0.00.01.7s»
Hyperbolic arc-cosine31.90.13.4s»
Hyperbolic arc-(co)tangent58.60.25.3s»
Hyperbolic arc-(co)secant0.00.22.6s»
Example from Robby0.10.114.1s»
Example 2 from Robby0.10.17.4s»
Equirectangular approximation to distance on a great circle2.5min»
Eccentricity of an ellipse13.90.02.7s»
Distance on a great circle24.213.842.3s»
Destination given bearing on a great circle0.20.221.6s»
Cubic critical, wide range52.61.49.8s»
Cubic critical, narrow range28.75.79.3s»
Cubic critical, medium range44.12.99.5s»
Cubic critical33.99.07.7s»
Bearing on a great circle13.20.216.7s»
Asymptote C28.70.27.9s»
Asymptote B0.00.02.2s»
Asymptote A14.60.13.1s»
ABCF->ab-angle b52.043.956.8s»
ABCF->ab-angle angle29.717.310.1s»
ABCF->ab-angle a52.741.544.8s»
2-ancestry mixing, zero discriminant15.70.93.9s»
2-ancestry mixing, positive discriminant36.032.18.6s»
2-ancestry mixing, negative discriminant1.00.03.9s»
Quotient of sum of exps0.70.70.04.3s»
Quotient of products11.73.611.93.9s»
Logistic regression 20.60.60.04.3s»
Hyperbolic arcsine52.80.345.03.9s»
Harley's example13.4s»
Exp of sum of logs5.7000.9s»
(- (/ x0 (- 1 x1)) x0)8.44.10.51.5s»