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

prune2.7min (50.4%)

Filtered
14011 candidates to 9672 candidates (31.0%)

sample2.0min (37.2%)

Algorithm
72×intervals
Results
10.7s238045×body80valid
6.0s14006×body1280valid
2.8s3799×body2560valid
2.4s9382×body640valid
2.3s99272×pre80true
1.6s11491×body80invalid
1.1s6643×body320valid
897.0ms200×body5120exit
821.0ms8846×body160valid
128.0ms248×body640invalid
113.0ms239×body5120valid
74.0ms101×body1280invalid
52.0ms168×body320invalid
46.0ms937×body80nan
41.0ms20×body2560invalid
11.0ms56×body160invalid
7.0ms91×body80overflowed
4.0ms100×pre80false
sampling

Space saved by range analysis: 49.345663%

Space saved by search: 36.480652%

Guaranteed chance to sample good point: 0%

simplify21.2s (6.5%)

Algorithm
183×egg-herbie

regimes7.2s (2.2%)

Accuracy

Total 27.5b remaining (25.4%)

Threshold costs 4.3b (4%)

6.8b61.7%Compound Interest
5.7b79.9%The quadratic formula (r2)
4.4b77.5%Kahan p9 Example
2.7b6.9%Complex division, imag part
2.4b21%Complex division, real part

series5.1s (1.6%)

Calls

329 calls:

82.0ms
(pow (- (- (- (fma x y z) z) (* x y)) 1.0) 3)
74.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
74.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
74.0ms
(+ (* 9.0 (pow x 4.0)) (neg (pow y 4)))
73.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4))

rewrite4.6s (1.4%)

Algorithm
114×rewrite-expression-head
Calls

329 calls:

157.0ms
(- (* (* (* (+ (pow -2.0 3) (pow (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) 3)) (* 77617.0 77617.0)) (* (- (* -2.0 -2.0) (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* 77617.0 77617.0))) (- (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0)))))))
105.0ms
(- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
83.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
61.0ms
(* (* (+ (* -2.0 -2.0) (- (* (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))) (* -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0)))))) (- -2.0 (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))))) (* (- (* (* 333.75 (pow 33096.0 6.0)) (* 333.75 (pow 33096.0 6.0))) (* (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))) (+ (* 333.75 (pow 33096.0 6.0)) (+ (* 5.5 (pow 33096.0 8.0)) (/ 77617.0 (* 2.0 33096.0))))))
48.0ms
(/ (/ (- (pow (exp x) 3) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (exp x))) (exp (+ x x)))) x)
Rules
6482×frac-times
5582×associate-*l/
4948×times-frac
4368×add-sqr-sqrt
4036×*-un-lft-identity
3424×flip-- flip3--
2688×add-cube-cbrt
2635×flip-+ flip3-+
2562×associate-*r/
2255×frac-sub
1824×add-exp-log
1459×add-cbrt-cube
800×pow1
794×unpow-prod-down
752×add-log-exp
716×associate-*r*
706×sqrt-prod
695×difference-of-squares
590×prod-exp
472×div-exp
469×associate-*l*
464×cbrt-unprod
436×associate-/r/
402×associate-/r*
381×distribute-lft-out--
366×associate-/l*
364×cbrt-prod
347×sqr-pow
335×cbrt-div
324×distribute-lft-out
315×cube-prod
307×cbrt-undiv
265×div-inv
193×pow-prod-down
168×frac-add
161×unswap-sqr
160×sum-log
155×sqrt-div
131×unpow2
113×swap-sqr
109×sub-neg
98×exp-prod
91×associate-/l/
89×diff-log
87×distribute-rgt-in distribute-lft-in
83×*-commutative
81×exp-neg
75×sqrt-pow1
74×log-pow
72×neg-sub0
66×pow-exp
63×pow-to-exp exp-diff
60×distribute-rgt-neg-in
56×clear-num frac-2neg
55×log-prod
50×pow1/3
41×pow1/2 1-exp rec-exp
40×distribute-lft-neg-in
39×+-commutative pow-unpow associate-+r+
37×rem-sqrt-square
34×pow-prod-up
28×cube-div
26×div-sub
25×associate-+l+ un-div-inv
24×pow-sqr
20×pow-plus
17×difference-cubes cube-mult unpow3
16×pow2
14×neg-mul-1 pow-pow
13×associate--l+ associate--r+
10×associate--l- neg-log
8×rem-cbrt-cube pow-flip
7×rem-log-exp log-div rem-cube-cbrt
6×inv-pow
5×associate-+r-
4×unsub-neg distribute-frac-neg rem-exp-log
3×distribute-lft-neg-out
2×distribute-rgt-out sum-cubes associate-+l-
1×exp-sum sqrt-undiv rem-square-sqrt distribute-lft1-in sqrt-unprod pow3

localize1.4s (0.4%)

bsearch726.0ms (0.2%)

end1.0ms (0.0%)

Profiling

Loading profile data...