Date:Wednesday, June 10th, 2020
Commit:5ea8c613 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

sample6.6min (49.3%)

Algorithm
539×intervals
Results
1.8min2650087×body80valid
20.4s47366×body1280valid
16.5s274874×body80nan
13.3s48032×body640valid
4.7s26116×body320valid
4.2s5636×body2560valid
1.7s14060×body160valid
197.0ms1049×body640nan
177.0ms843×body1280nan
125.0ms45×body5120valid
85.0ms1548×body80overflowed
78.0ms609×body320nan
30.0ms354×body160nan
sampling

Space saved by range analysis: 0%

Space saved by search: 3.642751%

Guaranteed chance to sample good point: 79.854183%

prune2.2min (16.1%)

Filtered
91051 candidates to 58104 candidates (36.2%)

regimes1.8min (13.2%)

Accuracy

Total 181.1b remaining (33.6%)

Threshold costs 26.9b (5%)

11.7b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.8b-13.5%Linear.Matrix:det44 from linear-1.19.1.3
9.6b59.4%Data.Octree.Internal:octantDistance from Octree-0.5.4.2
7.2b63%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
7.0b63.9%FRP.Yampa.Vector3:vector3Rho from Yampa-0.10.2

simplify1.2min (9.2%)

Algorithm
1437×egg-herbie

series59.1s (7.4%)

Calls

2542 calls:

2.9s
(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
1.9s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
366.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
334.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
323.0ms
(pow (log (- 1.0 (/ y x))) 3)

rewrite25.9s (3.2%)

Algorithm
898×rewrite-expression-head
Calls

2542 calls:

561.0ms
(* (/ (cbrt (- y x)) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt (- y x)))) (/ (cbrt (- y x)) (/ (cbrt (- a t)) (- z t))))
458.0ms
(* (/ (cbrt x) (/ z (sqrt (sqrt 2.0)))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
189.0ms
(/ (- z t) (- z a))
178.0ms
(sqrt (- (* y y) (* z z)))
153.0ms
(- (/ y (/ (+ (- t z) 1.0) a)) (/ z (/ (+ (- t z) 1.0) a)))
Rules
45816×times-frac
42764×*-un-lft-identity
39333×add-sqr-sqrt
25776×add-cube-cbrt
11493×add-exp-log
9025×add-cbrt-cube
8496×sqrt-prod
7859×cbrt-prod
7526×associate-*r*
7101×pow1
4842×distribute-lft-out--
4712×difference-of-squares
4692×associate-*l*
4176×cbrt-div
4037×distribute-lft-out
3913×add-log-exp
3610×associate-/r*
3358×prod-exp
2946×flip-- flip3--
2940×cbrt-unprod
2649×div-exp
2569×associate-*r/ frac-times
2519×associate-/l*
2253×associate-/r/
2129×unpow-prod-down
2096×pow-prod-down
1997×div-inv
1946×cbrt-undiv
1871×associate-*l/
1773×log-prod
1597×flip-+ flip3-+
1573×unswap-sqr
1384×distribute-rgt-in distribute-lft-in
1081×cube-prod
1043×sqrt-div
872×pow1/3
800×swap-sqr
783×*-commutative
743×frac-sub
685×sub-neg
597×sqrt-pow1
531×clear-num frac-2neg
529×associate-/l/
480×sum-log
429×exp-sum
424×associate-+l+
410×associate-+r+
349×pow1/2
345×pow-prod-up
320×sqr-pow
298×frac-add
293×diff-log
284×+-commutative associate--l+
274×log-pow
262×1-exp rec-exp
257×pow-sqr
207×tanh-def
146×pow-exp
132×rem-sqrt-square
130×div-sub
129×pow-plus
126×pow-unpow
116×cube-div
102×cube-mult unpow3
99×pow2
90×pow-to-exp
85×unpow2
79×pow-flip
78×log-div
77×exp-prod
76×pow-pow
68×inv-pow
67×distribute-lft-neg-out
65×associate--r+
60×log-rec
53×rem-log-exp
45×associate-+r-
43×associate-+l-
42×exp-diff
40×un-div-inv rem-cube-cbrt
39×distribute-rgt-out--
37×distribute-rgt-out distribute-rgt-neg-out
36×unsub-neg
24×cosh-def sqrt-unprod
21×rem-cbrt-cube
19×rem-exp-log
18×sinh-def sum-cubes distribute-neg-out
16×rem-square-sqrt
14×distribute-lft-neg-in distribute-rgt-neg-in
11×sub-div
10×associate--r-
9×distribute-rgt1-in
8×difference-cubes tan-quot
7×associate--l-
6×neg-mul-1 sqrt-pow2 exp-to-pow
5×distribute-lft1-in count-2
4×diff-cos
3×cos-diff pow3
2×neg-sub0 cos-sum sqrt-undiv unpow1/3 neg-log difference-of-sqr-1
1×cos-mult sin-mult remove-double-div sum-cos

localize9.5s (1.2%)

bsearch2.7s (0.3%)

end4.0ms (0.0%)

Profiling

Loading profile data...