Date:Wednesday, June 17th, 2020
Commit:fb53a5c5 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

analyze4.3s (26.2%)

Algorithm
16×search
sampling

Space saved by range analysis: 0.086143%

Space saved by search: 28.127295%

Guaranteed chance to sample good point: 96.00981%

simplify3.6s (22.0%)

Algorithm
39×egg-herbie

sample3.1s (19.3%)

Algorithm
16×intervals
Results
1.6s54185×body80valid
688.0ms4111×body1280valid
30.0ms829×body80invalid
3.0ms34×body80nan
0.0ms8×body160valid

prune2.9s (17.6%)

Filtered
2118 candidates to 1305 candidates (38.4%)

regimes866.0ms (5.3%)

Accuracy

Total 1.8b remaining (97.7%)

Threshold costs 0.4b (23.2%)

1.4b0%fabs fraction 1
0.4b0%sqrt times
0.0b0%subtraction fraction

series752.0ms (4.6%)

Calls

59 calls:

32.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)))
24.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))
23.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite484.0ms (3.0%)

Algorithm
23×rewrite-expression-head
Calls

59 calls:

26.0ms
(+ (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
22.0ms
(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
18.0ms
(pow (/ -1 (/ (- f n) (+ f n))) 3)
14.0ms
(- (/ (+ x 4.0) y) (cbrt (pow (* (/ x y) z) 3)))
12.0ms
(/ -1 (log (exp (/ (- 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

localize317.0ms (1.9%)

bsearch4.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...