Herbie results

Time: 1.3hr

Passed: 26/29

Tests: 39

Bits: 710/840

Test	Start	Result ?	Target ?	Time
b parameter of renormalized beta distribution	0.1	0.1		57.2s	»
a parameter of renormalized beta distribution	0.2	0.2		30.8s	»
Trigonometry B	0.3	0.3		53.4s	»
Trigonometry A	0.1	0.1		36.2s	»
Spherical law of cosines	17.3	3.9		1.7min	»
Quadratic roots, wide range	52.4	0.2		1.4min	»
Quadratic roots, narrow range	29.0	0.3		50.3s	»
Quadratic roots, medium range	43.6	0.2		1.5min	»
Quadratic roots, full range	34.3	8.9		7.9min	»
Midpoint on a great circle	0.8	0.2		1.1min	»
Logistic function from Lakshay Garg	29.2	0.1		1.8min	»
Hyperbolic tangent	58.1	0.0		13.8s	»
Hyperbolic sine	58.0	0.0		12.6s	»
Hyperbolic secant	0.0	0.0		1.2min	»
Hyperbolic arc-cosine	31.7	0.1		56.8s	»
Hyperbolic arc-(co)tangent	58.5	0.2		50.2s	»
Hyperbolic arc-(co)secant	0.0	0.2		19.6s	»
Equirectangular approximation to distance on a great circle	39.0	28.6		5.1min	»
Eccentricity of an ellipse	14.2	0.0		2.7min	»
Distance on a great circle	24.3	24.3		2.2min	»
Destination given bearing on a great circle	0.2	0.2		2.9min	»
Cubic critical, wide range	52.4	6.3		2.2min	»
Cubic critical, narrow range	28.9	0.3		1.2min	»
Cubic critical, medium range	43.7	0.2		53.5s	»
Cubic critical	34.4	12.7		9.8min	»
Bearing on a great circle	13.5	0.2		2.1min	»
Asymptote C	29.0	0.1		1.7min	»
Asymptote B	0.0	0.0		59.6s	»
Asymptote A	14.9	0.4		18.0s	»
2-ancestry mixing, zero discriminant	15.6	0.9		22.7s	»
2-ancestry mixing, positive discriminant	35.7	31.1		2.4min	»
2-ancestry mixing, negative discriminant	1.0	0.0		1.3min	»
Quotient of sum of exps	0.8	0.6	0.0	23.9s	»
Quotient of products	10.9	2.9	11.2	2.5min	»
Logistic regression 2	0.6	0.6	0.1	1.2min	»
Hyperbolic arcsine	53.0	0.2	45.5	1.3min	»
Harley's example				10.0min	»
Exp of sum of logs	5.7	0	0	9.8s	»
(- (/ x0 (- 1 x1)) x0)	8.4	4.5	0.5	1.8min	»