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

sample2.5min (52.4%)

Algorithm
100×intervals
Results
55.9s11628×body5120exit
30.6s469167×body80valid
17.1s30207×body1280valid
8.3s23261×body640valid
4.9s2976×body1280nan
3.1s2556×body640nan
2.9s12192×body320valid
2.0s10038×body160valid
1.6s26632×body80nan
1.1s1245×body320nan
925.0ms49536×pre80true
478.0ms1466×body2560valid
357.0ms638×body160nan
218.0ms619×body5120valid
141.0ms4034×body80overflowed
sampling

Space saved by range analysis: 7.70519%

Space saved by search: 10.616905%

Guaranteed chance to sample good point: 83.961102%

prune1.3min (26.9%)

Filtered
17406 candidates to 11514 candidates (33.9%)

series19.6s (6.9%)

Calls

496 calls:

3.0s
(+ (* (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 2) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (pow 1.0 3))
2.8s
(+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow 1.0 3))
1.7s
(pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3)
367.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)))))))
306.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0))

simplify17.6s (6.2%)

Algorithm
262×egg-herbie

regimes12.0s (4.2%)

Accuracy

Total 88.4b remaining (31.5%)

Threshold costs 4.3b (1.5%)

9.9b59.3%math.log/2 on complex, real part
9.9b59.7%math.log10 on complex, real part
9.6b60.5%math.log/1 on complex, real part
9.6b59.4%math.abs on complex
9.5b58.7%math.sqrt on complex, real part

rewrite5.9s (2.1%)

Algorithm
162×rewrite-expression-head
Calls

496 calls:

160.0ms
(* (* (* (* (sqrt (* PI 2.0)) (pow (* (cbrt (+ (+ (- z 1.0) 7.0) 0.5)) (cbrt (+ (+ (- z 1.0) 7.0) 0.5))) (+ (- z 1.0) 0.5))) (pow (cbrt (+ (+ (- z 1.0) 7.0) 0.5)) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.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))))
149.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- z 1.0) 7.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))))
115.0ms
(* (/ (/ (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034)) (sqrt (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) (sqrt (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) x)
112.0ms
(/ (* (+ (+ (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (pow (/ 1.0 (fabs x)) 3)) (+ (/ 3.0 4.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 15.0 8.0)))) (/ 1.0 (/ 2.0 (pow (/ 1.0 (fabs x)) 3)))) (/ 1.0 (fabs x))) 1.0) (/ (sqrt PI) (exp (* (fabs x) (fabs x)))))
88.0ms
(/ (/ (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) 0.0001789971) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0072644182) 1.0) (* (pow x 2) (+ 0.1049934947 (* 0.0424060604 (pow x 2)))))) (* (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) 0.0005064034)) (sqrt (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) (sqrt (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))))
Rules
6223×times-frac
5934×*-un-lft-identity
5315×add-sqr-sqrt
4119×add-cube-cbrt
2260×add-exp-log
2192×frac-add
1991×sqrt-prod
1756×frac-times
1656×add-cbrt-cube
1566×flip-- flip3--
1564×pow1
1345×associate-*r/
1165×associate-*l*
1076×associate-*r*
1007×associate-/r/
958×associate-*l/
837×prod-exp
813×add-log-exp
780×cbrt-prod
763×distribute-lft-out
727×flip-+ flip3-+
580×frac-sub
569×unpow-prod-down
517×associate-/l*
487×cbrt-unprod
457×associate-/r*
399×div-exp
380×cbrt-div
354×unswap-sqr
330×pow-prod-down
313×sqrt-div
288×div-inv
266×associate-+l-
265×log-pow
262×pow-sub
259×cbrt-undiv
239×distribute-lft-out--
212×difference-of-squares
190×pow-exp
184×associate-/l/ sqr-pow
177×cube-prod
152×exp-neg swap-sqr
151×*-commutative
147×un-div-inv
135×sqrt-pow1
132×pow1/3
121×exp-diff
117×neg-sub0
113×log-prod
111×pow-to-exp
110×pow1/2
107×diff-log pow-prod-up
101×sub-neg
87×distribute-rgt-in distribute-lft-in
82×clear-num frac-2neg
69×sum-log exp-prod
67×cube-div
65×1-exp
59×rec-exp
57×rem-sqrt-square
54×associate--l+
52×pow-unpow
51×pow-sqr
45×pow-plus
39×+-commutative
36×sub-div
33×pow2 distribute-lft-neg-in distribute-rgt-neg-in cube-mult unpow3
25×pow-pow
19×inv-pow pow-flip
18×log-div
17×associate--l-
16×div-sub
15×exp-sum unpow2 rem-exp-log
14×rem-cube-cbrt
12×associate--r+
10×rem-log-exp
9×associate-+l+ neg-mul-1
8×neg-log
7×associate-+r+
6×sin-sum
5×difference-cubes
4×unpow-prod-up pow3 sum-cubes
3×cos-sum rem-cbrt-cube
2×distribute-neg-in sqrt-pow2 distribute-rgt-out--
1×rem-square-sqrt sqrt-unprod unpow1/3 associate--r- log-rec distribute-frac-neg

localize2.7s (0.9%)

bsearch862.0ms (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...