Date:Thursday, June 11th, 2020
Commit:ff1367c2 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020163
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

sample56.9min (89.4%)

Algorithm
540×intervals
Results
1.2min2098545×body80valid
18.5s40497×body1280valid
12.1s41659×body640valid
10.5s191361×body80invalid
4.6s23083×body320valid
4.4s5627×body2560valid
4.0s55625×body80nan
2.2s6681×body1280invalid
1.7s11679×body160valid
1.4s6564×body640invalid
539.0ms3714×body320invalid
223.0ms2250×body160invalid
201.0ms1078×body640nan
182.0ms846×body1280nan
90.0ms30×body5120valid
81.0ms630×body320nan
31.0ms370×body160nan
31.0ms521×body80overflowed
sampling

Space saved by range analysis: 0%

Space saved by search: 15.764171%

Guaranteed chance to sample good point: 77.046423%

prune2.2min (3.4%)

Filtered
83677 candidates to 54743 candidates (34.6%)

regimes1.8min (2.8%)

Accuracy

Total 189.9b remaining (38.1%)

Threshold costs 26.5b (5.3%)

11.9b63%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.6b55.5%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
9.6b5.1%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.4b62.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.2b62.3%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

simplify1.2min (1.9%)

Algorithm
1426×egg-herbie

series54.4s (1.4%)

Calls

2537 calls:

1.8s
(pow (+ (+ (* x y) (* z t)) (* a b)) 3)
913.0ms
(exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b))))
884.0ms
(pow (exp (* (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))) (cbrt (- (+ (* y (log z)) (* (- t 1.0) (log a))) b)))
510.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))
501.0ms
(cbrt (* (- y x) (/ (- z t) (- a t))))

rewrite22.8s (0.6%)

Algorithm
886×rewrite-expression-head
Calls

2537 calls:

220.0ms
(* (/ (- x 2.0) (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606))) (/ (/ (+ (* (+ (* (+ (* (+ (* x 4.16438922228) 78.6994924154) x) 137.519416416) x) y) x) z) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))) (sqrt (sqrt (+ (* (+ (* (+ (* (+ x 43.3400022514) x) 263.505074721) x) 313.399215894) x) 47.066876606)))))
181.0ms
(- (/ (/ 1 (+ x y)) (/ 1 x)) (/ y (+ x y)))
176.0ms
(* (/ 1 y) (/ (/ (/ 1.0 x) (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
107.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
98.0ms
(+ (/ (/ 60.0 (- z t)) (/ 1 (- x y))) (* a 120.0))
Rules
32776×times-frac
32268×*-un-lft-identity
30775×add-sqr-sqrt
20885×add-cube-cbrt
11392×add-exp-log
8913×add-cbrt-cube
7365×associate-*r*
6835×pow1
6209×cbrt-prod
4163×associate-*l*
4079×sqrt-prod
3954×add-log-exp
3389×prod-exp
3142×distribute-lft-out--
3072×difference-of-squares
2932×cbrt-unprod
2895×associate-*r/
2833×distribute-lft-out
2814×cbrt-div
2800×associate-/r*
2576×flip-- flip3--
2559×div-exp
2347×associate-*l/
2229×frac-times
2102×associate-/l*
1955×pow-prod-down
1917×associate-/r/
1915×cbrt-undiv
1914×flip-+ flip3-+
1783×div-inv
1507×unswap-sqr
1463×log-prod
1434×sqrt-div
1322×unpow-prod-down
1263×distribute-rgt-in distribute-lft-in
1222×frac-sub
954×pow1/3
807×*-commutative
786×sqrt-pow1
773×swap-sqr
652×sub-neg
627×associate-/l/
545×cube-prod
528×sum-log
527×associate-+l+
488×clear-num frac-2neg
455×associate-+r+
438×log-pow
433×frac-add
378×associate--l+
377×pow1/2
358×pow-prod-up
325×+-commutative
308×sqr-pow
270×diff-log
265×1-exp exp-prod
264×rec-exp
243×pow-sqr
218×tanh-def
146×unpow2
136×pow-exp
116×rem-sqrt-square
113×pow-unpow
104×pow-plus
103×div-sub
92×cube-div pow2 pow-to-exp
79×distribute-lft-neg-in distribute-rgt-neg-in
70×pow-flip
65×inv-pow
60×pow-pow
59×log-div associate--r+
58×rem-log-exp
54×un-div-inv
46×cube-mult unpow3
45×exp-sum
39×associate-+l-
37×distribute-rgt-out distribute-rgt-neg-out
35×rem-cube-cbrt
29×sinh-def
26×associate-+r- sqrt-unprod
25×distribute-rgt-out--
22×distribute-lft-neg-out cosh-def
19×unsub-neg rem-cbrt-cube
17×log-rec rem-exp-log
16×rem-square-sqrt
12×associate--l- exp-diff
11×neg-mul-1
10×exp-to-pow sub-div distribute-rgt1-in
9×associate--r-
8×cos-diff cos-sum
7×difference-cubes
5×distribute-lft1-in count-2 tan-quot
4×unpow1/3 cos-mult distribute-neg-out distribute-neg-frac
3×diff-cos sqrt-pow2
2×sqr-cos pow3
1×neg-sub0 sqrt-undiv neg-log sum-cubes sum-cos

localize9.4s (0.2%)

bsearch5.2s (0.1%)

end5.0ms (0.0%)

Profiling

Loading profile data...