Time: 12.5m
Passed: 10/34
Crashes: 24
Tests: 39
Bits: 306/309
Date:Tuesday, November 19th, 2019
Commit:9e6c9d77 on fix-interface-bugs
Hostname:warfa with Racket 7.2
Seed:2019323
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
b parameter of renormalized beta distribution0.10.120.9s»
a parameter of renormalized beta distribution0.20.223.4s»
Trigonometry B13.5s»
Trigonometry A0.10.317.5s»
Spherical law of cosines27.2s»
Quadratic roots, wide range52.30.222.0s»
Quadratic roots, narrow range8.9s»
Quadratic roots, medium range43.60.421.8s»
Quadratic roots, full range15.0s»
Midpoint on a great circle14.2s»
Logistic function from Lakshay Garg17.7s»
Hyperbolic tangent58.20.027.1s»
Hyperbolic sine15.8s»
Hyperbolic secant15.9s»
Hyperbolic arc-cosine32.10.28.3s»
Hyperbolic arc-(co)tangent58.60.618.1s»
Hyperbolic arc-(co)secant7.4s»
Equirectangular approximation to distance on a great circle20.2s»
Eccentricity of an ellipse14.20.020.2s»
Distance on a great circle31.0s»
Destination given bearing on a great circle0.20.245.6s»
Cubic critical, wide range7.5s»
Cubic critical, narrow range28.40.552.6s»
Cubic critical, medium range8.0s»
Cubic critical18.5s»
Bearing on a great circle22.5s»
Asymptote C21.2s»
Asymptote B0.00.07.6s»
Asymptote A14.70.115.6s»
2-ancestry mixing, zero discriminant18.2s»
2-ancestry mixing, positive discriminant29.3s»
2-ancestry mixing, negative discriminant17.0s»
Quotient of sum of exps11.3s»
Quotient of products10.1s»
Logistic regression 20.50.50.115.6s»
Hyperbolic arcsine12.5s»
Harley's example1.0m»
Exp of sum of logs5.7003.9s»
(- (/ x0 (- 1 x1)) x0)9.1s»