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

sample24.5min (55.7%)

Algorithm
953×intervals
Results
3.3min4098129×body80valid
2.4min262228×body1280valid
1.2min14600×body5120exit
1.0min191281×body640valid
38.0s42878×body2560valid
22.8s110685×body320valid
13.1s156886×body80nan
12.5s91988×body160valid
10.0s12480×body1280nan
7.8s349381×pre80true
6.8s4876×body5120valid
5.9s9846×body640nan
5.3s58145×body80overflowed
3.0s1762×body1280overflowed
2.2s5138×body320nan
1.3s1257×body640overflowed
653.0ms2508×body160nan
629.0ms3150×body2560nan
372.0ms612×body320overflowed
103.0ms155×body2560overflowed
99.0ms289×body160overflowed
5.0ms166×pre80false
sampling

Space saved by range analysis: 4.087078%

Space saved by search: 20.473016%

Guaranteed chance to sample good point: 93.72428%

prune10.6min (24.1%)

Filtered
176857 candidates to 112130 candidates (36.6%)

regimes2.8min (6.3%)

Accuracy

Total 404.9b remaining (29.7%)

Threshold costs 57.9b (4.2%)

11.7b62%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
10.0b59.5%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
9.6b20.7%Toniolo and Linder, Equation (13)

simplify2.7min (6.2%)

Algorithm
2552×egg-herbie

series2.1min (4.7%)

Calls

4785 calls:

4.5s
(* (* (sqrt (* a (+ (+ b c) d))) (sqrt a)) (sqrt (+ (+ b c) d)))
2.9s
(+ (pow (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 3) (pow 1.0 3))
1.9s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.9s
(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))))

rewrite52.7s (2.0%)

Algorithm
1602×rewrite-expression-head
Calls

4785 calls:

766.0ms
(* (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)) (cbrt (/ (/ 1.0 (/ (+ x 1.0) (- 0 1.0))) x)))
414.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ 1 (/ (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))))))
242.0ms
(* (+ (pow a 3) (pow b 3)) (+ (pow a 3) (pow b 3)))
229.0ms
(+ (/ (- beta alpha) (+ (+ alpha beta) 2.0)) 1.0)
216.0ms
(- (/ x (+ x 1.0)) (/ (sqrt (+ x 1.0)) (/ (- x 1.0) (sqrt (+ x 1.0)))))
Rules
94205×times-frac
77818×*-un-lft-identity
74816×add-sqr-sqrt
50191×add-cube-cbrt
49374×add-exp-log
27557×prod-exp
18101×add-cbrt-cube
14123×sqrt-prod
12760×pow1
11954×associate-*r*
11505×frac-times
11030×cbrt-prod
10715×div-exp
9850×associate-*l/
9595×flip--
9594×flip3--
8884×difference-of-squares
8498×associate-*r/
8480×associate-*l*
7939×pow-exp
7809×add-log-exp
7655×distribute-lft-out--
6673×flip-+
6672×flip3-+
6563×distribute-lft-out
6192×associate-/r*
5816×associate-/r/
5673×cbrt-unprod
5264×unpow-prod-down
5046×associate-/l*
4285×pow-to-exp
4257×div-inv
4236×cbrt-div
3969×frac-sub
3607×cbrt-undiv
3431×pow-prod-down
2841×unswap-sqr
2440×frac-add
2327×sqrt-div
2191×cube-prod
1901×log-prod
1805×swap-sqr
1578×distribute-rgt-in distribute-lft-in
1500×associate-/l/
1440×sqr-pow
1398×*-commutative
1256×pow1/3
1240×sub-neg
1130×sqrt-pow1
962×clear-num frac-2neg
916×sum-log
809×log-pow
753×diff-log
726×exp-prod
679×pow1/2
647×pow-unpow
610×pow-prod-up
572×distribute-rgt-neg-in
514×unpow2
498×+-commutative
486×associate-+l+
471×1-exp
458×associate-+r+
435×rec-exp
430×associate--l+
418×pow-sqr
359×rem-sqrt-square
284×pow-plus
266×div-sub tan-quot
238×distribute-lft-neg-in
222×cube-mult unpow3
214×pow-pow
204×cube-div
200×pow2
172×log-div
165×neg-sub0
136×associate--r+
132×exp-diff
123×cos-mult
122×associate-+l-
118×exp-sum
117×un-div-inv
100×rem-log-exp
98×exp-neg pow-flip
89×inv-pow
85×rem-exp-log
76×rem-cube-cbrt
75×neg-log
71×pow-sub
65×sub-div
64×associate--l-
63×sin-mult
60×distribute-rgt-out distribute-rgt-out--
58×neg-mul-1
52×tanh-def
47×associate-+r-
40×rem-cbrt-cube
39×distribute-rgt-neg-out
36×sqrt-unprod
35×associate--r-
34×sinh-def
28×cos-sum
25×cosh-def sin-sum
24×unpow-prod-up unsub-neg
22×acos-asin
21×distribute-frac-neg
19×difference-cubes rem-square-sqrt sin-diff
18×cos-diff sum-cubes
13×distribute-lft1-in sin-cos-mult pow-neg
12×distribute-lft-neg-out count-2
11×sqrt-undiv sqrt-pow2 pow3
10×distribute-rgt1-in
7×diff-cos exp-to-pow
6×distribute-neg-in unpow1/3 distribute-neg-frac
5×acos-neg sqr-cos
4×tan-sum asin-acos
3×difference-of-sqr-1
2×e-exp-1 mul-1-neg cos-2 remove-double-div sum-cos
1×div0 tanh-undef diff-sin mul0 log-rec diff-atan

localize20.1s (0.8%)

bsearch7.0s (0.3%)

end8.0ms (0.0%)

Profiling

Loading profile data...