Time: 20.4min
Passed: 34/40
Tests: 52
Bits: 809/1286

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse54.847.61.3min»
b parameter of renormalized beta distribution0.10.16.6s»
b from scale-rotated-ellipse64.042.52.3min»
ab-angle->ABCF D16.30.32.9s»
ab-angle->ABCF C20.120.212.5s»
ab-angle->ABCF B31.331.215.8s»
ab-angle->ABCF A20.120.113.9s»
a parameter of renormalized beta distribution0.20.25.3s»
a from scale-rotated-ellipse63.656.63.1min»
Trigonometry B0.30.36.1s»
Trigonometry A0.10.15.4s»
Spherical law of cosines17.33.823.0s»
Simplification of discriminant from scale-rotated-ellipse40.05.31.2min»
Quadratic roots, wide range52.41.49.9s»
Quadratic roots, narrow range28.45.810.3s»
Quadratic roots, medium range44.02.811.0s»
Quadratic roots, full range34.610.96.9s»
Midpoint on a great circle0.90.218.6s»
Logistic function from Lakshay Garg29.20.23.5s»
Hyperbolic tangent58.20.03.6s»
Hyperbolic sine58.00.02.5s»
Hyperbolic secant0.00.02.0s»
Hyperbolic arc-cosine32.10.03.0s»
Hyperbolic arc-(co)tangent58.60.24.9s»
Hyperbolic arc-(co)secant0.00.02.2s»
Example from Robby0.10.112.6s»
Example 2 from Robby0.10.19.0s»
Equirectangular approximation to distance on a great circle39.431.61.9min»
Eccentricity of an ellipse14.60.03.1s»
Distance on a great circle24.224.233.0s»
Destination given bearing on a great circle0.20.228.1s»
Cubic critical, wide range52.51.312.2s»
Cubic critical, narrow range28.75.711.3s»
Cubic critical, medium range44.12.711.8s»
Cubic critical34.810.211.2s»
Bearing on a great circle13.30.223.8s»
Asymptote C28.60.07.8s»
Asymptote B0.00.52.2s»
Asymptote A14.50.53.5s»
ABCF->ab-angle b52.245.545.8s»
ABCF->ab-angle angle29.917.215.4s»
ABCF->ab-angle a52.544.841.4s»
2-ancestry mixing, zero discriminant15.30.95.3s»
2-ancestry mixing, positive discriminant36.031.710.7s»
2-ancestry mixing, negative discriminant1.00.03.7s»
Quotient of sum of exps0.70.80.03.0s»
Quotient of products11.63.411.24.8s»
Logistic regression 20.50.70.14.7s»
Hyperbolic arcsine53.00.345.15.0s»
Harley's example2.6min»
Exp of sum of logs5.6001.1s»
(- (/ x0 (- 1 x1)) x0)8.44.10.51.6s»

Pareto measure: 0.8372823712229999