Date:Wednesday, June 10th, 2020
Commit:fef9ff97 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.5min (81.6%)

Algorithm
78×intervals
Results
44.9s43408×body1280valid
14.9s30332×body640valid
11.8s1754×body5120exit
8.4s174292×body80valid
6.2s27190×body320valid
4.5s36117×body160valid
2.8s106799×pre80true
2.7s1039×body1280overflowed
2.1s21834×body80overflowed
1.2s882×body640overflowed
1.0s2996×body2560valid
648.0ms3187×body2560nan
433.0ms2612×body1280nan
352.0ms436×body320overflowed
309.0ms5410×body80nan
302.0ms4636×body80invalid
222.0ms489×body640invalid
204.0ms297×body1280invalid
173.0ms1308×body640nan
105.0ms246×body5120valid
94.0ms212×body160overflowed
79.0ms231×body320invalid
67.0ms671×body320nan
26.0ms117×body160invalid
24.0ms345×body160nan
2.0ms121×pre80false
sampling

Space saved by range analysis: 29.432013%

Space saved by search: 41.559079%

Guaranteed chance to sample good point: 72.207051%

prune29.0s (7.1%)

Filtered
15400 candidates to 9776 candidates (36.5%)

regimes16.3s (4.0%)

Accuracy

Total 22.6b remaining (19%)

Threshold costs 7.6b (6.4%)

5.5b49.3%Quotient of products
4.7b83.4%Quadratic roots, full range
3.8b73.6%Equirectangular approximation to distance on a great circle
1.0b0%2-ancestry mixing, zero discriminant
0.8b0%(- (/ x0 (- 1 x1)) x0)

simplify13.2s (3.2%)

Algorithm
218×egg-herbie

series8.6s (2.1%)

Calls

479 calls:

193.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)))
149.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
149.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
148.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
147.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (* (* (cbrt (cos (/ (+ phi1 phi2) 2.0))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))) (cbrt (cos (/ (+ phi1 phi2) 2.0)))))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite4.8s (1.2%)

Algorithm
140×rewrite-expression-head
Calls

479 calls:

75.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
74.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
54.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
53.0ms
(- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3))
52.0ms
(- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3))
Rules
6357×*-un-lft-identity
5840×times-frac
5112×add-sqr-sqrt
3296×add-cube-cbrt
2583×add-exp-log
1728×add-cbrt-cube
1199×sqrt-prod
1138×associate-*r*
1116×associate-*l/
1052×pow1
1033×flip--
1032×flip3--
898×prod-exp
804×distribute-lft-out
795×add-log-exp
786×frac-times
711×div-exp
694×difference-of-squares
639×associate-*r/
637×distribute-lft-out--
559×associate-/l*
558×unpow-prod-down
536×sqrt-div
519×associate-*l*
489×frac-add
483×associate-/r*
448×cbrt-unprod
361×cbrt-undiv
308×pow-exp
306×cube-prod
296×flip-+
295×flip3-+
290×cbrt-prod
285×div-inv
260×associate-/r/
225×unswap-sqr
224×pow-to-exp
218×pow-prod-down
209×frac-sub
205×swap-sqr
187×sqr-pow
184×associate-/l/
178×distribute-rgt-neg-in
137×sub-neg
117×*-commutative
102×log-prod
101×diff-log
99×clear-num frac-2neg
72×unpow2
67×sum-log
65×distribute-rgt-in distribute-lft-in
51×cube-mult unpow3
49×pow1/3
48×sqrt-pow1
44×+-commutative log-pow exp-prod
42×pow1/2 div-sub
40×rem-sqrt-square
33×neg-sub0 log-div cbrt-div 1-exp
32×tan-quot
31×rec-exp
29×associate-+r+ pow-sqr pow-prod-up
28×pow-unpow
24×distribute-lft-neg-in neg-log
22×sin-mult
21×pow-plus
19×sin-sum sin-diff
18×cube-div pow2
17×acos-asin associate--l+
16×associate-+l-
15×associate--l- associate--r+
13×associate-+l+
12×rem-log-exp cos-diff distribute-rgt-out sin-cos-mult pow-pow
11×exp-sum cos-sum associate--r- exp-diff
10×associate-+r- distribute-frac-neg
9×rem-cube-cbrt
8×neg-mul-1
7×cos-mult
6×pow-flip pow-sub rem-exp-log
5×acos-neg
4×inv-pow rem-cbrt-cube
3×unpow-prod-up un-div-inv distribute-rgt-neg-out distribute-rgt-out--
2×difference-cubes distribute-lft1-in asin-acos
1×tanh-undef e-exp-1 exp-to-pow sqrt-unprod sub-div unsub-neg

localize2.4s (0.6%)

bsearch366.0ms (0.1%)

end1.0ms (0.0%)

Profiling

Loading profile data...