Date:Wednesday, April 15th, 2020
Commit:b8df7a50 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020106
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series10.8m (83.7%)

Calls

330 calls:

2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt j) (* 27.0 k))))))
2.8s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.7s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
676.0ms
(cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t)))

sample1.0m (8.1%)

Algorithm
59×intervals
Results
15.6s263334×body80valid
11.5s199775×body80nan
8.3s21297×body1280valid
3.5s5359×body2560valid
3.0s10855×body640valid
1.8s3090×body2560nan
1.0s5208×body320valid
928.0ms2569×body1280nan
701.0ms16512×pre80true
348.0ms2497×body160valid
330.0ms1303×body640nan
121.0ms652×body320nan
96.0ms312×body5120exit
85.0ms245×body5120valid
49.0ms329×body160nan

prune38.5s (5.0%)

Filtered
14381 candidates to 8730 candidates (60.7%)

simplify8.9s (1.2%)

Algorithm
159×egg-herbie

regimes8.4s (1.1%)

Accuracy

Total 30.7b remaining (24.2%)

Threshold costs 6.0b (4.7%)

6.1b17.5%Linear.Matrix:det33 from linear-1.19.1.3
4.8b82.8%The quadratic formula (r1)
4.8b83.6%NMSE problem 3.2.1
2.8b-64.8%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))

rewrite3.2s (0.4%)

Algorithm
101×rewrite-expression-head
Calls

332 calls:

93.0ms
(* (cbrt (/ (- (+ f n)) (- f n))) (cbrt (/ (- (+ f n)) (- f n))))
47.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
43.0ms
(/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ y x))
32.0ms
(* (/ (/ a (* (cbrt b) (cbrt b))) (* (cbrt (cbrt b)) (cbrt (cbrt b)))) (/ c (cbrt (cbrt b))))
28.0ms
(* (- (sqrt (+ f n))) (/ (sqrt (+ f n)) (- f n)))
Rules
10529×times-frac
7307×*-un-lft-identity
6670×add-sqr-sqrt
5814×add-cube-cbrt
2126×add-exp-log
1934×cbrt-prod
1385×unpow-prod-down
1147×add-cbrt-cube
926×prod-exp
914×distribute-rgt-neg-in
840×distribute-lft-neg-in
756×pow1
726×prod-diff
584×associate-*r*
552×cube-prod
526×div-exp
521×div-inv
484×associate-/l*
482×associate-*l*
467×cbrt-div
465×add-log-exp
432×associate-/r*
385×distribute-lft-out
352×cbrt-unprod
340×distribute-lft-out--
332×log1p-expm1-u expm1-log1p-u
305×sqrt-prod
290×fma-udef
287×flip-- flip3--
273×exp-sum
260×difference-of-squares
253×cbrt-undiv
252×neg-mul-1
213×swap-sqr
197×frac-times
189×pow-exp
176×pow-to-exp
170×fma-neg
156×pow-prod-down
141×unswap-sqr
140×distribute-rgt-in distribute-lft-in
125×associate-*r/
120×associate-/r/
108×associate-*l/
98×associate-+r+ associate--r+
93×sqr-pow pow1/3
90×*-commutative
84×flip-+ flip3-+
79×fma-def
77×sub-neg
75×log-pow
72×sqrt-div
70×clear-num frac-2neg
67×log-prod
58×associate-/l/
52×frac-sub
51×1-exp
50×diff-log
47×rec-exp
35×pow-unpow
29×tan-quot sqrt-pow1
28×pow1/2 sin-mult
27×unpow-prod-up
25×rem-sqrt-square sum-log
22×cos-mult
18×unpow3 cube-mult associate--l+
17×pow-prod-up pow-sqr associate-+l+ neg-sub0 exp-prod
15×+-commutative associate-+l-
14×log-div
13×sub-div distribute-neg-frac
12×div-sub
11×neg-log
10×inv-pow distribute-neg-in pow-flip pow-pow
9×pow2 pow-plus
7×associate--l-
6×rem-exp-log pow-sub distribute-frac-neg
4×rem-cube-cbrt distribute-lft-neg-out
3×cube-div exp-diff frac-add associate-+r-
2×un-div-inv cos-sum associate--r- hypot-def tan-sum
1×e-exp-1 pow-neg exp-neg sqrt-unprod rem-cbrt-cube distribute-rgt-neg-out rem-log-exp

localize2.4s (0.3%)

bsearch2.0s (0.3%)

end1.0ms (0.0%)