Date:Wednesday, June 10th, 2020
Commit:5ea8c613 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

sample19.3min (48.8%)

Algorithm
952×intervals
Results
3.2min4100581×body80valid
2.4min261761×body1280valid
1.3min15435×body5120exit
1.0min190570×body640valid
37.7s42909×body2560valid
35.1s575661×body80nan
22.2s110598×body320valid
12.2s91573×body160valid
9.5s405986×pre80true
9.4s12221×body1280nan
6.6s62555×body80overflowed
6.6s4896×body5120valid
5.8s9864×body640nan
4.4s2322×body1280overflowed
2.1s1809×body640overflowed
2.1s5107×body320nan
674.0ms2583×body160nan
634.0ms924×body320overflowed
611.0ms3076×body2560nan
181.0ms475×body160overflowed
149.0ms8271×pre80false
106.0ms164×body2560overflowed
6.0ms1×body5120overflowed
sampling

Space saved by range analysis: 4.105928%

Space saved by search: 13.193989%

Guaranteed chance to sample good point: 64.092501%

prune11.0min (27.9%)

Filtered
183745 candidates to 113963 candidates (38.0%)

regimes2.8min (7.1%)

Accuracy

Total 407.1b remaining (29.3%)

Threshold costs 56.8b (4.1%)

12.9b-2.9%Toniolo and Linder, Equation (13)
11.7b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
9.9b59.3%math.log/2 on complex, real part
9.9b59.7%math.log10 on complex, real part
9.8b-13.5%Linear.Matrix:det44 from linear-1.19.1.3

simplify2.8min (7.0%)

Algorithm
2552×egg-herbie

series2.3min (5.8%)

Calls

4806 calls:

4.3s
(* (* (sqrt (* a (+ (+ b c) d))) (sqrt a)) (sqrt (+ (+ b c) d)))
3.0s
(+ (* (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 2) (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) (pow 1.0 3))
2.9s
(* (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))) (cbrt (+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))))
2.8s
(+ (pow (/ (* (+ alpha beta) (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0)) 3) (pow 1.0 3))
2.0s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite54.3s (2.3%)

Algorithm
1603×rewrite-expression-head
Calls

4806 calls:

561.0ms
(* (/ (cbrt (- y x)) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt (- y x)))) (/ (cbrt (- y x)) (/ (cbrt (- a t)) (- z t))))
458.0ms
(* (/ (cbrt x) (/ z (sqrt (sqrt 2.0)))) (/ (cbrt x) (/ (- y t) (sqrt 2.0))))
189.0ms
(/ (- z t) (- z a))
178.0ms
(sqrt (- (* y y) (* z z)))
177.0ms
(/ (/ (/ 1 (/ 2.0 4.0)) (/ 1 c)) (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c)))))
Rules
99216×times-frac
84899×*-un-lft-identity
77789×add-sqr-sqrt
54814×add-exp-log
52772×add-cube-cbrt
31522×prod-exp
19932×sqrt-prod
18123×add-cbrt-cube
13091×frac-times
12730×pow1
12629×associate-*r*
12172×div-exp
11732×cbrt-prod
10609×flip--
10608×flip3--
10506×associate-*r/
10372×associate-*l/
9874×pow-exp
9459×associate-*l*
8771×difference-of-squares
8571×distribute-lft-out--
8197×distribute-lft-out
7756×add-log-exp
6997×unpow-prod-down
6439×cbrt-div
6043×associate-/r*
5910×flip-+
5909×flip3-+
5905×associate-/l*
5837×cbrt-unprod
5141×pow-to-exp
4505×associate-/r/
4270×div-inv
4230×frac-sub
3843×frac-add
3693×cbrt-undiv
3384×pow-prod-down
3177×cube-prod
3094×unswap-sqr
2947×sqrt-div
2507×log-prod
1775×sqr-pow
1745×distribute-rgt-in distribute-lft-in
1420×distribute-rgt-neg-in
1400×*-commutative
1377×associate-/l/
1228×pow1/3
1216×sub-neg
1211×swap-sqr
1194×sqrt-pow1
979×clear-num frac-2neg
940×1-exp
920×rec-exp
883×sum-log
866×log-pow
761×diff-log
715×pow1/2
690×pow-unpow
561×pow-prod-up
522×associate-+r+
515×exp-sum
508×exp-prod
495×associate-+l+
475×+-commutative
452×unpow2
450×associate--l+
389×pow-sqr
363×distribute-lft-neg-in
360×rem-sqrt-square
351×associate-+l-
340×cube-mult unpow3
285×cube-div
281×pow-sub
256×div-sub
223×pow-plus
215×un-div-inv
213×log-div pow-pow
210×neg-sub0
208×tanh-def
192×pow-flip
191×exp-diff
172×pow2
168×tan-quot
156×exp-neg
138×associate--r+
128×rem-log-exp
120×inv-pow
93×neg-mul-1
91×distribute-rgt-out
90×rem-cube-cbrt
82×neg-log
80×rem-exp-log
71×associate--l-
70×distribute-lft-neg-out
66×sub-div
62×associate-+r- log-rec
56×sin-mult
48×rem-cbrt-cube
47×distribute-rgt-out--
45×cos-mult
40×unsub-neg
39×distribute-rgt-neg-out
38×sqrt-unprod
37×associate--r-
31×sum-cubes
30×difference-cubes
28×cos-sum
25×cos-diff
24×cosh-def
22×rem-square-sqrt
18×sinh-def distribute-frac-neg distribute-neg-out
17×sin-diff
15×distribute-lft1-in pow-neg
14×distribute-rgt1-in
13×acos-asin exp-to-pow sin-sum
12×distribute-neg-frac
11×sin-cos-mult
10×count-2
9×sqrt-pow2 pow3
8×unpow-prod-up distribute-neg-in
5×diff-cos difference-of-sqr-1
4×tan-sum sqrt-undiv asin-acos
3×acos-neg unpow1/3
1×cube-neg tanh-undef e-exp-1 diff-sin mul0 diff-atan remove-double-div sum-cos

localize20.3s (0.9%)

bsearch7.4s (0.3%)

end8.0ms (0.0%)

Profiling

Loading profile data...