Time: 50.6m
Passed: 25/30
Tests: 38
Bits: 689/828

Date:Wednesday, December 12th, 2018
Commit:ca584c14d81c8493ed94c7471d643288a3381169 on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018346
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
b parameter of renormalized beta distribution0.10.11.1m»
a parameter of renormalized beta distribution0.20.220.8s»
Trigonometry B0.30.435.4s»
Trigonometry A0.10.122.8s»
Spherical law of cosines10.0m»
Quadratic roots, wide range52.70.259.8s»
Quadratic roots, narrow range28.40.356.6s»
Quadratic roots, medium range43.30.259.4s»
Quadratic roots, full range33.86.542.3s»
Midpoint on a great circle0.90.231.9s»
Logistic function from Lakshay Garg28.70.013.2s»
Hyperbolic tangent58.10.026.4s»
Hyperbolic sine58.00.653.6s»
Hyperbolic secant0.00.020.8s»
Hyperbolic arc-cosine31.10.328.4s»
Hyperbolic arc-(co)tangent58.50.226.3s»
Hyperbolic arc-(co)secant0.10.239.1s»
Equirectangular approximation to distance on a great circle36.332.45.0m»
Eccentricity of an ellipse29.57.410.0s»
Distance on a great circle25.525.51.1m»
Destination given bearing on a great circle3.53.51.3m»
Cubic critical, wide range52.70.246.9s»
Cubic critical, narrow range28.80.437.5s»
Cubic critical, medium range44.00.243.8s»
Cubic critical33.615.228.6s»
Bearing on a great circle15.64.21.4m»
Asymptote C29.30.12.4m»
Asymptote B0.00.06.0s»
Asymptote A14.40.422.4s»
2-ancestry mixing, zero discriminant15.10.916.6s»
2-ancestry mixing, positive discriminant34.531.31.5m»
2-ancestry mixing, negative discriminant2.6m»
Quotient of sum of exps0.60.50.033.6s»
Quotient of products11.26.310.910.1s»
Logistic regression 20.40.40.016.9s»
Hyperbolic arcsine52.50.245.029.5s»
Harley's example10.0m»
Exp of sum of logs5.7004.6s»