Time: 8.1min
Passed: 3/40
Tests: 52
Bits: 0/1281

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.455.41.1min»
b parameter of renormalized beta distribution0.10.10.9s»
b from scale-rotated-ellipse64.064.01.6min»
ab-angle->ABCF D15.815.80.9s»
ab-angle->ABCF C20.220.26.7s»
ab-angle->ABCF B30.630.65.0s»
ab-angle->ABCF A20.020.07.0s»
a parameter of renormalized beta distribution0.20.20.7s»
a from scale-rotated-ellipse63.663.645.0s»
Trigonometry B0.30.31.4s»
Trigonometry A0.10.11.7s»
Spherical law of cosines16.716.79.8s»
Simplification of discriminant from scale-rotated-ellipse40.740.746.7s»
Quadratic roots, wide range52.352.31.7s»
Quadratic roots, narrow range28.528.51.3s»
Quadratic roots, medium range42.942.91.5s»
Quadratic roots, full range33.733.71.8s»
Midpoint on a great circle0.80.86.4s»
Logistic function from Lakshay Garg29.129.11.0s»
Hyperbolic tangent58.258.21.8s»
Hyperbolic sine58.158.11.7s»
Hyperbolic secant0.00.00.4s»
Hyperbolic arc-cosine31.731.72.0s»
Hyperbolic arc-(co)tangent58.558.52.7s»
Hyperbolic arc-(co)secant0.00.00.6s»
Example from Robby0.10.15.8s»
Example 2 from Robby0.10.15.7s»
Equirectangular approximation to distance on a great circle39.039.04.7s»
Eccentricity of an ellipse14.414.40.9s»
Distance on a great circle24.124.119.7s»
Destination given bearing on a great circle0.10.110.3s»
Cubic critical, wide range52.352.31.7s»
Cubic critical, narrow range28.528.51.3s»
Cubic critical, medium range42.942.91.5s»
Cubic critical34.034.01.7s»
Bearing on a great circle13.113.19.4s»
Asymptote C29.029.00.7s»
Asymptote B0.00.00.4s»
Asymptote A14.214.20.6s»
ABCF->ab-angle b52.052.06.4s»
ABCF->ab-angle angle30.030.02.8s»
ABCF->ab-angle a52.852.86.8s»
2-ancestry mixing, zero discriminant15.915.90.5s»
2-ancestry mixing, positive discriminant36.236.22.2s»
2-ancestry mixing, negative discriminant1.01.01.1s»
Quotient of sum of exps0.70.70.00.6s»
Quotient of products11.611.611.41.2s»
Logistic regression 20.40.40.10.9s»
Hyperbolic arcsine53.253.245.42.3s»
Harley's example1.5min»
Exp of sum of logs5.75.700.7s»
(- (/ x0 (- 1 x1)) x0)8.48.40.50.6s»

Pareto measure: 0