Date:Wednesday, June 10th, 2020
Commit:646ba792 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

sample15.2s (58.8%)

Algorithm
18×intervals
Results
3.1s70200×body80valid
716.0ms4099×body1280valid
139.0ms2120×body80invalid
66.0ms792×body80nan
0.0ms5×body160valid
sampling

Space saved by range analysis: 0%

Space saved by search: 27.266974%

Guaranteed chance to sample good point: 93.010846%

prune3.9s (15.1%)

Filtered
2495 candidates to 1517 candidates (39.2%)

simplify3.6s (13.9%)

Algorithm
43×egg-herbie

regimes1.2s (4.4%)

Accuracy

Total 3.0b remaining (16.5%)

Threshold costs 3.0b (16.5%)

1.0b92%jeff quadratic root 2
0.9b92.6%jeff quadratic root 1
0.7b59.2%fabs fraction 1
0.3b0%sqrt times
0.0b0%subtraction fraction

series926.0ms (3.6%)

Calls

65 calls:

37.0ms
(* (sqrt (- x 1.0)) (sqrt x))
36.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
34.0ms
(* (/ (cbrt x) y) z)
29.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))
27.0ms
(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite517.0ms (2.0%)

Algorithm
25×rewrite-expression-head
Calls

65 calls:

25.0ms
(/ -1 (/ 1 (/ (+ f n) (- f n))))
19.0ms
(cbrt (pow (/ (neg (+ f n)) (- f n)) 3))
18.0ms
(pow (/ (neg (+ f n)) (- f n)) 3)
14.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))
12.0ms
(* (/ (* (cbrt x) (cbrt x)) 1) (* (/ (cbrt x) y) z))
Rules
1620×times-frac
1552×*-un-lft-identity
1261×add-sqr-sqrt
830×add-cube-cbrt
289×add-exp-log
187×distribute-lft-out
185×cbrt-prod
181×add-cbrt-cube
180×difference-of-squares
173×distribute-lft-out--
157×associate-/r*
142×distribute-rgt-neg-in
140×distribute-lft-neg-in
136×unpow-prod-down
132×cube-prod
118×pow1
106×add-log-exp
99×associate-*l*
92×prod-exp
91×sqrt-prod
74×div-exp
63×associate-/r/
62×flip-- flip3--
49×cbrt-unprod
48×sqrt-div
46×associate-*r* associate-/l*
44×div-inv
42×cbrt-undiv
36×exp-prod
35×neg-mul-1
26×associate-*l/
25×sqrt-pow1 pow1/2
23×rem-sqrt-square
20×unswap-sqr
18×1-exp
15×flip-+ flip3-+ pow-prod-down
14×pow-pow
13×diff-log
12×rec-exp
11×cbrt-div
10×sub-neg pow1/3 associate-/l/
9×neg-sub0 pow-unpow neg-log *-commutative
8×clear-num frac-2neg
7×frac-sub
6×associate-*r/ log-prod sum-log frac-times rem-exp-log
4×exp-sum distribute-neg-in un-div-inv distribute-neg-frac
3×associate--l- pow-exp sub-div div-sub distribute-frac-neg sqr-pow
2×cube-div exp-neg pow-to-exp unpow-prod-up +-commutative log-div cube-mult associate-+l- exp-diff unpow3 rem-cube-cbrt
1×rem-log-exp cube-neg sqrt-unprod inv-pow log-pow rem-cbrt-cube pow-flip associate--r+ pow-sub

localize367.0ms (1.4%)

bsearch180.0ms (0.7%)

end0.0ms (0.0%)

Profiling

Loading profile data...