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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (39.9%)

Algorithm
60×intervals
Results
24.9s336315×body80valid
9.0s208636×body80nan
7.3s21452×body1280valid
2.7s11058×body640valid
2.6s5357×body2560valid
846.0ms4943×body320valid
418.0ms16512×pre80true
301.0ms2489×body160valid
68.0ms229×body5120valid

series36.8s (21.5%)

Calls

332 calls:

1.0s
(/ (- (* 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))))
1.0s
(/ (- (* 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))))
819.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))))
802.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)))))
472.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

prune33.5s (19.6%)

Filtered
5244 candidates to 4189 candidates (79.9%)

regimes12.1s (7.0%)

Accuracy

Total 40.0b remaining (26.4%)

Threshold costs 4.5b (3%)

13.4b3.7%Linear.Matrix:det44 from linear-1.19.1.3
6.1b-2.4%Linear.Matrix:det33 from linear-1.19.1.3
4.4b0.6%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.7b-24.2%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
1.8b0%cos(2*x)/(cos^2(x)*sin^2(x))

simplify9.5s (5.5%)

Algorithm
162×egg-herbie

bsearch6.0s (3.5%)

rewrite2.7s (1.5%)

Algorithm
102×rewrite-expression-head
Calls

332 calls:

66.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))))
62.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))))
48.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)))))
46.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))))
27.0ms
(- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0)))))
Rules
2321×frac-sub
2093×associate-*l/
1756×flip-- flip3--
1556×frac-times
1482×associate-*r/
712×associate-/l/
703×clear-num
675×frac-2neg
474×*-commutative
438×associate-/r*
426×flip-+ flip3-+
331×associate-/r/
311×div-inv
239×associate-*r*
234×associate-/l*
232×associate-*l*
204×sqrt-div
186×distribute-rgt-in distribute-lft-in
181×sub-neg
155×times-frac
120×frac-add
112×sqr-pow
81×+-commutative
80×tan-quot
56×associate-+r+
49×un-div-inv
48×associate-+l+
41×neg-mul-1 distribute-neg-frac
40×associate--r+ sin-mult
36×associate--l+
34×cos-mult
31×div-sub
30×exp-sum
29×associate-+l-
28×difference-of-squares sub-div
27×pow-to-exp
22×log-div
21×pow1/2
20×associate--l-
19×pow-exp
16×unpow-prod-up
15×inv-pow
14×associate-+r-
13×exp-diff neg-sub0
11×pow-sub
10×div-exp
9×distribute-rgt-neg-out distribute-rgt-out--
7×remove-double-div
6×distribute-rgt-neg-in unpow-prod-down distribute-lft-neg-in unpow2
4×unswap-sqr pow-unpow distribute-frac-neg sum-log tan-sum cos-sum prod-exp pow2
3×pow-pow
2×pow-prod-down distribute-lft-neg-out distribute-rgt-out pow-div sum-cubes distribute-neg-in
1×sqrt-unprod exp-neg unpow1/2 exp-prod

localize2.5s (1.5%)

end0.0ms (0.0%)