Date:Wednesday, June 10th, 2020
Commit:ecc7ec01 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.9min2651726×body80valid
20.8s47538×body1280valid
13.8s48306×body640valid
6.7s90271×body80nan
5.0s26378×body320valid
4.3s5593×body2560valid
1.8s14395×body160valid
185.0ms1052×body640nan
173.0ms794×body1280nan
119.0ms44×body5120valid
95.0ms1554×body80overflowed
86.0ms665×body320nan
35.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.8%)

Filtered
86207 candidates to 56011 candidates (35.0%)

regimes1.7min (12.4%)

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

series53.4s (6.4%)

Calls

2523 calls:

1.8s
(pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3)
444.0ms
(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y))))
391.0ms
(cbrt (+ x (* (* y z) (- (tanh (/ t y)) (tanh (/ x y))))))
359.0ms
(- (+ (* x y) (* z t)) (* (+ a (* b c)) (* c i)))
329.0ms
(- (+ (* x y) (* z t)) (* (* (+ a (* b c)) c) i))

rewrite23.5s (2.8%)

Algorithm
898×rewrite-expression-head
Calls

2523 calls:

182.0ms
(* (/ x y) (- z t))
102.0ms
(- x (/ (/ (- y z) (+ (- t z) 1.0)) (/ 1 a)))
98.0ms
(- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y))))
96.0ms
(log (- 1.0 (/ (/ (- x y) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))))
94.0ms
(* (/ (/ (- y z) (* (cbrt (- a z)) (cbrt (- a z)))) (cbrt (* (cbrt (- a z)) (cbrt (- a z))))) (/ (- t x) (cbrt (cbrt (- a z)))))
Rules
38238×times-frac
35433×*-un-lft-identity
34700×add-sqr-sqrt
23208×add-cube-cbrt
11031×add-exp-log
8776×add-cbrt-cube
6749×pow1
5832×cbrt-prod
5800×associate-*r*
5121×sqrt-prod
4063×associate-*l*
4003×distribute-lft-out--
3994×difference-of-squares
3909×add-log-exp
3587×associate-/r*
3444×cbrt-div
3298×prod-exp
3143×flip-- flip3--
2989×associate-*r/
2719×cbrt-unprod
2399×associate-*l/
2377×frac-times
2369×div-exp
2368×associate-/l*
2285×distribute-lft-out
1988×pow-prod-down
1968×associate-/r/
1879×div-inv
1776×cbrt-undiv
1602×flip-+ flip3-+
1567×unpow-prod-down
1436×unswap-sqr
1393×log-prod
1196×distribute-rgt-in distribute-lft-in
1192×sqrt-div
972×cube-prod
923×frac-sub
913×pow1/3
767×*-commutative
765×swap-sqr
712×sub-neg
691×associate-/l/
536×clear-num frac-2neg
508×sqrt-pow1
467×sum-log
404×associate-+l+
349×associate-+r+
326×exp-prod
322×pow-prod-up
300×diff-log
293×associate--l+
290×pow1/2
287×log-pow
281×+-commutative
254×sqr-pow
248×pow-sqr
242×1-exp
232×rec-exp
213×frac-add
178×pow-exp
145×pow-to-exp
142×div-sub
129×pow-plus
127×pow-unpow
121×rem-sqrt-square
107×cube-div
101×pow2
86×unpow2
74×pow-pow
67×associate--r+
66×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
21×sqrt-unprod
20×unsub-neg
19×exp-sum distribute-rgt-out
18×rem-cbrt-cube
13×associate--r-
12×rem-square-sqrt
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 sin-mult
2×cos-sum tan-quot cos-mult remove-double-div

localize9.6s (1.1%)

bsearch2.5s (0.3%)

end4.0ms (0.0%)

Profiling

Loading profile data...