Date:Wednesday, March 4th, 2020
Commit:96d2f482 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020064
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (37.5%)

Algorithm
60×intervals
Results
24.0s335958×body80valid
8.8s209211×body80nan
7.2s21533×body1280valid
2.6s10964×body640valid
2.5s5341×body2560valid
864.0ms5144×body320valid
434.0ms16512×pre80true
293.0ms2495×body160valid
64.0ms239×body5120valid

prune41.5s (23.3%)

Filtered
11217 candidates to 7222 candidates (64.4%)

series37.1s (20.9%)

Calls

339 calls:

483.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
471.0ms
(* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- a x) (cbrt (- (+ t 1.0) z))))
467.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
459.0ms
(* (/ (- y z) (- (+ t 1.0) z)) (- a x))
458.0ms
(* (* (- y z) (/ 1 (- (+ t 1.0) z))) (- a x))

regimes14.5s (8.1%)

Accuracy

Total 41.7b remaining (27%)

Threshold costs 4.0b (2.6%)

12.2b-0%Linear.Matrix:det44 from linear-1.19.1.3
4.5b12%Linear.Matrix:det33 from linear-1.19.1.3
4.2b84.5%The quadratic formula (r1)
3.4b88%NMSE problem 3.2.1
2.9b42.4%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

simplify7.8s (4.4%)

Algorithm
162×egg-herbie

bsearch4.2s (2.3%)

rewrite3.3s (1.9%)

Algorithm
102×rewrite-expression-head
Calls

339 calls:

82.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ (/ 1 (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
51.0ms
(* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- a x) (cbrt (- (+ t 1.0) z))))
39.0ms
(+ (- (/ 1 (/ (tan B) (* x 1.0)))) (/ 1.0 (sin B)))
38.0ms
(* (* (/ (- y z) (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ 1 (cbrt (- (+ t 1.0) z)))) (- a x))
31.0ms
(* x (/ (pow (/ 1 a) 1.0) (exp (+ (* y (log (/ 1 z))) (+ (* (log (/ 1 a)) t) b)))))
Rules
3918×times-frac
3596×*-un-lft-identity
3553×add-sqr-sqrt
2669×add-cube-cbrt
2383×add-exp-log
1292×add-cbrt-cube
1085×prod-exp
918×associate-*r*
864×pow1
588×cbrt-prod
551×div-exp
529×add-log-exp
471×associate-*l*
402×cbrt-unprod
395×distribute-rgt-neg-in
358×associate-/r*
336×distribute-lft-neg-in
325×unpow-prod-down
316×flip-- flip3--
294×distribute-lft-out--
286×associate-/l*
250×difference-of-squares
245×pow-prod-down
231×frac-times
228×div-inv
226×cbrt-undiv
212×log-prod
205×pow-exp
202×distribute-rgt-in distribute-lft-in
201×associate-*r/
200×cbrt-div
195×distribute-lft-out
186×associate-*l/ associate-/r/
164×frac-sub
163×sqrt-prod unswap-sqr
161×flip-+ flip3-+
154×pow-to-exp
136×cube-prod
119×*-commutative
117×sub-neg
102×neg-mul-1
94×1-exp rec-exp
89×pow1/3
82×associate-+r+
69×associate-+l+ clear-num frac-2neg
66×swap-sqr
62×sqrt-div
56×diff-log
53×log-pow
50×sum-log
47×exp-sum
41×associate-/l/
36×exp-prod
34×sin-mult
33×pow-unpow sqr-pow
32×sqrt-pow1
27×pow1/2 neg-sub0
26×+-commutative
24×associate--r+
22×neg-log cos-mult associate-+l-
21×rem-sqrt-square
17×un-div-inv
16×tan-quot inv-pow frac-add pow-flip
15×pow-prod-up pow-sqr
14×associate--l-
13×pow-pow associate--l+
12×div-sub log-div
11×distribute-neg-frac
10×sub-div
8×cube-div pow2 pow-plus
7×rem-exp-log
6×rem-cube-cbrt unpow3 cube-mult
5×exp-diff
4×distribute-frac-neg associate-+r- distribute-rgt-neg-out log-rec
3×distribute-lft-neg-out rem-cbrt-cube
2×cos-sum distribute-neg-in tan-sum rem-log-exp
1×sqrt-unprod exp-neg cube-neg

localize2.6s (1.5%)

end0.0ms (0.0%)