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

sample3.3min (53.6%)

Algorithm
100×intervals
Results
57.8s12052×body5120exit
26.8s451123×body80valid
17.4s30233×body1280valid
8.4s23190×body640valid
5.4s3228×body1280nan
3.1s2583×body640nan
2.9s12131×body320valid
1.9s9913×body160valid
1.2s1318×body320nan
915.0ms49536×pre80true
457.0ms1405×body2560valid
344.0ms620×body160nan
269.0ms1813×body80nan
202.0ms598×body5120valid
132.0ms3928×body80overflowed
sampling

Space saved by range analysis: 7.70519%

Space saved by search: 12.523946%

Guaranteed chance to sample good point: 95.483131%

prune1.9min (30.5%)

Filtered
23729 candidates to 14708 candidates (38.0%)

simplify19.3s (5.2%)

Algorithm
261×egg-herbie

series16.4s (4.4%)

Calls

496 calls:

2.9s
(+ (pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3) (pow 1.0 3))
400.0ms
(/ (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))))
392.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ 1 (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))))))
388.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))))
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)))))))

regimes11.9s (3.2%)

Accuracy

Total 89.3b remaining (31.8%)

Threshold costs 3.6b (1.3%)

10.0b59.5%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
8.6b59.4%math.sqrt on complex, real part

rewrite8.1s (2.2%)

Algorithm
161×rewrite-expression-head
Calls

496 calls:

414.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ 1 (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))))))
229.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
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)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
145.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)))
139.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
25305×times-frac
16033×*-un-lft-identity
14967×add-sqr-sqrt
10045×add-cube-cbrt
3584×sqrt-prod
3550×add-exp-log
2703×associate-/r/
2577×add-cbrt-cube
2208×associate-*r*
2080×distribute-lft-out
1986×difference-of-squares
1738×pow1
1595×flip-- flip3--
1479×associate-*l*
1423×flip-+ flip3-+
1335×prod-exp
1260×frac-times
1211×div-inv
1166×frac-add
1142×distribute-lft-out--
1004×div-exp
932×associate-*r/
929×cbrt-prod
866×cbrt-unprod
784×add-log-exp
722×associate-*l/
622×cbrt-undiv
614×frac-sub
604×associate-/r*
600×associate-/l*
366×cbrt-div
360×pow-prod-down
346×unswap-sqr
269×swap-sqr
258×log-pow
257×unpow-prod-down
237×sqrt-div
196×associate-/l/
161×*-commutative
158×pow-prod-up
140×sqrt-pow1
126×pow1/3
114×pow1/2
110×sqr-pow
108×pow-exp
106×log-prod
100×1-exp
99×cube-prod
96×pow-plus
92×pow-to-exp
89×diff-log
88×sub-neg
82×clear-num frac-2neg
79×distribute-rgt-in distribute-lft-in
76×rec-exp
70×sum-log
68×pow-sqr
57×rem-sqrt-square
54×associate-+l-
50×pow2
46×exp-prod
45×+-commutative
42×exp-sum
41×pow-sub
36×pow-unpow sub-div
34×cube-div associate--l+
26×pow-pow
23×exp-diff
20×log-div cube-mult unpow3
19×div-sub
18×unpow2
16×exp-neg
13×neg-sub0
12×associate--l- associate--r+
11×un-div-inv
9×unpow-prod-up associate-+l+ inv-pow pow-flip
8×rem-exp-log
7×rem-log-exp associate-+r+ pow3 rem-cube-cbrt
5×difference-cubes rem-cbrt-cube
4×sin-sum
3×cos-sum sqrt-pow2 sum-cubes
2×mul-1-neg distribute-rgt-out--
1×rem-square-sqrt exp-to-pow sqrt-unprod unpow1/3 associate--r- log-rec

localize2.6s (0.7%)

bsearch834.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...