Date:Thursday, June 11th, 2020
Commit:929a4bd5 on ival-perf-with-search
Hostname:warfa with Racket 7.5
Seed:2020163
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

sample37.0min (65.9%)

Algorithm
953×intervals
Results
2.4min3265172×body80valid
2.2min240370×body1280valid
1.9min20448×body5120exit
56.5s171408×body640valid
35.3s420313×body80invalid
34.2s41417×body2560valid
20.2s100695×body320valid
12.7s155627×body80nan
11.2s86126×body160valid
11.1s5018×body1280overflowed
10.1s82886×body80overflowed
9.8s22139×body1280invalid
9.7s12000×body1280nan
8.6s375003×pre80true
6.0s9857×body640nan
5.8s19593×body640invalid
5.1s4173×body640overflowed
3.6s1410×body2560invalid
3.5s740×body5120invalid
3.1s4213×body5120valid
2.2s5058×body320nan
2.1s10252×body320invalid
1.5s2129×body320overflowed
775.0ms5639×body160invalid
706.0ms2565×body160nan
569.0ms3057×body2560nan
415.0ms1057×body160overflowed
103.0ms157×body2560overflowed
10.0ms1×body5120overflowed
6.0ms202×pre80false
sampling

Space saved by range analysis: 4.087078%

Space saved by search: 27.150841%

Guaranteed chance to sample good point: 87.415392%

prune10.3min (18.3%)

Filtered
170405 candidates to 108134 candidates (36.5%)

regimes2.7min (4.9%)

Accuracy

Total 418.8b remaining (28%)

Threshold costs 57.7b (3.9%)

12.1b61.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
12.1b-10.9%Linear.Matrix:det44 from linear-1.19.1.3
11.6b6.4%Toniolo and Linder, Equation (13)
11.0b55.4%math.log/1 on complex, real part
10.6b57.1%math.log10 on complex, real part

simplify2.7min (4.7%)

Algorithm
2547×egg-herbie

series2.2min (3.9%)

Calls

4770 calls:

11.7s
(- (pow 1.0 3) (/ (pow (* 1.0 (+ (* (- (* 0.254829592 0.254829592) (* (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))) (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x))))))) (+ (* 1.421413741 1.421413741) (- (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))) (* 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))) (* (- 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (pow 1.421413741 3) (pow (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) 3))))))) 3) (pow (* (* (+ 1.0 (* 0.3275911 (fabs x))) (* (- 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (+ (* 1.421413741 1.421413741) (- (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))) (* 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (exp (* (fabs x) (fabs x)))) 3)))
7.2s
(* (cbrt (- y z)) (/ (* (cbrt (- t x)) (cbrt (- t x))) (* (cbrt (- a z)) (cbrt (- a z)))))
2.1s
(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
1.9s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
1.8s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (* (cbrt (/ l Om)) (cbrt (/ l Om))) 2.0)) (pow (cbrt (/ l Om)) 2.0)) (- U U*)))))

rewrite49.0s (1.5%)

Algorithm
1597×rewrite-expression-head
Calls

4770 calls:

207.0ms
(/ (- 1.0 x) y)
173.0ms
(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (sqrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))) (/ (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))) (sqrt (exp (+ (+ (- z 1.0) 7.0) 0.5)))))
165.0ms
(* (/ 1 y) (/ (/ (/ 1.0 x) (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
163.0ms
(/ (/ (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0))) (sqrt (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
160.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
Rules
75611×times-frac
69932×*-un-lft-identity
63104×add-sqr-sqrt
47932×add-exp-log
43997×add-cube-cbrt
24101×prod-exp
18722×add-cbrt-cube
14775×sqrt-prod
12293×div-exp
12217×pow1
12069×associate-*r*
11881×frac-times
10733×associate-*l/
9157×associate-*r/
7955×flip--
7954×flip3--
7850×add-log-exp
7842×cbrt-prod
7763×distribute-lft-out
7525×pow-exp
7521×associate-*l*
6488×difference-of-squares
6379×flip-+
6378×flip3-+
5950×cbrt-unprod
5849×distribute-lft-out--
5476×associate-/r*
5312×associate-/l*
4851×unpow-prod-down
4382×frac-sub
3998×associate-/r/
3891×cbrt-undiv
3588×pow-to-exp
3538×div-inv
3110×pow-prod-down
2846×sqrt-div
2717×unswap-sqr
2547×log-prod
2542×cbrt-div
2536×frac-add
1896×distribute-rgt-in distribute-lft-in
1604×cube-prod
1498×sqr-pow
1475×associate-/l/
1407×swap-sqr
1403×*-commutative
1383×distribute-rgt-neg-in
1251×sub-neg
1182×pow1/3
1039×sqrt-pow1
1009×tanh-def
986×distribute-lft-neg-in
977×sum-log
976×clear-num frac-2neg
899×log-pow
739×diff-log
687×exp-prod
671×associate-+l+
615×1-exp
611×rec-exp
580×pow1/2
575×pow-unpow
565×pow-prod-up
563×associate-+r+
526×+-commutative
491×associate--l+
440×unpow2
369×exp-sum pow-sqr
333×neg-sub0
316×cube-div
314×rem-sqrt-square pow-plus
312×exp-diff
282×exp-neg
277×div-sub
238×neg-mul-1
197×cube-mult unpow3
189×pow2
186×pow-pow
181×log-div
173×tan-quot
152×associate-+l-
126×rem-log-exp
119×associate--r+
114×pow-flip
96×inv-pow
86×un-div-inv
83×rem-cube-cbrt
69×associate--l-
66×distribute-neg-frac pow-sub
64×associate-+r-
62×distribute-rgt-out
56×cos-mult
52×sin-mult
50×distribute-lft-neg-out neg-log
48×rem-exp-log
46×distribute-rgt-out--
43×distribute-rgt-neg-out
41×difference-cubes unsub-neg
37×log-rec
31×rem-cbrt-cube
28×unpow-prod-up sqrt-unprod
27×cos-sum sinh-def exp-to-pow
26×cos-diff
24×sub-div
23×associate--r-
22×exp-lft-sqr
21×sin-cos-mult
20×rem-square-sqrt distribute-frac-neg
19×sum-cubes
18×sin-diff
16×sin-sum
15×acos-asin cosh-def
12×distribute-lft1-in
11×sqrt-undiv
10×pow3 distribute-rgt1-in
9×count-2 distribute-neg-out
7×mul-1-neg
6×exp-lft-cube
5×acos-neg e-exp-1 sqrt-pow2 unpow1/3 pow-neg
4×sqr-cos tan-sum distribute-neg-in diff-cos asin-acos
2×+-inverses difference-of-sqr-1
1×tanh-undef diff-sin mul0 diff-atan sum-cos

localize19.8s (0.6%)

bsearch11.8s (0.3%)

end8.0ms (0.0%)

Profiling

Loading profile data...