Date:Wednesday, June 17th, 2020
Commit:5ab00fd3 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020169
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

analyze6.5s (31.2%)

Algorithm
18×search
sampling

Space saved by range analysis: 0.092488%

Space saved by search: 27.85778%

Guaranteed chance to sample good point: 94.83037%

sample5.4s (26.2%)

Algorithm
18×intervals
Results
3.1s70185×body80valid
710.0ms4111×body1280valid
85.0ms1480×body80invalid
62.0ms779×body80nan
0.0ms8×body160valid

simplify3.4s (16.2%)

Algorithm
41×egg-herbie

prune2.9s (13.9%)

Filtered
2118 candidates to 1305 candidates (38.4%)

regimes855.0ms (4.1%)

Accuracy

Total 3.7b remaining (20%)

Threshold costs 1.2b (6.4%)

1.4b0%fabs fraction 1
1.1b91.6%jeff quadratic root 1
0.7b93.9%jeff quadratic root 2
0.4b0%sqrt times
0.0b0%subtraction fraction

series783.0ms (3.8%)

Calls

59 calls:

32.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
31.0ms
(+ (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
24.0ms
(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))

rewrite486.0ms (2.3%)

Algorithm
23×rewrite-expression-head
Calls

59 calls:

25.0ms
(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
21.0ms
(pow (/ -1 (/ (- f n) (+ f n))) 3)
18.0ms
(- (/ (+ x 4.0) y) (cbrt (pow (* (/ x y) z) 3)))
14.0ms
(/ -1 (log (exp (/ (- f n) (+ f n)))))
12.0ms
(/ -1 (/ (- f n) (+ f n)))
Rules
1292×*-un-lft-identity
1270×times-frac
1002×add-sqr-sqrt
668×add-cube-cbrt
190×cbrt-prod
174×distribute-lft-out
168×cube-prod exp-prod unpow-prod-down
147×difference-of-squares
138×distribute-lft-out--
135×log-pow
124×add-cbrt-cube add-exp-log
112×associate-/r*
109×add-log-exp
101×pow1
75×sqrt-prod
66×associate-/r/
51×associate-/l*
45×div-inv
44×sqrt-div
38×flip-- flip3--
37×associate-*l* flip-+ flip3-+
33×distribute-rgt-neg-in
28×distribute-lft-neg-in
25×div-exp cbrt-undiv associate-*r*
24×sqrt-pow1
23×pow1/2
20×rem-sqrt-square
16×associate-/l/
13×diff-log
12×clear-num frac-2neg
11×prod-exp sum-log associate-*l/ cbrt-unprod
10×neg-sub0 neg-log unswap-sqr
9×sub-neg
8×div-sub pow-prod-down
7×cbrt-div neg-mul-1
6×pow-exp pow-unpow rem-cube-cbrt sqr-pow
5×cube-div +-commutative associate-+l-
4×pow1/3 cube-mult *-commutative unpow3 rem-exp-log
3×associate--l- associate-*r/ log-prod frac-sub pow-pow exp-diff
2×exp-sum pow-to-exp distribute-neg-in sub-div rem-cbrt-cube distribute-neg-frac
1×rem-log-exp exp-neg log-div sqrt-unprod associate--l+ distribute-frac-neg

localize324.0ms (1.6%)

bsearch140.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...