Time: 33.5min
Passed: 32/41
Tests: 53
Bits: 917/1187

TestStartResult ?Target ?Time
symmetry log of sum of exp29.91.125.1s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.10.113.8s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D16.20.323.8s»
ab-angle->ABCF C20.120.129.4s»
ab-angle->ABCF B30.820.729.7s»
ab-angle->ABCF A20.520.531.1s»
a parameter of renormalized beta distribution0.20.218.6s»
a from scale-rotated-ellipse63.652.52.1min»
Trigonometry B0.30.322.7s»
Trigonometry A0.10.117.5s»
Spherical law of cosines16.63.746.9s»
Simplification of discriminant from scale-rotated-ellipse40.56.11.7min»
Quadratic roots, wide range52.41.629.7s»
Quadratic roots, narrow range28.70.346.1s»
Quadratic roots, medium range43.90.234.9s»
Quadratic roots, full range34.610.430.5s»
Midpoint on a great circle0.80.230.7s»
Logistic function from Lakshay Garg28.90.317.5s»
Hyperbolic tangent58.01.118.6s»
Hyperbolic sine57.80.714.8s»
Hyperbolic secant0.00.03.5s»
Hyperbolic arc-cosine32.50.04.9s»
Hyperbolic arc-(co)tangent58.70.125.4s»
Hyperbolic arc-(co)secant0.00.08.2s»
Example from Robby0.10.144.4s»
Example 2 from Robby0.10.121.5s»
Equirectangular approximation to distance on a great circle39.30.136.9s»
Eccentricity of an ellipse14.30.010.0s»
Distance on a great circle23.90.71.5min»
Destination given bearing on a great circle0.20.239.9s»
Cubic critical, wide range52.41.529.9s»
Cubic critical, narrow range28.95.050.5s»
Cubic critical, medium range44.02.942.4s»
Cubic critical34.610.531.0s»
Bearing on a great circle12.90.251.8s»
Asymptote C29.10.125.7s»
Asymptote B0.00.014.6s»
Asymptote A14.20.116.9s»
ABCF->ab-angle b52.444.01.1min»
ABCF->ab-angle angle29.512.133.2s»
ABCF->ab-angle a52.444.21.3min»
2-ancestry mixing, zero discriminant15.30.817.1s»
2-ancestry mixing, positive discriminant35.82.621.6s»
2-ancestry mixing, negative discriminant1.00.117.1s»
Quotient of sum of exps0.80.40.010.6s»
Quotient of products11.63.011.312.5s»
Logistic regression 20.50.80.114.2s»
Hyperbolic arcsine53.10.145.318.6s»
Harley's example2.5min»
Exp of sum of logs5.70.1015.0s»
(- (/ x0 (- 1 x1)) x0)0.0s»

Error