Date:Wednesday, June 10th, 2020
Commit:7420be86 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample4.8min (80.8%)

Algorithm
78×intervals
Results
43.8s43329×body1280valid
14.2s30347×body640valid
11.6s1754×body5120exit
8.2s174441×body80valid
6.5s27126×body320valid
4.2s36170×body160valid
2.9s118695×pre80true
2.6s1039×body1280overflowed
2.0s21780×body80overflowed
1.2s882×body640overflowed
1.1s28171×body80invalid
954.0ms2934×body2560valid
588.0ms3150×body2560nan
402.0ms2596×body1280nan
333.0ms436×body320overflowed
287.0ms5340×body80nan
233.0ms335×body1280invalid
231.0ms476×body640invalid
159.0ms1301×body640nan
98.0ms234×body5120valid
90.0ms212×body160overflowed
81.0ms249×body320invalid
62.0ms655×body320nan
22.0ms101×body160invalid
20.0ms316×body160nan
1.0ms66×pre80false
sampling

Space saved by range analysis: 29.432013%

Space saved by search: 39.305239%

Guaranteed chance to sample good point: 77.951225%

prune25.5s (7.1%)

Filtered
15557 candidates to 9904 candidates (36.3%)

regimes15.1s (4.2%)

Accuracy

Total 21.8b remaining (18.4%)

Threshold costs 7.5b (6.3%)

5.1b82.1%Quadratic roots, full range
3.6b74.4%Equirectangular approximation to distance on a great circle
3.1b72%Quotient of products
1.5b0%2-ancestry mixing, positive discriminant
1.0b0%2-ancestry mixing, zero discriminant

simplify13.3s (3.7%)

Algorithm
221×egg-herbie

series7.9s (2.2%)

Calls

486 calls:

518.0ms
(sqrt (+ (/ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (+ (cos (+ (/ (+ phi1 phi2) 2.0) (/ (+ phi1 phi2) 2.0))) (cos (- (/ (+ phi1 phi2) 2.0) (/ (+ phi1 phi2) 2.0))))) 2) (* (- phi1 phi2) (- phi1 phi2))))
170.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
134.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
132.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
62.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (+ (neg g) (sqrt (- (* g g) (* h h))))))

rewrite4.9s (1.4%)

Algorithm
143×rewrite-expression-head
Calls

486 calls:

202.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
79.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
78.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
78.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
56.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
6169×times-frac
5647×add-sqr-sqrt
5594×*-un-lft-identity
3606×add-cube-cbrt
2597×add-exp-log
1698×add-cbrt-cube
1541×sqrt-prod
1056×pow1
954×associate-*r*
858×prod-exp
834×add-log-exp
776×difference-of-squares
752×div-exp
661×associate-/l*
629×flip--
628×flip3--
625×associate-/r*
608×distribute-lft-out--
592×unpow-prod-down
430×frac-times
408×cbrt-unprod
407×associate-*l*
395×associate-*l/
374×distribute-lft-out
367×cbrt-undiv
323×div-inv
314×sqrt-div
310×pow-exp
292×cbrt-prod
285×cube-prod
274×associate-/r/
266×associate-*r/
250×frac-add
226×pow-to-exp
222×distribute-rgt-neg-in
221×pow-prod-down
220×flip-+
219×flip3-+
212×sqr-pow
203×unswap-sqr
151×log-prod
124×sub-neg
114×clear-num frac-2neg
108×*-commutative
105×diff-log
101×associate-/l/
93×unpow2
89×swap-sqr
88×cos-mult
82×exp-prod
78×sum-log
73×log-pow
52×distribute-rgt-in distribute-lft-in
51×distribute-lft-neg-in +-commutative cube-mult unpow3
50×pow1/3
49×log-div
42×1-exp
40×div-sub rec-exp
39×neg-sub0
38×sqrt-pow1 pow1/2
33×frac-sub
32×rem-sqrt-square tan-quot
31×pow-prod-up
29×pow-sqr
28×cbrt-div neg-log
26×associate-+r+
22×pow-plus associate-+l- sin-mult
20×exp-sum associate--l+
19×associate--l- rem-log-exp pow-unpow sin-sum sin-diff
17×pow2 acos-asin neg-mul-1
15×cos-sum associate--r+
13×cos-diff exp-diff
12×associate-+r- distribute-rgt-out sin-cos-mult
11×associate-+l+ associate--r- distribute-frac-neg rem-exp-log
10×pow-flip
9×pow-pow
8×inv-pow
6×pow-sub rem-cube-cbrt
5×cube-div acos-neg un-div-inv
3×unpow-prod-up distribute-rgt-neg-out distribute-rgt-out--
2×difference-cubes sqr-cos distribute-lft1-in count-2 asin-acos rem-cbrt-cube cos-2 sum-cos
1×tanh-undef e-exp-1 exp-to-pow sqrt-unprod sub-div unsub-neg tanh-def

localize2.1s (0.6%)

bsearch248.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...