Date:Wednesday, March 11th, 2020
Commit:79312c80 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020071
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

series10.6m (88.2%)

Calls

319 calls:

3.4s
(fma (- (* c t) (* i y)) j (+ (* (fma y z (- (* t a))) x) (- (* (fma (- t) a (* t a)) x) (* b (- (* c z) (* i a))))))
1.3s
(fma (/ (+ (tan y) (tan z)) (- (pow 1 3) (pow (/ (* (sin z) (tan y)) (cos z)) 3))) (+ (* 1 1) (+ (* (/ (* (sin z) (tan y)) (cos z)) (/ (* (sin z) (tan y)) (cos z))) (* 1 (/ (* (sin z) (tan y)) (cos z))))) (- (tan a)))
703.0ms
(fma (- (* c t) (* i y)) j (fma a (* i b) (- (fma z (* b c) (* (* a x) t)))))
564.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
546.0ms
(fma (- (* c t) (* i y)) j (fma a (* i b) (- (fma z (* b c) (* a (* x t))))))

sample49.5s (6.9%)

Algorithm
59×intervals
Results
12.2s263957×body80valid
8.9s207683×body80nan
7.2s21298×body1280valid
2.6s11012×body640valid
2.5s5293×body2560valid
837.0ms4942×body320valid
416.0ms16512×pre80true
295.0ms2492×body160valid
62.0ms225×body5120valid

prune15.6s (2.2%)

Filtered
3835 candidates to 2752 candidates (71.8%)

simplify8.4s (1.2%)

Algorithm
158×egg-herbie

regimes5.7s (0.8%)

Accuracy

Total 34.7b remaining (27%)

Threshold costs 4.9b (3.8%)

6.1b12.7%Linear.Matrix:det33 from linear-1.19.1.3
5.7b63.5%Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.2
5.1b82.1%The quadratic formula (r1)
3.9b24.7%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.4b-19.2%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2

localize2.4s (0.3%)

rewrite1.9s (0.3%)

Algorithm
100×rewrite-expression-head
Calls

322 calls:

29.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
24.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
23.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
22.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
20.0ms
(- (log (- (pow (/ 1.0 x) 3) (pow 1.0 3))) (log (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* 1.0 1.0) (* (/ 1.0 x) 1.0)))))
Rules
622×frac-sub
539×*-commutative
452×frac-times
418×clear-num
407×associate-*r/
391×frac-2neg
357×div-inv
350×associate-/l/
320×flip-- flip3--
302×flip3-+ flip-+
295×associate-/r*
219×prod-diff
214×associate-/r/
212×distribute-rgt-in distribute-lft-in
204×associate-/l*
202×associate-*l*
159×associate-*r*
157×associate-*l/
122×sqrt-div
116×times-frac
108×sub-neg
90×sqr-pow
84×frac-add
82×log-div
80×exp-sum
76×+-commutative
71×fma-udef
67×associate-+r+
62×log-prod
58×associate--l+
56×fma-neg
47×tan-quot associate-+l+
41×un-div-inv
36×neg-mul-1
34×associate--r-
28×associate--r+
25×neg-sub0
22×sin-mult
20×distribute-lft-out pow1/2
17×associate--l-
16×cos-mult
15×sub-div
13×associate-+l-
12×div-sub
10×distribute-rgt-out-- fma-def
9×exp-diff inv-pow
8×distribute-rgt-neg-in distribute-lft-neg-in
7×sum-cubes
6×distribute-frac-neg exp-neg exp-prod distribute-rgt-neg-out log-rec
5×pow-to-exp
4×cos-sum unpow-prod-down distribute-rgt-out tan-sum associate-+r- distribute-neg-in distribute-neg-frac
3×remove-double-div
2×unpow3 pow-unpow distribute-lft-out-- swap-sqr difference-cubes pow2 difference-of-squares
1×sum-log unpow1/2 distribute-lft-neg-out sqrt-unprod pow-prod-down distribute-rgt1-in pow-pow log-pow diff-log

bsearch1.4s (0.2%)

end1.0ms (0.0%)