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

sample4.1min (65.9%)

Algorithm
100×intervals
Results
48.7s7825×body5120exit
21.7s360534×body80valid
12.1s19344×body1280valid
5.7s14719×body640valid
5.3s3202×body1280nan
5.3s11039×body1280invalid
3.1s2581×body640nan
2.7s8558×body640invalid
2.0s7958×body320valid
1.7s8219×body160valid
1.6s36194×body80invalid
1.1s1297×body320nan
947.0ms49536×pre80true
875.0ms4168×body320invalid
399.0ms1427×body2560valid
350.0ms632×body160nan
302.0ms2359×body80nan
280.0ms1976×body160invalid
202.0ms599×body5120valid
137.0ms4016×body80overflowed
66.0ms36×body2560invalid
sampling

Space saved by range analysis: 7.70519%

Space saved by search: 26.105537%

Guaranteed chance to sample good point: 84.423655%

prune1.2min (19.0%)

Filtered
19585 candidates to 12059 candidates (38.4%)

series16.0s (4.3%)

Calls

493 calls:

2.8s
(+ (pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3) (pow 1.0 3))
630.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)))
393.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)))
383.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))))

simplify15.5s (4.2%)

Algorithm
262×egg-herbie

regimes13.7s (3.7%)

Accuracy

Total 86.2b remaining (30.9%)

Threshold costs 3.9b (1.4%)

11.1b54.8%math.log10 on complex, real part
10.8b55.6%math.log/1 on complex, real part
10.7b54.9%math.abs on complex
10.1b58.7%math.log/2 on complex, real part
9.4b54.7%math.sqrt on complex, real part

rewrite7.8s (2.1%)

Algorithm
162×rewrite-expression-head
Calls

493 calls:

577.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
278.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)))
251.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)))
150.0ms
(* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
143.0ms
(/ (* (* (sqrt PI) (* (sqrt 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
12390×times-frac
10232×*-un-lft-identity
7956×add-sqr-sqrt
6365×add-cube-cbrt
5237×add-exp-log
3382×add-cbrt-cube
2712×prod-exp
2235×pow1
2178×associate-*r*
2020×sqrt-prod
1995×distribute-lft-out
1480×cbrt-unprod
1330×associate-*l*
1204×div-exp
839×associate-/r*
800×add-log-exp
796×frac-add
780×flip-+ flip3-+
774×associate-/r/
726×cbrt-undiv
709×pow-prod-down
609×cbrt-prod
565×associate-*r/
509×associate-/l*
492×log-pow
473×div-inv
436×frac-times
390×unswap-sqr
330×associate-*l/
289×pow-exp
273×sqrt-div
266×unpow-prod-down
264×pow-to-exp
235×difference-of-squares
226×cbrt-div
225×swap-sqr
203×distribute-lft-out--
164×*-commutative
162×associate-/l/
152×sqrt-pow1
143×flip-- flip3--
128×log-prod
119×sqr-pow
101×associate-+l-
100×distribute-rgt-in distribute-lft-in pow1/2
92×sub-neg diff-log
90×pow-sub
89×cube-prod
87×clear-num frac-2neg
78×sum-log
75×pow1/3
72×exp-sum
70×pow-prod-up
66×1-exp
65×rec-exp
56×rem-sqrt-square
51×pow-plus associate--l+
47×+-commutative
41×pow-sqr exp-prod
30×pow2
27×pow-unpow
23×log-div cube-mult unpow3
21×unpow2
15×pow-pow exp-diff
14×cube-div
13×associate--l- div-sub pow-flip
12×associate-+l+
10×inv-pow
9×rem-log-exp rem-cube-cbrt
8×associate-+r+ un-div-inv associate--r+
6×sin-sum rem-exp-log
5×rem-cbrt-cube
4×frac-sub
3×unpow-prod-up pow3 sum-cubes
2×cos-sum rem-square-sqrt exp-to-pow sqrt-unprod
1×unpow1/3 associate--r- distribute-rgt-out--

localize2.5s (0.7%)

bsearch919.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...