Date:Friday, June 12th, 2020
Commit:9c248b13 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020164
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

sample3.0min (43.6%)

Algorithm
98×intervals
Results
50.4s8163×body5120exit
21.5s356408×body80valid
7.4s15722×body1280valid
5.4s11028×body1280invalid
3.3s12128×body640valid
2.7s8625×body640invalid
1.5s86904×pre80true
1.1s6648×body320valid
849.0ms15157×body80invalid
813.0ms3876×body320invalid
426.0ms3622×body160valid
391.0ms1408×body2560valid
271.0ms1947×body160invalid
204.0ms610×body5120valid
99.0ms1141×body80nan
76.0ms41×body2560invalid
0.0ms12×body80overflowed
sampling

Space saved by range analysis: 12.15415%

Space saved by search: 27.73843%

Guaranteed chance to sample good point: 87.166152%

series2.4min (34.7%)

Calls

468 calls:

2.1min
(- (pow (pow 1.0 3) 3) (pow (* (sqrt (pow (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3))) 3))
793.0ms
(- (pow 1.0 3) (* (sqrt (pow (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3))))
776.0ms
(- (pow 1.0 3) (pow (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 3))
458.0ms
(* (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) (+ (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 1.0))
448.0ms
(* (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) (+ (* (* (/ 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.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (neg (* (fabs x) (fabs x))))) 1.0))

prune53.0s (12.9%)

Filtered
16089 candidates to 10354 candidates (35.6%)

simplify15.3s (3.7%)

Algorithm
250×egg-herbie

regimes11.5s (2.8%)

Accuracy

Total 98.8b remaining (41.6%)

Threshold costs 2.9b (1.2%)

12.9b41%math.sqrt on complex, imaginary part, im greater than 0 branch
12.6b23.9%Octave 3.8, jcobi/4
10.7b57%math.log/2 on complex, real part
10.6b57.5%math.log10 on complex, real part
10.3b58.3%math.log/1 on complex, real part

rewrite5.5s (1.3%)

Algorithm
153×rewrite-expression-head
Calls

468 calls:

284.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)))
153.0ms
(* (/ (sqrt 1/2) (sqrt (log 10.0))) (/ (sqrt 1/2) (/ (sqrt (log 10.0)) (log (+ (* re re) (* im im))))))
97.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))))
69.0ms
(* (+ alpha beta) (* (/ (/ (* (cbrt (- beta alpha)) (cbrt (- beta alpha))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (/ (/ (cbrt (- beta alpha)) (+ (+ alpha beta) (* 2.0 i))) (cbrt (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)))))
65.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))))
Rules
7109×times-frac
6038×*-un-lft-identity
5810×add-sqr-sqrt
4319×add-cube-cbrt
2179×sqrt-prod
2099×add-exp-log
1782×associate-*r*
1753×add-cbrt-cube
1679×pow1
941×associate-*l*
732×add-log-exp
697×distribute-lft-out
686×flip-+ flip3-+
661×prod-exp
544×associate-*r/
523×cbrt-unprod
513×log-pow
495×associate-/r*
483×associate-/r/
468×associate-/l*
446×div-exp
439×frac-times
344×cbrt-undiv
321×difference-of-squares unswap-sqr
313×div-inv
305×pow-prod-down
275×associate-*l/
271×sqrt-div
269×cbrt-prod
268×unpow-prod-down
204×distribute-lft-out--
177×cbrt-div
153×swap-sqr
152×frac-add
145×flip-- flip3--
142×sqr-pow
136×*-commutative
120×cube-div
118×cube-prod
109×associate-/l/
107×sqrt-pow1
103×log-prod
99×pow-exp
97×pow1/2
94×pow1/3
84×exp-neg clear-num frac-2neg
81×distribute-rgt-in distribute-lft-in
79×diff-log
77×sub-neg
76×exp-diff
72×neg-sub0 rem-sqrt-square
68×sum-log
66×pow-unpow
65×pow-to-exp
51×pow-pow
49×1-exp
48×rec-exp
42×+-commutative
38×associate--l+
31×pow-prod-up rem-cube-cbrt
29×cube-mult pow-sqr unpow3
21×exp-prod
20×pow2 pow-plus un-div-inv
15×log-div
14×frac-sub
13×associate-+l+ div-sub pow-flip
11×unpow2
10×rem-log-exp sum-cubes difference-of-sqr-1
9×associate--l- exp-sum
8×inv-pow associate--r+
7×associate-+r+
5×rem-cbrt-cube
4×sin-sum associate-+l-
3×cos-sum rem-exp-log
2×difference-cubes exp-to-pow
1×sqrt-undiv associate-+r- rem-square-sqrt sqrt-unprod unpow1/3 associate--r-

localize2.3s (0.6%)

bsearch1.5s (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...