Time: 1.0hr
Passed: 25/30
Tests: 39
Bits: 722/808
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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.127.0s»
a parameter of renormalized beta distribution0.20.221.4s»
Trigonometry B0.30.419.7s»
Trigonometry A0.10.127.9s»
Spherical law of cosines17.03.745.8s»
Quadratic roots, wide range52.50.124.5s»
Quadratic roots, narrow range28.50.31.6m»
Quadratic roots, medium range43.50.218.3s»
Quadratic roots, full range33.213.417.9s»
Midpoint on a great circle008.1m»
Logistic function from Lakshay Garg29.20.07.9s»
Hyperbolic tangent57.90.017.0s»
Hyperbolic sine57.80.68.7s»
Hyperbolic secant0.00.017.7s»
Hyperbolic arc-cosine30.80.213.5s»
Hyperbolic arc-(co)tangent58.30.012.1s»
Hyperbolic arc-(co)secant0.10.19.1s»
Equirectangular approximation to distance on a great circle37.03.921.5s»
Eccentricity of an ellipse30.07.522.5s»
Distance on a great circle7.9m»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.70.120.6s»
Cubic critical, narrow range28.50.441.4s»
Cubic critical, medium range44.00.228.7s»
Cubic critical33.911.220.1s»
Bearing on a great circle9.0m»
Asymptote C29.40.22.5m»
Asymptote B0.00.026.8s»
Asymptote A14.20.334.7s»
2-ancestry mixing, zero discriminant15.20.810.8s»
2-ancestry mixing, positive discriminant34.630.455.2s»
2-ancestry mixing, negative discriminant1.01.015.3s»
Quotient of sum of exps0.70.70.027.5s»
Quotient of products10.85.211.07.7s»
Logistic regression 20.50.50.034.6s»
Hyperbolic arcsine52.40.144.816.3s»
Harley's example10.0m»
Exp of sum of logs5.7004.6s»
(- (/ x0 (- 1 x1)) x0)8.44.60.55.0s»

Details

sample12.8m

Algorithm
2×sampled
70×intervals
Results
576806×(pre true 80)
190095×(body real 80)
176904×(body nan 80)
81206×(body exit 10240)
34950×(body real 1280)
31035×(body real 160)
25404×(body real 640)
22001×(body real 320)
8128×(body nan 160)
5702×(body real 2560)
1381×(body real 5120)
4×presampled

simplify9.9m

Calls

6049 calls:

Slowest
2.2s
(+ (fma (- 1 m) (/ m v) -1) (fma (/ m v) (* m (+ -1 m)) m))
2.0s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (* 3 a)) (* 3 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))
1.6s
(/ (* (* (* 3 (* c a)) (* 3 (* c a))) (* 3 (* c a))) (* (* (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c))))) (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))) (* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))))
1.5s
(/ (/ (* (* (* 4 (* c a)) (* 4 (* c a))) (* 4 (* c a))) (* (* (* 2 a) (* 2 a)) (* 2 a))) (* (* (- (- b) (sqrt (fma (* a -4) c (* b b)))) (- (- b) (sqrt (fma (* a -4) c (* b b))))) (- (- b) (sqrt (fma (* a -4) c (* b b))))))
1.4s
(fma (- (+ x 1)) (/ 1 (- (* x x) (* 1 1))) (* (+ x 1) (/ 1 (- (* x x) (* 1 1)))))

prune2.0m

series29.1s

Calls

433 calls:

Slowest
494.0ms
(/ (* (pow (/ 1 (+ 1 (exp (- s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (- t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (- t))))) c_n)))
356.0ms
(hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2))
352.0ms
(cbrt (* 2 a))
343.0ms
(* (hypot (* (- lambda1 lambda2) (cos (/ (+ phi2 phi1) 2))) (- phi1 phi2)) R)
340.0ms
(fma c_n (- (log1p (/ -1 (+ (exp (- s)) 1))) (log1p (/ -1 (+ (exp (- t)) 1)))) (* (- (log1p (exp (- t))) (log1p (exp (- s)))) c_p))

regimes10.4s

Accuracy

Total 17.3b remaining (20%)

5.4b80.7%Cubic critical
5.2b53%Quotient of products
1.6b57.2%2-ancestry mixing, positive discriminant
0.8b95.3%Quadratic roots, full range
0.8b0%2-ancestry mixing, zero discriminant

localize3.5s

bsearch3.1s

rewrite2.3s

Algorithm
129×rewrite-expression-head
Calls

433 calls:

Slowest
40.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
34.0ms
(* (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1)))) (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1)))))
34.0ms
(/ (+ (- b) (sqrt (- (* b b) (* (* 3 a) c)))) (* 3 a))
32.0ms
(* (* 3 a) (- (- b) (sqrt (- (* b b) (* (* 3 a) c)))))
30.0ms
(* (* 2 a) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))
Rules
1631×*-un-lft-identity
1630×add-sqr-sqrt
1455×add-cube-cbrt
1170×add-exp-log
719×times-frac
660×add-cbrt-cube
649×pow1
624×prod-diff
534×add-log-exp
478×sqrt-prod
439×expm1-log1p-u
435×log1p-expm1-u
374×prod-exp
315×associate-/r/
274×div-inv
273×pow-exp
266×associate-*r*
246×associate-/r*
233×div-exp
221×flip--
220×flip3--
192×pow-to-exp
180×associate-*l*
178×associate-/l*
170×flip-+
169×flip3-+
156×fma-neg
149×cbrt-prod
135×fma-def
116×cbrt-div
109×frac-times
104×associate-*r/
98×rec-exp
91×frac-2neg
91×clear-num
89×distribute-rgt-in
89×distribute-lft-in
81×log-prod
80×difference-of-squares
79×unpow-prod-down
74×*-commutative
71×sub-neg
68×fma-udef
66×sqrt-div
65×cbrt-undiv
65×neg-mul-1
65×associate-*l/
61×cbrt-unprod
57×pow-prod-down
57×log-pow
56×distribute-lft-out
53×pow1/2
51×exp-prod
47×associate-/l/
42×pow1/3
41×distribute-lft-out--
41×diff-log
40×rem-sqrt-square
34×pow-prod-up
32×+-commutative
30×log-div
28×tan-quot
25×pow-flip
25×pow-plus
24×div-sub
22×pow2
21×log1p-udef
19×inv-pow
18×pow-pow
17×rem-log-exp
17×neg-sub0
17×frac-add
16×exp-sum
15×sum-log
15×frac-sub
13×cube-prod
11×associate-+l-
9×associate--r+
8×log1p-expm1
8×unpow3
8×cos-sum
8×cube-mult
6×sin-sum
6×acos-asin
6×associate--r-
5×associate--l+
5×difference-of-sqr-1
5×unpow2
5×cube-div
5×sin-mult
4×rem-cube-cbrt
4×associate-+r+
4×distribute-frac-neg
4×pow3
4×sqrt-unprod
4×associate--l-
4×rem-square-sqrt
4×rem-exp-log
3×expm1-log1p
3×expm1-udef
3×sqrt-undiv
3×hypot-udef
3×rem-cbrt-cube
3×expm1-def
2×associate-+l+
2×exp-diff
2×log1p-def
2×un-div-inv
2×acos-neg
2×cos-diff
1×tanh-undef
1×tanh-def
1×sum-cubes
1×pow-div
1×exp-to-pow
1×asin-acos
1×sin-diff

end2.0ms