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

sample11.2s (53.0%)

Algorithm
18×intervals
Results
3.5s81812×body80valid
802.0ms4140×body1280valid
61.0ms729×body80nan
0.0ms9×body160valid
sampling

Space saved by range analysis: 0%

Space saved by search: 20.396664%

Guaranteed chance to sample good point: 96.968283%

simplify3.8s (18.1%)

Algorithm
43×egg-herbie

prune3.3s (15.4%)

Filtered
2528 candidates to 1431 candidates (43.4%)

regimes962.0ms (4.5%)

Accuracy

Total 4.0b remaining (23%)

Threshold costs 1.4b (7.8%)

1.5b0%fabs fraction 1
1.1b92%jeff quadratic root 1
1.0b92.9%jeff quadratic root 2
0.4b0%sqrt times
0.0b0%subtraction fraction

series802.0ms (3.8%)

Calls

62 calls:

34.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
29.0ms
(/ (* 2.0 c) (+ (neg b) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) b)))
26.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
24.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
24.0ms
(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite600.0ms (2.8%)

Algorithm
25×rewrite-expression-head
Calls

62 calls:

24.0ms
(- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))
23.0ms
(cbrt (pow (/ -1 (/ (- f n) (+ f n))) 3))
20.0ms
(/ -1 (cbrt (pow (/ (- f n) (+ f n)) 3)))
19.0ms
(pow (/ -1 (/ (- f n) (+ f n))) 3)
16.0ms
(* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))
Rules
1578×*-un-lft-identity
1535×times-frac
1224×add-sqr-sqrt
804×add-cube-cbrt
479×cbrt-prod
329×unpow-prod-down
322×cube-prod
216×distribute-lft-out
180×difference-of-squares
171×add-exp-log
170×distribute-lft-out--
158×associate-/r*
157×add-cbrt-cube
117×add-log-exp
98×pow1
85×associate-/r/
74×sqrt-prod
63×associate-*r*
57×div-inv
52×associate-/l*
51×distribute-rgt-neg-in
47×associate-*l*
44×flip-+ flip3-+
42×flip-- flip3--
40×div-exp distribute-lft-neg-in
39×cbrt-undiv
36×sqrt-div exp-prod
24×prod-exp pow-unpow
22×cbrt-unprod
19×sqrt-pow1 pow1/2 unswap-sqr
17×rem-sqrt-square diff-log
16×associate-*r/ sub-neg pow-pow
15×clear-num frac-2neg
14×associate-/l/
13×neg-sub0 neg-log
10×frac-add neg-mul-1 sqr-pow
9×sum-log associate-*l/
8×pow-exp pow-prod-down cube-mult unpow3
7×cbrt-div frac-times
6×associate--l- log-prod distribute-neg-in un-div-inv *-commutative rem-exp-log
5×cube-div div-sub rem-cube-cbrt
4×exp-sum distribute-rgt-in pow-to-exp unpow-prod-up +-commutative associate-+l+ distribute-lft-in pow1/3
3×associate-+l-
2×exp-neg log-div frac-sub sub-div rem-cbrt-cube distribute-neg-frac exp-diff pow-sub
1×rem-log-exp e-exp-1 sqrt-unprod 1-exp associate--l+ distribute-frac-neg rec-exp log-pow pow-neg

localize342.0ms (1.6%)

bsearch144.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...