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

sample4.5min (68.4%)

Algorithm
100×intervals
Results
58.2s12209×body5120exit
22.1s360471×body80valid
12.1s19356×body1280valid
6.1s14917×body640valid
5.4s3251×body1280nan
5.2s11074×body1280invalid
3.2s2599×body640nan
2.6s8489×body640invalid
2.0s7807×body320valid
1.6s8223×body160valid
1.6s34980×body80invalid
1.1s1303×body320nan
965.0ms49536×pre80true
860.0ms4161×body320invalid
396.0ms1427×body2560valid
357.0ms623×body160nan
259.0ms1879×body160invalid
258.0ms1785×body80nan
201.0ms599×body5120valid
132.0ms3962×body80overflowed
67.0ms38×body2560invalid
sampling

Space saved by range analysis: 7.70519%

Space saved by search: 21.359359%

Guaranteed chance to sample good point: 82.156421%

prune1.1min (17.4%)

Filtered
19939 candidates to 12445 candidates (37.6%)

simplify16.5s (4.2%)

Algorithm
263×egg-herbie

series14.6s (3.7%)

Calls

498 calls:

389.0ms
(/ (/ (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (+ (+ alpha beta) (* 2.0 i)))
384.0ms
(* (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (/ 1 (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
378.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
366.0ms
(cbrt (- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (+ (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) -1.453152027) (* 1.061405429 (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))))) (exp (neg (* (fabs x) (fabs x)))))))
360.0ms
(/ (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))

regimes13.9s (3.5%)

Accuracy

Total 90.3b remaining (31.9%)

Threshold costs 4.4b (1.5%)

10.7b54.9%math.abs on complex
10.7b56.7%math.log10 on complex, real part
10.4b57.7%math.log/2 on complex, real part
10.4b57.5%math.log/1 on complex, real part
9.4b54.7%math.sqrt on complex, real part

rewrite7.3s (1.9%)

Algorithm
163×rewrite-expression-head
Calls

498 calls:

284.0ms
(* (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (/ (+ (+ alpha beta) (* 2.0 1.0)) (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)))) (/ (/ (cbrt (+ (+ (+ alpha beta) (* beta alpha)) 1.0)) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
240.0ms
(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
155.0ms
(/ (* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
149.0ms
(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
147.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (/ (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
Rules
12383×times-frac
10488×*-un-lft-identity
8283×add-sqr-sqrt
6426×add-cube-cbrt
4526×add-exp-log
3072×add-cbrt-cube
2060×sqrt-prod
1987×distribute-lft-out
1982×associate-*r*
1980×pow1
1928×prod-exp
1615×associate-*l*
1259×div-exp
1172×cbrt-unprod
907×flip-+ flip3-+
813×associate-*r/
771×associate-/r*
765×add-log-exp
742×frac-add associate-/r/
739×cbrt-undiv
608×cbrt-prod
605×frac-times
505×associate-/l*
480×div-inv
446×pow-prod-down
433×associate-*l/
395×unswap-sqr
383×sqrt-div
365×difference-of-squares
335×unpow-prod-down
329×swap-sqr
319×log-pow
306×associate-/l/
277×flip-- flip3--
268×cbrt-div
257×distribute-lft-out--
178×pow-exp
177×*-commutative
167×sqrt-pow1
153×pow-prod-up
148×pow-to-exp
146×sqr-pow
137×cube-prod
132×frac-sub
98×pow1/2
94×log-prod
92×pow-sqr
91×pow-plus pow1/3
89×distribute-rgt-in distribute-lft-in
84×clear-num frac-2neg
79×sub-neg
78×diff-log
72×sum-log
70×1-exp
69×rec-exp
59×pow2
53×rem-sqrt-square
51×associate-+l-
43×+-commutative
41×pow-sub
39×pow-unpow
35×associate--l+
32×exp-sum
27×cube-div cube-mult unpow3
25×unpow2
24×exp-prod
22×pow-pow
20×associate-+l+
17×distribute-rgt-out
16×div-sub
14×pow-flip rem-cube-cbrt
12×associate--l- sin-sum
11×inv-pow
10×associate-+r+
9×unpow-prod-up log-div
8×un-div-inv
7×rem-cbrt-cube exp-diff
6×distribute-lft1-in associate--r+
5×pow3 distribute-rgt1-in
4×rem-log-exp rem-exp-log
2×difference-cubes cos-sum associate-+r- rem-square-sqrt sqrt-unprod associate--r-
1×unpow1/3 sum-cubes

localize2.5s (0.6%)

bsearch855.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...