Date:Wednesday, March 18th, 2020
Commit:7c9a4fcd on better-rr
Hostname:warfa with Racket 7.5
Seed:2020078
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.5m (86.6%)

Calls

301 calls:

1.1s
(/ (- (* z (* (- a (/ 5.0 6.0)) (- (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (* t 3.0))) (* (- a (/ 5.0 6.0)) (- 2.0)))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (- (* t 3.0)))))
830.0ms
(- (* z (* (- a (/ 5.0 6.0)) (- (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (* t 3.0))) (* (- a (/ 5.0 6.0)) (- 2.0))))))
570.0ms
(/ (* x (* (pow a t) (exp (- (* y (log z)) b)))) (* y (pow a 1.0)))
524.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
467.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

sample50.2s (6.9%)

Algorithm
59×intervals
Results
12.2s263343×body80valid
9.0s208636×body80nan
7.3s21452×body1280valid
2.7s11058×body640valid
2.6s5357×body2560valid
854.0ms4943×body320valid
414.0ms16512×pre80true
297.0ms2489×body160valid
63.0ms229×body5120valid

prune27.2s (3.7%)

Filtered
4930 candidates to 3815 candidates (77.4%)

simplify8.3s (1.1%)

Algorithm
156×egg-herbie

regimes5.7s (0.8%)

Accuracy

Total 22.6b remaining (18.9%)

Threshold costs 5.5b (4.6%)

4.8b6.1%Linear.Matrix:det33 from linear-1.19.1.3
3.7b27.1%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
1.8b0%cos(2*x)/(cos^2(x)*sin^2(x))
1.6b66.2%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.6b0%fabs fraction 1

localize2.3s (0.3%)

rewrite2.2s (0.3%)

Algorithm
98×rewrite-expression-head
Calls

304 calls:

106.0ms
(/ (- (* z (* (- a (/ 5.0 6.0)) (- (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (* t 3.0))) (* (- a (/ 5.0 6.0)) (- 2.0)))))) (* (/ t (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (- (* t 3.0)))))
68.0ms
(- (* z (* (- a (/ 5.0 6.0)) (- (* t 3.0)))) (* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (* t 3.0))) (* (- a (/ 5.0 6.0)) (- 2.0))))))
34.0ms
(* (/ t (sqrt (+ t a))) (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (- (* t 3.0))) (* (- a (/ 5.0 6.0)) (- 2.0)))))
28.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
26.0ms
(- (/ (sqrt (+ t a)) (/ t z)) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
Rules
1598×frac-sub
1138×*-commutative
1079×frac-times
1064×flip-- flip3--
1027×associate-*l/
972×associate-*r/
695×associate-*r*
676×prod-diff
564×distribute-rgt-in distribute-lft-in
524×associate-/l/
501×clear-num
486×frac-2neg
464×associate-/r*
456×associate-*l*
420×flip3-+ flip-+
313×div-inv
298×associate--r+
269×associate-/r/
227×associate-/l*
220×sqrt-div
202×neg-mul-1
197×times-frac
164×difference-of-squares
163×sqr-pow
161×div-sub
122×sub-neg
93×distribute-rgt-neg-in distribute-lft-neg-in
70×tan-quot fma-neg
65×+-commutative
53×frac-add
44×associate-+l+
35×associate--l+
34×fma-udef
32×distribute-neg-frac
30×associate-+r+
29×associate-+l-
25×pow-to-exp
24×exp-sum
22×sin-mult
21×fma-def pow1/2
20×associate--l-
19×pow-exp
18×log-div un-div-inv
16×cos-mult
15×neg-sub0
11×div-exp
10×inv-pow distribute-neg-in sub-div
9×exp-diff
8×unpow-prod-up
6×unpow-prod-down pow-sub
4×remove-double-div pow-unpow tan-sum cos-sum
3×sum-log prod-exp
2×pow-pow distribute-frac-neg swap-sqr distribute-rgt-neg-out pow-div associate-+r-
1×pow-prod-down exp-neg distribute-lft-neg-out unpow1/2 sqrt-unprod exp-prod distribute-rgt-out-- pow2

bsearch1.5s (0.2%)

end1.0ms (0.0%)