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

sample17.5s (62.8%)

Algorithm
18×intervals
Results
3.1s70200×body80valid
747.0ms4099×body1280valid
98.0ms1763×body80invalid
67.0ms781×body80nan
0.0ms5×body160valid
sampling

Space saved by range analysis: 0%

Space saved by search: 27.401894%

Guaranteed chance to sample good point: 91.939565%

prune3.6s (12.8%)

Filtered
2219 candidates to 1458 candidates (34.3%)

simplify3.5s (12.6%)

Algorithm
43×egg-herbie

regimes1.3s (4.5%)

Accuracy

Total 3.9b remaining (21.6%)

Threshold costs 1.2b (6.6%)

1.6b0%fabs fraction 1
1.1b90.9%jeff quadratic root 1
0.9b93.9%jeff quadratic root 2
0.3b0%sqrt times
0.0b0%subtraction fraction

series1.0s (3.6%)

Calls

65 calls:

50.0ms
(* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (* (/ x (cbrt y)) z))
38.0ms
(* (sqrt (- x 1.0)) (sqrt x))
38.0ms
(cbrt (/ 1 (* (cbrt y) (cbrt y))))
33.0ms
(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
33.0ms
(cbrt (neg (+ f n)))

rewrite510.0ms (1.8%)

Algorithm
25×rewrite-expression-head
Calls

65 calls:

22.0ms
(* (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (cbrt (/ 1 (* (cbrt y) (cbrt y))))) (* (cbrt (/ 1 (* (cbrt y) (cbrt y)))) (* (/ x (cbrt y)) z)))
19.0ms
(/ (/ -1 (- f n)) (/ 1 (+ f n)))
14.0ms
(* (/ 1 (* (cbrt y) (cbrt y))) (* (/ x (cbrt y)) z))
13.0ms
(* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))
13.0ms
(/ (* 2.0 c) (- (* 2.0 (* (/ a (* (cbrt b) (cbrt b))) (/ c (cbrt b)))) (* 2 b)))
Rules
1320×times-frac
1135×*-un-lft-identity
981×add-sqr-sqrt
673×add-cube-cbrt
298×add-exp-log
197×add-cbrt-cube
137×pow1
125×distribute-lft-out
116×add-log-exp
112×difference-of-squares
110×associate-*l*
105×distribute-lft-out--
102×associate-/r/
99×prod-exp
84×cbrt-prod
83×sqrt-prod
69×associate-/r* associate-*r* cbrt-unprod
67×div-exp
65×div-inv
58×flip-- flip3--
51×associate-/l*
46×cbrt-undiv associate-*l/
45×distribute-rgt-neg-in
42×sqrt-div
40×distribute-lft-neg-in
39×cbrt-div flip-+ flip3-+
36×exp-prod
31×pow-prod-down
26×unswap-sqr
24×frac-times
22×sqrt-pow1 pow1/2
20×rem-sqrt-square
18×associate-*r/
14×diff-log
13×pow-pow
12×neg-log
11×neg-sub0 1-exp rec-exp *-commutative
10×neg-mul-1 sum-log sub-neg
9×clear-num pow1/3 frac-2neg
7×frac-sub associate-/l/
6×pow-unpow log-prod rem-exp-log
4×associate--l- exp-sum +-commutative distribute-neg-in un-div-inv associate-+l- unpow-prod-down distribute-neg-frac
3×sub-div
2×exp-neg unpow-prod-up log-div div-sub exp-diff
1×rem-log-exp pow-to-exp pow-exp sqrt-unprod inv-pow distribute-frac-neg log-pow pow-flip associate--r+ pow-sub sqr-pow

localize382.0ms (1.4%)

bsearch130.0ms (0.5%)

end0.0ms (0.0%)

Profiling

Loading profile data...