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

Details

analyze3.2min (50.0%)

Algorithm
78×search
sampling

Space saved by range analysis: 29.513862%

Space saved by search: 44.015172%

Guaranteed chance to sample good point: 75.688672%

sample1.9min (29.8%)

Algorithm
78×intervals
Results
44.2s43603×body1280valid
14.8s2198×body5120exit
14.4s29947×body640valid
7.9s174582×body80valid
6.1s27498×body320valid
4.2s36012×body160valid
3.3s1308×body1280overflowed
2.7s109945×pre80true
1.9s10218×body80overflowed
1.4s1020×body640overflowed
983.0ms2960×body2560valid
630.0ms3148×body2560nan
475.0ms621×body320overflowed
418.0ms2635×body1280nan
283.0ms5411×body80nan
277.0ms4453×body80invalid
223.0ms481×body640invalid
200.0ms294×body1280invalid
171.0ms1324×body640nan
105.0ms259×body160overflowed
90.0ms228×body5120valid
71.0ms225×body320invalid
65.0ms675×body320nan
22.0ms302×body160nan
22.0ms103×body160invalid
1.0ms55×pre80false

prune29.6s (7.8%)

Filtered
16325 candidates to 10429 candidates (36.1%)

regimes15.4s (4.1%)

Accuracy

Total 19.5b remaining (16.1%)

Threshold costs 7.9b (6.5%)

3.7b72.3%Equirectangular approximation to distance on a great circle
3.1b88.1%Cubic critical
2.7b73%Quotient of products
1.1b0%2-ancestry mixing, zero discriminant
1.0b95.8%Quadratic roots, full range

simplify14.7s (3.9%)

Algorithm
221×egg-herbie

series9.1s (2.4%)

Calls

499 calls:

213.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))
187.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)))
143.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
142.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))
141.0ms
(sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0)))) (* (- phi1 phi2) (- phi1 phi2))))

rewrite5.2s (1.4%)

Algorithm
143×rewrite-expression-head
Calls

499 calls:

90.0ms
(- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))
75.0ms
(log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))))
60.0ms
(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))
60.0ms
(* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a))
52.0ms
(* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3)))
Rules
5734×*-un-lft-identity
5469×add-sqr-sqrt
5245×times-frac
3339×add-cube-cbrt
2899×add-exp-log
1858×add-cbrt-cube
1296×pow1
1281×associate-*r*
1105×sqrt-prod
998×flip--
997×flip3--
961×prod-exp
905×associate-*l/
893×div-exp
822×add-log-exp
785×difference-of-squares
709×associate-*l*
691×frac-times
671×distribute-lft-out--
647×associate-/l*
642×unpow-prod-down
581×sqrt-div
532×frac-add
515×associate-/r*
477×distribute-lft-out
456×associate-*r/
447×cbrt-unprod
438×cbrt-undiv
433×cbrt-prod
388×cube-prod
382×pow-exp
342×associate-/r/
289×div-inv
279×pow-to-exp
268×pow-prod-down
256×unswap-sqr
250×distribute-rgt-neg-in
235×flip-+
234×flip3-+
212×sqr-pow
201×log-prod
179×swap-sqr
127×associate-/l/
119×clear-num frac-2neg
117×*-commutative
112×sub-neg
108×pow-prod-up
100×cbrt-div
99×diff-log
97×log-div
82×cos-mult
76×sum-log pow-sqr exp-prod
74×log-pow
71×exp-diff
62×cube-mult unpow3
59×frac-sub
58×pow1/3
57×distribute-lft-neg-in
56×sqrt-pow1 pow-plus pow1/2
52×unpow2
47×+-commutative
44×pow2 distribute-rgt-in distribute-lft-in
42×div-sub
38×1-exp
36×pow-unpow
33×rem-sqrt-square
29×neg-sub0
28×associate-+r+ rec-exp
27×distribute-rgt-out associate--l+
26×tan-quot
20×rem-log-exp pow-pow sin-mult
19×neg-mul-1
18×neg-log associate-+l-
16×cube-div sin-diff
15×un-div-inv
14×associate--l- exp-sum associate-+l+ rem-cube-cbrt
13×cos-diff cos-sum
11×sin-cos-mult
10×acos-asin
8×rem-cbrt-cube associate--r+ rem-exp-log
7×associate-+r- sin-sum distribute-frac-neg pow-flip
5×distribute-lft1-in
4×inv-pow asin-acos
3×acos-neg sqrt-unprod associate--r-
2×difference-cubes rem-square-sqrt exp-to-pow distribute-rgt-neg-out
1×tanh-undef sqr-cos unsub-neg tanh-def pow-sub

localize2.3s (0.6%)

bsearch392.0ms (0.1%)

end2.0ms (0.0%)

Profiling

Loading profile data...