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

analyze7.2min (38.4%)

Algorithm
499×search
sampling

Space saved by range analysis: 0.340141%

Space saved by search: 16.648397%

Guaranteed chance to sample good point: 79.007228%

series3.3min (17.6%)

Calls

2577 calls:

2.1s
(pow (exp (* (cbrt (log (+ (* x y) 1.0))) (cbrt (log (+ (* x y) 1.0))))) (cbrt (log (+ (* x y) 1.0))))
1.8s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
1.7s
(/ (+ (pow (* c i) 3) (pow (+ (+ (* x y) (* z t)) (* a b)) 3)) (+ (pow (+ (+ (* x y) (* z t)) (* a b)) 2) (* (* c i) (- (* c i) (+ (+ (* x y) (* z t)) (* a b))))))
378.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
325.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

sample2.6min (13.7%)

Algorithm
499×intervals
Results
58.7s1799726×body80valid
16.2s34239×body1280valid
10.3s34399×body640valid
6.3s120956×body80invalid
4.2s5536×body2560valid
3.6s17826×body320valid
3.3s46757×body80nan
1.9s6581×body1280invalid
1.2s6247×body640invalid
1.2s9357×body160valid
499.0ms3502×body320invalid
195.0ms2123×body160invalid
102.0ms37×body5120valid
6.0ms33×body1280nan
5.0ms28×body640nan
2.0ms21×body320nan
1.0ms11×body160nan
1.0ms14×body80overflowed

prune2.1min (11.2%)

Filtered
87136 candidates to 56486 candidates (35.2%)

regimes1.7min (9.3%)

Accuracy

Total 73.6b remaining (24.6%)

Threshold costs 25.7b (8.6%)

9.9b55.3%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
4.4b0%Codec.Picture.Jpg.FastDct:referenceDct from JuicyPixels-3.2.6.1
3.6b33.2%Diagrams.Solve.Tridiagonal:solveCyclicTriDiagonal from diagrams-solve-0.1, A
3.4b-9.9%Statistics.Distribution.Beta:$cvariance from math-functions-0.1.5.2
3.2b0%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, A

simplify1.2min (6.7%)

Algorithm
1403×egg-herbie

rewrite24.9s (2.2%)

Algorithm
905×rewrite-expression-head
Calls

2579 calls:

198.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
196.0ms
(* (cbrt 3.0) (+ 1.0 (* x (- (* x 3.0) 4.0))))
190.0ms
(* 3.0 (- 2.0 (* x 3.0)))
111.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
88.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ 1 (/ (sqrt x) (/ y 3.0))))
Rules
37939×times-frac
35540×*-un-lft-identity
33738×add-sqr-sqrt
23210×add-cube-cbrt
11170×add-exp-log
8865×add-cbrt-cube
7017×pow1
6731×associate-*r*
5269×cbrt-prod
5137×sqrt-prod
4203×associate-*l*
4032×add-log-exp
3561×distribute-lft-out--
3559×cbrt-div
3557×difference-of-squares
3513×associate-/r*
3141×prod-exp
2849×distribute-lft-out
2810×flip-- flip3--
2613×cbrt-unprod
2570×associate-*r/
2505×div-exp
2309×frac-times
2226×associate-/l*
2052×associate-*l/
2021×pow-prod-down
2019×div-inv
1952×associate-/r/
1799×flip-+ flip3-+
1756×cbrt-undiv
1696×log-prod
1418×unswap-sqr
1391×distribute-rgt-in distribute-lft-in
1283×unpow-prod-down
941×pow1/3
860×swap-sqr
854×sqrt-div
827×*-commutative
706×sub-neg
583×associate-/l/
543×sum-log
534×sqrt-pow1
533×clear-num frac-2neg
440×cube-prod
432×associate-+l+
402×frac-add
394×associate--l+
377×associate-+r+
367×log-pow
340×exp-prod
337×pow-prod-up
310×+-commutative
301×frac-sub
298×1-exp
296×rec-exp
279×diff-log
276×pow1/2
271×pow-sqr
247×sqr-pow
140×distribute-neg-frac
134×pow-exp
127×pow-plus
125×exp-sum div-sub
119×pow-unpow
107×pow2
95×pow-to-exp
90×rem-sqrt-square
76×log-div
73×pow-flip
72×unpow2
70×cube-div inv-pow
69×rem-log-exp
64×associate--r+
57×cube-mult unpow3
54×pow-pow tanh-def
47×distribute-lft-neg-out
45×log-rec
44×associate-+l-
40×associate-+r-
39×un-div-inv
38×distribute-rgt-neg-out
33×sinh-def
32×exp-diff
30×unsub-neg
28×distribute-lft-neg-in distribute-rgt-neg-in
26×rem-cube-cbrt
25×distribute-rgt-out--
23×cosh-def
21×distribute-rgt-out sum-cubes
18×sqrt-unprod rem-exp-log
17×rem-square-sqrt
16×rem-cbrt-cube
12×distribute-neg-out
11×neg-mul-1 sub-div
10×associate--r-
9×unpow1/3
8×neg-sub0 difference-cubes
7×diff-cos
6×associate--l- distribute-neg-in distribute-lft1-in distribute-rgt1-in
5×count-2
4×neg-log pow3
3×cos-diff sqrt-pow2
2×cos-sum sqrt-undiv exp-to-pow tan-quot sqr-sin pow-div
1×unpow-prod-up e-exp-1 sin-cos-mult sin-mult

localize9.6s (0.9%)

bsearch56.0ms (0.0%)

end10.0ms (0.0%)

Profiling

Loading profile data...