Time: 23.5min
Passed: 32/41
Tests: 53
Bits: 836/1073

TestStartResult ?Target ?Time
symmetry log of sum of exp29.91.212.2s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.10.14.4s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D16.20.32.7s»
ab-angle->ABCF C20.620.614.9s»
ab-angle->ABCF B31.031.123.5s»
ab-angle->ABCF A20.220.222.2s»
a parameter of renormalized beta distribution0.20.24.2s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.312.9s»
Trigonometry A0.10.17.9s»
Spherical law of cosines16.33.728.5s»
Simplification of discriminant from scale-rotated-ellipse40.828.71.9min»
Quadratic roots, wide range52.60.17.6s»
Quadratic roots, narrow range28.45.56.2s»
Quadratic roots, medium range43.90.27.3s»
Quadratic roots, full range34.010.412.6s»
Midpoint on a great circle0.90.226.8s»
Logistic function from Lakshay Garg30.00.24.6s»
Hyperbolic tangent58.00.02.4s»
Hyperbolic sine58.00.03.5s»
Hyperbolic secant0.00.01.1s»
Hyperbolic arc-cosine31.30.33.0s»
Hyperbolic arc-(co)tangent58.60.34.6s»
Hyperbolic arc-(co)secant0.00.02.1s»
Example from Robby0.10.112.3s»
Example 2 from Robby0.10.112.0s»
Equirectangular approximation to distance on a great circle39.13.734.0s»
Eccentricity of an ellipse15.10.06.3s»
Distance on a great circle24.313.857.5s»
Destination given bearing on a great circle0.20.225.7s»
Cubic critical, wide range52.61.411.5s»
Cubic critical, narrow range28.50.312.4s»
Cubic critical, medium range44.02.96.5s»
Cubic critical34.210.013.8s»
Bearing on a great circle13.10.247.7s»
Asymptote C29.50.09.0s»
Asymptote B0.00.01.7s»
Asymptote A14.60.46.3s»
ABCF->ab-angle b52.431.434.6s»
ABCF->ab-angle angle29.812.520.6s»
ABCF->ab-angle a2.5min»
2-ancestry mixing, zero discriminant15.50.97.9s»
2-ancestry mixing, positive discriminant36.032.414.9s»
2-ancestry mixing, negative discriminant1.00.05.8s»
Quotient of sum of exps0.70.60.05.2s»
Quotient of products11.42.311.45.6s»
Logistic regression 20.60.60.04.5s»
Hyperbolic arcsine53.20.145.38.3s»
Harley's example2.0min»
Exp of sum of logs5.6000.9s»
(- (/ x0 (- 1 x1)) x0)0.1s»