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

analyze19.5min (39.6%)

Algorithm
950×search
3×random
sampling

Space saved by range analysis: 7.874555%

Space saved by search: 24.076572%

Guaranteed chance to sample good point: 77.812756%

sample11.0min (22.2%)

Algorithm
953×intervals
Results
2.3min3262506×body80valid
2.2min237471×body1280valid
1.2min15945×body5120exit
52.8s167607×body640valid
34.4s41790×body2560valid
30.2s306180×body80invalid
19.6s99535×body320valid
11.0s85633×body160valid
9.7s22115×body1280invalid
8.8s112194×body80nan
8.0s371961×pre80true
5.7s19604×body640invalid
5.6s11597×body1280nan
3.6s2005×body1280overflowed
3.5s1395×body2560invalid
3.5s754×body5120invalid
3.3s9361×body640nan
2.8s4160×body5120valid
2.8s16340×body80overflowed
2.1s10097×body320invalid
1.5s1404×body640overflowed
1.2s4884×body320nan
711.0ms5358×body160invalid
631.0ms3149×body2560nan
517.0ms822×body320overflowed
248.0ms1773×body160nan
118.0ms172×body2560overflowed
117.0ms349×body160overflowed
5.0ms155×pre80false

prune7.5min (15.2%)

Filtered
172674 candidates to 109696 candidates (36.5%)

series4.4min (8.9%)

Calls

4846 calls:

4.8s
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (* (/ 1.0 (- (* 1.0 1.0) (* (* 0.3275911 (fabs x)) (* 0.3275911 (fabs x))))) (- 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3))
2.2s
(pow (exp (* (cbrt (log (+ (* x y) 1.0))) (cbrt (log (+ (* x y) 1.0))))) (cbrt (log (+ (* x y) 1.0))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.9s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*))))))
1.9s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

regimes2.8min (5.7%)

Accuracy

Total 425.6b remaining (29.8%)

Threshold costs 60.9b (4.3%)

14.0b56.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.9b52.2%math.log10 on complex, real part
11.7b-5.7%Linear.Matrix:det44 from linear-1.19.1.3
11.6b53%math.log/1 on complex, real part
10.6b56.3%math.abs on complex

simplify2.7min (5.5%)

Algorithm
2559×egg-herbie

rewrite56.6s (1.9%)

Algorithm
1611×rewrite-expression-head
Calls

4848 calls:

4.9s
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (pow (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) 3) (pow (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))) 3))) (* x (+ (* (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))) (- (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))) (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))) (* (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))))))
2.3s
(- (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))) (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))))
231.0ms
(* (* (* (/ (pow t 3.0) (* l l)) (sin k)) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
202.0ms
(* (sqrt (sqrt (+ (* re re) (* im im)))) (sqrt (sqrt (+ (* re re) (* im im)))))
198.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ 1 (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))))))
Rules
76310×times-frac
69476×*-un-lft-identity
65583×add-sqr-sqrt
45502×add-exp-log
44948×add-cube-cbrt
22397×prod-exp
18464×add-cbrt-cube
14330×sqrt-prod
14217×pow1
12796×associate-*r*
11697×div-exp
10492×frac-times
9527×associate-*l/
9197×associate-*l*
8804×cbrt-prod
8153×flip--
8152×flip3--
7781×add-log-exp
7481×associate-*r/
6857×difference-of-squares
6450×pow-exp
6416×distribute-lft-out--
6275×distribute-lft-out
5959×associate-/r*
5829×cbrt-unprod
5756×flip-+
5755×flip3-+
4887×associate-/l*
4572×unpow-prod-down
4465×cbrt-div
3796×pow-prod-down
3680×div-inv
3645×associate-/r/
3642×cbrt-undiv
3249×pow-to-exp
2919×unswap-sqr
2654×frac-sub
2334×log-prod
2274×sqrt-div
1799×frac-add
1771×swap-sqr
1760×distribute-rgt-in distribute-lft-in
1593×log-pow
1485×cube-prod
1476×*-commutative
1383×sqr-pow
1302×pow1/3
1189×sub-neg
1153×associate-/l/
1150×sqrt-pow1
987×clear-num frac-2neg
960×sum-log
911×1-exp
909×exp-prod
897×rec-exp
683×diff-log
668×distribute-rgt-neg-in
664×pow-unpow
654×pow-prod-up
641×pow1/2
512×associate--l+
508×associate-+l+
504×+-commutative
498×pow-sqr
476×associate-+r+
363×unpow2
320×rem-sqrt-square
317×tan-quot
279×pow-plus
273×div-sub
264×log-div
242×distribute-lft-neg-in
228×pow2
212×cube-mult pow-pow unpow3
192×exp-sum
157×cube-div
151×exp-diff
144×distribute-neg-frac
130×pow-flip
126×rem-log-exp
122×associate--r+
108×cos-mult
97×inv-pow
88×neg-sub0
82×associate-+l-
76×rem-cube-cbrt
70×un-div-inv
64×associate-+r-
59×distribute-rgt-out
58×neg-mul-1
57×sin-mult
55×associate--l- tanh-def
53×neg-log
50×distribute-lft-neg-out
49×rem-exp-log
46×log-rec
43×rem-cbrt-cube
42×distribute-rgt-neg-out
41×unsub-neg
37×distribute-rgt-out--
35×sqrt-unprod sum-cubes
33×sinh-def
29×sub-div
28×cos-sum
26×rem-square-sqrt
23×difference-cubes cosh-def
21×associate--r-
20×cos-diff unpow-prod-up
18×pow-sub
16×sin-cos-mult sin-diff
15×distribute-lft1-in sin-sum
14×distribute-frac-neg
13×acos-asin
12×distribute-neg-in distribute-neg-out
11×exp-to-pow
10×pow-neg
9×unpow1/3
8×diff-cos distribute-rgt1-in
7×count-2 asin-acos
6×pow3 difference-of-sqr-1
5×sqrt-pow2
4×exp-neg tan-sum mul-1-neg pow-div
3×acos-neg sqrt-undiv
2×e-exp-1 sqr-sin exp-lft-sqr sub0-neg
1×tanh-undef sqr-cos quot-tan diff-sin mul0 diff-atan cube-unmult

localize20.6s (0.7%)

bsearch9.6s (0.3%)

end20.0ms (0.0%)

Profiling

Loading profile data...