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

sample7.3min (52.4%)

Algorithm
539×intervals
Results
1.3min2098375×body80valid
34.5s553351×body80invalid
18.9s40865×body1280valid
12.4s41537×body640valid
6.3s90271×body80nan
4.4s22600×body320valid
4.2s5593×body2560valid
2.0s6673×body1280invalid
1.5s12106×body160valid
1.4s6769×body640invalid
555.0ms3778×body320invalid
225.0ms2289×body160invalid
188.0ms1052×body640nan
168.0ms794×body1280nan
124.0ms44×body5120valid
95.0ms1554×body80overflowed
85.0ms665×body320nan
31.0ms375×body160nan
sampling

Space saved by range analysis: 0%

Space saved by search: 6.262874%

Guaranteed chance to sample good point: 93.050936%

prune2.2min (15.6%)

Filtered
86227 candidates to 56007 candidates (35.0%)

regimes1.8min (12.7%)

Accuracy

Total 191.4b remaining (35.5%)

Threshold costs 28.8b (5.3%)

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
8.2b25.4%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, J
7.2b63.1%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1

simplify1.2min (8.8%)

Algorithm
1437×egg-herbie

series52.6s (6.3%)

Calls

2523 calls:

2.0s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
396.0ms
(cbrt (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))
366.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
334.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))
257.0ms
(* (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))) (cbrt (- (- x (* (- y 1.0) z)) (* (- t 1.0) a))))

rewrite23.0s (2.7%)

Algorithm
898×rewrite-expression-head
Calls

2523 calls:

97.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
93.0ms
(- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y))))
90.0ms
(log (- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))))
88.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
75.0ms
(- (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y)))
Rules
38235×times-frac
35425×*-un-lft-identity
34704×add-sqr-sqrt
23200×add-cube-cbrt
11063×add-exp-log
8809×add-cbrt-cube
6801×pow1
5801×associate-*r*
5789×cbrt-prod
5145×sqrt-prod
4068×associate-*l*
4003×distribute-lft-out--
3994×difference-of-squares
3911×add-log-exp
3586×associate-/r*
3440×cbrt-div
3323×prod-exp
3150×flip-- flip3--
2989×associate-*r/
2744×cbrt-unprod
2401×associate-*l/
2381×frac-times
2367×div-exp
2365×associate-/l*
2285×distribute-lft-out
2016×pow-prod-down
1968×associate-/r/
1878×div-inv
1774×cbrt-undiv
1600×flip-+ flip3-+
1538×unpow-prod-down
1439×unswap-sqr
1393×log-prod
1208×sqrt-div
1194×distribute-rgt-in distribute-lft-in
961×cube-prod
923×frac-sub
909×pow1/3
773×swap-sqr
769×*-commutative
713×sub-neg
691×associate-/l/
535×clear-num frac-2neg
518×sqrt-pow1
467×sum-log
404×associate-+l+
349×associate-+r+
327×pow-prod-up
326×exp-prod
301×diff-log
300×pow1/2
293×associate--l+
287×log-pow
281×+-commutative
251×pow-sqr
250×sqr-pow
242×1-exp
232×rec-exp
211×frac-add
177×pow-exp
144×pow-to-exp
142×div-sub
130×pow-plus
124×pow-unpow
123×rem-sqrt-square
107×cube-div
102×pow2
83×unpow2
72×pow-pow
67×associate--r+
65×cube-mult unpow3
62×pow-flip
56×inv-pow
52×un-div-inv
51×tanh-def
49×rem-log-exp
47×distribute-rgt-out--
45×log-div
36×distribute-rgt-neg-out
34×sinh-def
32×rem-cube-cbrt
28×associate-+l-
27×associate-+r-
25×cosh-def rem-exp-log
22×sqrt-unprod
20×unsub-neg
19×exp-sum distribute-rgt-out
17×rem-cbrt-cube
13×rem-square-sqrt associate--r-
11×distribute-lft-neg-in distribute-rgt-neg-in
10×associate--l- sub-div
9×sqrt-undiv
8×unpow-prod-up sum-cubes pow-sub
7×distribute-lft-neg-out difference-cubes
6×diff-cos sqrt-pow2 exp-diff
5×neg-mul-1 distribute-lft1-in unpow1/3 count-2 distribute-rgt1-in
4×neg-sub0 neg-log
3×cos-diff exp-to-pow pow3
2×cos-sum tan-quot cos-mult sin-mult remove-double-div

localize9.8s (1.2%)

bsearch2.5s (0.3%)

end4.0ms (0.0%)

Profiling

Loading profile data...