Time: 57.5m
Passed: 25/30
Tests: 39
Bits: 687/808
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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.142.3s»
a parameter of renormalized beta distribution0.20.216.1s»
Trigonometry B0.30.417.8s»
Trigonometry A0.10.115.2s»
Spherical law of cosines16.83.849.0s»
Quadratic roots, wide range52.60.221.1s»
Quadratic roots, narrow range28.50.332.0s»
Quadratic roots, medium range43.70.220.2s»
Quadratic roots, full range33.26.723.5s»
Midpoint on a great circle007.6m»
Logistic function from Lakshay Garg29.50.010.5s»
Hyperbolic tangent58.30.014.1s»
Hyperbolic sine58.20.614.9s»
Hyperbolic secant0.00.02.2s»
Hyperbolic arc-cosine30.90.311.8s»
Hyperbolic arc-(co)tangent58.70.216.5s»
Hyperbolic arc-(co)secant0.00.09.2s»
Equirectangular approximation to distance on a great circle37.032.83.0m»
Eccentricity of an ellipse29.77.56.2s»
Distance on a great circle7.7m»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.60.125.3s»
Cubic critical, narrow range28.50.319.3s»
Cubic critical, medium range43.20.220.9s»
Cubic critical33.523.613.3s»
Bearing on a great circle8.7m»
Asymptote C28.80.127.3s»
Asymptote B0.00.010.2s»
Asymptote A14.40.314.4s»
2-ancestry mixing, zero discriminant15.40.911.1s»
2-ancestry mixing, positive discriminant34.430.852.6s»
2-ancestry mixing, negative discriminant1.00.010.1s»
Quotient of sum of exps0.70.60.08.0s»
Quotient of products10.95.411.27.2s»
Logistic regression 20.60.60.129.3s»
Hyperbolic arcsine52.40.244.918.3s»
Harley's example10.0m»
Exp of sum of logs5.7004.5s»
(- (/ x0 (- 1 x1)) x0)8.45.10.534.5s»

Details

sample12.3m

Algorithm
2×sampled
70×intervals

simplify8.6m

Calls

5155 calls:

Slowest
2.3s
(/ (* (* (* 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)))))))
2.2s
(/ (* (* (* 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.8s
(/ (* (* (* 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.8s
(/ (* (* (* 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.3s
(/ 1/3 (- (* b b) (* (sqrt (+ (* b b) (* -3 (* c a)))) (sqrt (+ (* b b) (* -3 (* c a)))))))

prune1.9m

series27.9s

Calls

434 calls:

Slowest
559.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)))
553.0ms
(pow (exp 1/2) (log (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))))
483.0ms
(/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x))))
479.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))
439.0ms
(/ (+ (* 1 m) (* (- m) m)) v)

regimes10.7s

Accuracy

Total 29.5b remaining (24.2%)

16.0b20.8%Equirectangular approximation to distance on a great circle
5.4b50.3%Quotient of products
1.2b94.9%Quadratic roots, full range
1.2b60.3%2-ancestry mixing, positive discriminant
1.2b89.4%Cubic critical

rewrite3.5s

Algorithm
125×rewrite-expression-head
Calls

434 calls:

Slowest
81.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cbrt (* (* (cos (/ (+ phi1 phi2) 2)) (cos (/ (+ phi1 phi2) 2))) (cos (/ (+ phi1 phi2) 2)))))) (* (- phi1 phi2) (- phi1 phi2))))
52.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
49.0ms
(* (- (/ (+ (* 1 m) (* (- m) m)) v) 1) m)
47.0ms
(/ (- (sqrt (- (* b b) (* (* c a) 4))) b) (* 2 a))
45.0ms
(* (- (sqrt (- (* b b) (* (* c a) 4))) b) (/ 1 (* 2 a)))
Rules
1217×add-exp-log
1078×*-un-lft-identity
1060×add-sqr-sqrt
991×associate-*l/
912×flip--
911×flip3--
906×add-cube-cbrt
673×add-cbrt-cube
664×pow1
630×frac-times
574×add-log-exp
483×frac-add
452×sqrt-div
400×associate-*r/
398×prod-exp
371×times-frac
283×associate-*r*
282×pow-exp
268×log-div
239×associate-/r*
227×div-exp
211×associate-/r/
205×flip-+
204×flip3-+
201×pow-to-exp
199×div-inv
175×associate-*l*
162×log-prod
148×associate-/l*
118×sqrt-prod
117×cbrt-div
113×sub-neg
110×rec-exp
103×*-commutative
96×frac-2neg
96×clear-num
87×cbrt-prod
79×cos-mult
76×exp-diff
73×cbrt-unprod
69×pow-prod-down
68×unpow-prod-down
66×pow-sub
64×difference-of-squares
58×cbrt-undiv
58×associate-/l/
53×distribute-lft-out--
53×log-pow
51×diff-log
47×distribute-rgt-in
47×distribute-lft-in
44×+-commutative
41×distribute-lft-out
34×exp-prod
32×pow1/2
31×frac-sub
29×cube-prod
28×rem-log-exp
27×pow-flip
26×inv-pow
25×associate--l+
24×sum-log
24×div-sub
23×pow1/3
23×rem-sqrt-square
20×associate-+r+
20×pow-prod-up
20×tan-quot
19×distribute-rgt-out--
19×pow-pow
15×associate-+l+
15×difference-of-sqr-1
15×associate--r+
14×associate--l-
13×exp-sum
13×pow2
12×neg-sub0
12×un-div-inv
11×pow-plus
11×cos-sum
11×associate-+l-
11×cos-diff
11×associate--r-
10×unpow3
10×cube-mult
9×unpow2
8×distribute-lft-neg-out
8×acos-asin
7×difference-cubes
7×exp-neg
6×sin-sum
6×sin-mult
5×unsub-neg
4×rem-cube-cbrt
4×log-rec
4×neg-mul-1
4×pow-unpow
4×rem-exp-log
4×distribute-rgt-out
3×unpow-prod-up
3×distribute-frac-neg
3×pow3
3×acos-neg
3×rem-cbrt-cube
2×associate-+r-
2×sin-PI/3
2×cube-div
1×sin-cos-mult
1×tanh-undef
1×tanh-def
1×asin-acos
1×sub-div
1×sin-diff
1×distribute-rgt1-in

bsearch3.3s

localize2.8s

end1.0ms