Date:Tuesday, June 16th, 2020
Commit:4389a0c9 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020168
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.9min (66.6%)

Algorithm
99×intervals
Results
50.4s8127×body5120exit
21.8s360134×body80valid
7.6s15982×body1280valid
5.4s11266×body1280invalid
3.3s12202×body640valid
2.7s8545×body640invalid
1.4s86864×pre80true
1.4s7562×body160valid
1.3s6710×body320valid
847.0ms4020×body320invalid
821.0ms14766×body80invalid
391.0ms1389×body2560valid
284.0ms1984×body160invalid
187.0ms566×body5120valid
104.0ms1227×body80nan
90.0ms55×body2560invalid
1.0ms17×body80overflowed
sampling

Space saved by range analysis: 27.542693%

Space saved by search: 12.129263%

Guaranteed chance to sample good point: 0%

prune39.8s (15.1%)

Filtered
17068 candidates to 10886 candidates (36.2%)

simplify15.0s (5.7%)

Algorithm
258×egg-herbie

regimes12.3s (4.7%)

Accuracy

Total 91.5b remaining (32.8%)

Threshold costs 4.9b (1.8%)

11.1b56%math.log10 on complex, real part
10.9b56.6%math.log/1 on complex, real part
10.3b44%math.sqrt on complex, imaginary part, im greater than 0 branch
10.3b58.2%math.log/2 on complex, real part
9.8b55%math.sqrt on complex, real part

series11.9s (4.5%)

Calls

484 calls:

384.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 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (/ (cbrt 1.0) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x)))))))
308.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))
208.0ms
(- 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 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (/ (cbrt 1.0) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))
202.0ms
(- 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 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (/ (cbrt 1.0) (cbrt (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))
200.0ms
(- 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 (* (* (* (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (cbrt (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))))

rewrite5.3s (2.0%)

Algorithm
160×rewrite-expression-head
Calls

484 calls:

220.0ms
(- (- 1.0 z) 1.0)
80.0ms
(+ (* (* (+ alpha beta) (* (cbrt (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))))) (cbrt (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))) 1.0)
67.0ms
(* (* d1 (* (* (cbrt (sqrt (+ (+ 3.0 d2) d3))) (cbrt (sqrt (+ (+ 3.0 d2) d3)))) (* (cbrt (sqrt (+ (+ 3.0 d2) d3))) (cbrt (sqrt (+ (+ 3.0 d2) d3)))))) (cbrt (+ (+ 3.0 d2) d3)))
65.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 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)))))
58.0ms
(* (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (/ (sqrt (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))) (+ (+ (* (* (pow x 2) (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3)))))) (* 2.0 0.0001789971)) (+ (+ (* (* (pow x 2) (* x (pow x 3))) 0.0694555761) 1.0) (* (pow x 2) (+ 0.7715471019 (* 0.2909738639 (pow x 2)))))) (* (pow x 2) (+ (* 0.0140005442 (* (* (* x x) x) (* (* x x) x))) (* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))))))
Rules
7819×times-frac
7094×*-un-lft-identity
6183×add-sqr-sqrt
4787×add-cube-cbrt
2409×add-exp-log
1915×add-cbrt-cube
1514×pow1
1484×sqrt-prod
1298×associate-*r*
1003×cbrt-div
967×associate-*l*
959×distribute-lft-out
943×flip-+ flip3-+
941×sqrt-div
811×prod-exp
777×cbrt-prod
763×add-log-exp
744×frac-times
693×associate-/l*
647×associate-*r/
619×cbrt-unprod
532×associate-/r/
526×div-exp
486×associate-/r*
407×unpow-prod-down
395×associate-*l/
385×pow-prod-down
365×div-inv
340×cbrt-undiv
328×unswap-sqr
286×difference-of-squares
236×swap-sqr
224×distribute-lft-out--
222×log-pow
175×flip-- flip3--
148×*-commutative
142×log-prod
116×pow1/3 associate-/l/
114×sqrt-pow1
103×sqr-pow
97×clear-num frac-2neg
94×pow-exp
93×distribute-rgt-in distribute-lft-in
89×pow1/2
85×1-exp
83×diff-log
81×sub-neg
80×rec-exp
71×pow-unpow
68×pow-to-exp
67×sum-log
66×frac-add
57×cube-prod
49×rem-sqrt-square
46×pow-prod-up
42×+-commutative associate--l+ pow-sqr
34×exp-prod
31×pow-pow
27×pow2 pow-plus
20×pow-flip
16×inv-pow
15×rem-log-exp div-sub cube-mult unpow3
13×log-div un-div-inv
12×associate--l- sin-sum
11×exp-sum associate-+l+ unpow2
9×rem-exp-log
6×cube-div unpow-prod-up associate-+r+ exp-to-pow
5×sqrt-unprod associate--r+
4×associate-+l- exp-diff rem-cube-cbrt
2×exp-neg frac-sub mul-1-neg rem-cbrt-cube pow-sub
1×neg-sub0 e-exp-1 cos-sum rem-square-sqrt unpow1/3 log-rec sum-cubes

localize2.4s (0.9%)

bsearch1.3s (0.5%)

end1.0ms (0.0%)

Profiling

Loading profile data...