Date:Wednesday, June 10th, 2020
Commit:ecc7ec01 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

sample5.0min (80.9%)

Algorithm
78×intervals
Results
45.4s43664×body1280valid
15.1s30823×body640valid
11.7s1754×body5120exit
9.9s202612×body80valid
6.4s27375×body320valid
4.7s36271×body160valid
2.9s118695×pre80true
2.7s1039×body1280overflowed
2.0s21780×body80overflowed
1.2s882×body640overflowed
1.0s2934×body2560valid
629.0ms3150×body2560nan
423.0ms2596×body1280nan
336.0ms436×body320overflowed
302.0ms5340×body80nan
173.0ms1301×body640nan
110.0ms234×body5120valid
88.0ms212×body160overflowed
65.0ms655×body320nan
22.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%

prune26.1s (7.0%)

Filtered
15553 candidates to 9900 candidates (36.3%)

regimes15.7s (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.6s (3.7%)

Algorithm
221×egg-herbie

series8.1s (2.2%)

Calls

486 calls:

537.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))))
172.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)))
136.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
135.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (- lambda1 lambda2)) (* (cos (/ (+ phi1 phi2) 2.0)) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
67.0ms
(cbrt (* (/ 1.0 (* 2.0 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))

rewrite5.0s (1.4%)

Algorithm
143×rewrite-expression-head
Calls

486 calls:

216.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
87.0ms
(- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3)))
72.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
70.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
57.0ms
(- (/ (neg 1.0) (pow x 2)) (/ 3.0 x))
Rules
6171×times-frac
5643×add-sqr-sqrt
5606×*-un-lft-identity
3606×add-cube-cbrt
2597×add-exp-log
1698×add-cbrt-cube
1541×sqrt-prod
1056×pow1
951×associate-*r*
858×prod-exp
834×add-log-exp
774×difference-of-squares
752×div-exp
662×associate-/l*
628×flip--
627×flip3--
625×associate-/r*
606×distribute-lft-out--
592×unpow-prod-down
426×frac-times
408×cbrt-unprod
406×associate-*l*
391×associate-*l/
382×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
218×flip-+
217×flip3-+
212×sqr-pow
203×unswap-sqr
151×log-prod
124×sub-neg
114×clear-num frac-2neg
108×*-commutative
105×diff-log
103×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
32×rem-sqrt-square tan-quot
31×pow-prod-up
29×frac-sub 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.2s (0.6%)

bsearch256.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...