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

sample27.0s (71.3%)

Algorithm
18×intervals
Results
3.1s70085×body80valid
741.0ms4208×body1280valid
89.0ms1447×body80invalid
62.0ms747×body80nan
1.0ms11×body160valid
sampling

Space saved by range analysis: 0%

Space saved by search: 27.785452%

Guaranteed chance to sample good point: 94.83037%

simplify3.8s (10.0%)

Algorithm
43×egg-herbie

prune3.5s (9.2%)

Filtered
3530 candidates to 1637 candidates (53.6%)

regimes1.2s (3.3%)

Accuracy

Total 4.7b remaining (24.4%)

Threshold costs 1.3b (6.6%)

2.2b35.1%fabs fraction 1
1.2b92.1%jeff quadratic root 1
0.9b91.9%jeff quadratic root 2
0.3b0%sqrt times
0.0b0%subtraction fraction

series897.0ms (2.4%)

Calls

67 calls:

53.0ms
(* (* 2.0 c) (/ 1 (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))))
52.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
38.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
28.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
27.0ms
(* (sqrt (- x 1.0)) (sqrt x))

rewrite828.0ms (2.2%)

Algorithm
25×rewrite-expression-head
Calls

67 calls:

93.0ms
(* (sqrt (/ (neg (+ f n)) (- f n))) (sqrt (/ (neg (+ f n)) (- f n))))
42.0ms
(cbrt (/ (pow (neg (+ f n)) 3) (pow (- f n) 3)))
25.0ms
(/ (pow (neg (+ f n)) 3) (pow (- f n) 3))
24.0ms
(- (/ (+ x 4.0) y) (/ 1 (/ y (* x z))))
23.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
Rules
2522×*-un-lft-identity
2006×times-frac
1711×add-sqr-sqrt
1006×add-cube-cbrt
871×unpow-prod-down
868×cube-prod
666×cbrt-prod
622×distribute-rgt-neg-in
580×distribute-lft-neg-in
519×sqrt-prod
355×distribute-lft-out
346×distribute-lft-out--
320×difference-of-squares
208×add-exp-log
165×add-cbrt-cube
151×swap-sqr
138×neg-mul-1
127×add-log-exp
122×pow1
118×associate-*r*
110×associate-/l*
102×sqr-pow
101×cube-mult unpow3
99×associate-*l*
75×associate-/r*
51×div-exp
50×flip-- flip3--
42×sqrt-div
38×prod-exp
36×div-inv
35×associate-/r/
32×cbrt-undiv
26×sqrt-pow1 pow1/2
24×pow-unpow cbrt-unprod
22×associate-/l/
20×flip-+ flip3-+
19×unswap-sqr
18×cube-div
16×clear-num pow-prod-down frac-2neg
15×neg-sub0 diff-log
14×rem-sqrt-square sum-log sub-neg
13×pow-exp
12×exp-prod distribute-neg-frac
11×pow-to-exp neg-log
10×cbrt-div associate-*l/
7×+-commutative 1-exp rec-exp associate-+l-
6×pow1/3 distribute-frac-neg *-commutative
5×associate-*r/ frac-sub div-sub pow-prod-up pow-pow rem-cube-cbrt
4×distribute-neg-in sqrt-unprod sub-div un-div-inv
3×cube-neg pow-sqr rem-cbrt-cube rem-exp-log
2×associate--l- exp-sum unpow-prod-up distribute-rgt-out--
1×pow2 exp-neg e-exp-1 sqrt-undiv rem-square-sqrt pow-plus inv-pow frac-times pow-neg pow-flip exp-diff pow-sub

localize347.0ms (0.9%)

bsearch265.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...