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

sample9.3s (49.1%)

Algorithm
18×intervals
Results
3.4s81796×body80valid
834.0ms21897×body80nan
715.0ms4139×body1280valid
0.0ms9×body160valid
sampling

Space saved by range analysis: 0%

Space saved by search: 11.450181%

Guaranteed chance to sample good point: 62.58081%

simplify3.7s (19.6%)

Algorithm
42×egg-herbie

prune2.9s (15.3%)

Filtered
2034 candidates to 1278 candidates (37.2%)

regimes1.1s (5.6%)

Accuracy

Total 3.2b remaining (18.6%)

Threshold costs 1.8b (10.8%)

1.3b91.2%jeff quadratic root 1
0.9b92.6%jeff quadratic root 2
0.6b63.1%fabs fraction 1
0.4b0%sqrt times
0.0b0%exp neg sub

series936.0ms (4.9%)

Calls

61 calls:

54.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
37.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
28.0ms
(/ (neg (+ f n)) (- f n))
28.0ms
(/ 2.0 (/ (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))) c))
27.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite508.0ms (2.7%)

Algorithm
24×rewrite-expression-head
Calls

61 calls:

24.0ms
(* (neg (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
18.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
14.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
12.0ms
(/ (* 2.0 c) (+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
12.0ms
(log (/ 1 (exp (/ (+ f n) (- f n)))))
Rules
988×*-un-lft-identity
747×add-sqr-sqrt
706×times-frac
468×add-cube-cbrt
177×add-exp-log
174×distribute-rgt-neg-in
151×distribute-lft-neg-in
150×cbrt-prod
145×add-cbrt-cube
144×distribute-lft-out
139×unpow-prod-down
132×cube-prod
121×add-log-exp
119×difference-of-squares
116×distribute-lft-out--
114×exp-prod
110×sqrt-prod
98×pow1
72×associate-*l*
57×associate-*r*
54×associate-/r* pow-flip
53×associate-/l*
43×prod-exp
40×div-exp
38×flip-- flip3--
37×neg-mul-1
36×sqrt-div
30×cbrt-unprod
29×cbrt-undiv log-pow
28×div-inv
27×associate-/r/
24×associate-*l/
21×pow-unpow
16×flip-+ flip3-+ sqrt-pow1 pow1/2
15×sum-log pow-pow
14×neg-sub0 rem-sqrt-square
13×cbrt-div log-prod diff-log neg-log unswap-sqr
12×associate-/l/
11×sub-neg
10×clear-num pow-prod-down frac-2neg
9×pow1/3
8×1-exp distribute-neg-frac
7×+-commutative rem-exp-log
6×distribute-neg-in *-commutative associate-+l-
5×pow-exp associate-*r/ frac-sub
4×rem-log-exp exp-sum frac-add unpow-prod-up frac-times sqr-pow
3×associate--l- pow-to-exp div-sub distribute-frac-neg
2×cube-div exp-neg inv-pow cube-mult rec-exp un-div-inv exp-diff pow-sub unpow3 rem-cube-cbrt
1×distribute-lft-neg-out cube-neg e-exp-1 log-div distribute-rgt-out sqrt-unprod sub-div log-rec associate--l+ pow-neg rem-cbrt-cube

localize343.0ms (1.8%)

bsearch185.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...