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: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

series14.3m (59.1%)

Calls

2219 calls:

3.4s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
3.1s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
3.0s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (* j 27.0) (* (cbrt k) (cbrt k))) (cbrt k)))))
2.9s
(fma t (- (* (* x (* 18.0 y)) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))
2.9s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))

prune4.1m (16.9%)

Filtered
89776 candidates to 58339 candidates (65.0%)

sample3.4m (13.9%)

Algorithm
537×intervals
Results
1.2m2581551×body80valid
20.0s508891×body80nan
17.4s47551×body1280valid
9.3s43039×body640valid
3.9s5648×body2560valid
3.6s24937×body320valid
1.3s13704×body160valid
789.0ms1616×body10240exit
114.0ms47×body5120valid
102.0ms701×body640nan
86.0ms468×body1280nan
41.0ms401×body320nan
18.0ms271×body160nan

simplify1.2m (5.0%)

Algorithm
1380×egg-herbie

regimes41.3s (2.8%)

Accuracy

Total 195.3b remaining (39.2%)

Threshold costs 26.1b (5.2%)

19.8b37.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
12.2b61.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
11.4b48.6%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
8.9b29.7%Development.Shake.Progress:decay from shake-0.15.5
8.0b-2.8%Linear.Matrix:det33 from linear-1.19.1.3

rewrite20.0s (1.4%)

Algorithm
845×rewrite-expression-head
Calls

2221 calls:

238.0ms
(- (/ (/ 1 1) (/ y (/ x y))) 3.0)
106.0ms
(* (/ (/ 1.0 x) (sqrt 9.0)) (/ (/ 1 1) (sqrt 9.0)))
97.0ms
(* (/ (/ 1 (/ (+ x y) x)) (+ x y)) (/ y (+ (+ x y) 1.0)))
94.0ms
(* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x)))
81.0ms
(log (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)))
Rules
50969×times-frac
45415×*-un-lft-identity
43821×add-sqr-sqrt
31833×add-cube-cbrt
10817×prod-diff
9398×add-exp-log
7323×add-cbrt-cube
6013×cbrt-prod
5639×pow1
5011×associate-*r*
4522×distribute-lft-out--
4489×difference-of-squares
3553×flip-- flip3--
3382×associate-*l*
3370×frac-times
3364×cbrt-div
3150×associate-/r*
2973×add-log-exp
2911×associate-/r/
2910×div-inv
2540×distribute-rgt-in distribute-lft-in
2535×prod-exp
2523×distribute-lft-out
2487×unpow-prod-down
2345×associate-*r/
2295×div-exp
2232×associate-*l/
2222×log1p-expm1-u expm1-log1p-u
2149×sqrt-prod
2085×associate-/l*
1944×cbrt-unprod
1492×cbrt-undiv
1463×pow-prod-down
1316×cube-prod
1233×fma-neg
1231×unswap-sqr
1193×fma-def
1040×log-prod
939×flip-+ flip3-+
817×pow1/3
745×swap-sqr
733×frac-sub
615×associate--l+
590×*-commutative
569×associate-/l/
494×clear-num frac-2neg
471×associate-+l+
457×sqrt-pow1
452×sqrt-div
435×sub-neg
431×associate-+r+
393×sqr-pow
386×fma-udef
339×1-exp
313×log-pow
303×rec-exp
300×pow-prod-up
231×sum-log
222×pow-sqr
194×pow1/2
181×diff-log
162×pow-exp
143×+-commutative
125×unpow3 cube-mult
123×pow-plus
119×pow-unpow
118×associate--r+
114×div-sub
111×unpow2
110×pow-to-exp
106×exp-sum
95×pow2
94×frac-add
77×log-div
75×pow-flip
74×tanh-def
67×inv-pow
62×distribute-rgt-neg-in
59×distribute-lft-neg-in
54×pow-pow
52×rem-sqrt-square
51×distribute-rgt-out
50×cube-div
49×exp-prod
42×un-div-inv
39×rem-log-exp
26×distribute-rgt-neg-out associate-+l-
23×cos-sum
22×sinh-def
21×rem-cube-cbrt
19×distribute-rgt-out-- cosh-def
14×rem-exp-log sqrt-unprod unsub-neg hypot-def
12×distribute-lft1-in
11×sub-div
10×unpow1/3 rem-square-sqrt neg-mul-1 sum-cubes
9×rem-cbrt-cube
8×associate--l- hypot-udef tan-quot associate-+r-
7×distribute-lft-neg-out
6×expm1-log1p expm1-udef associate--r-
5×exp-to-pow distribute-rgt1-in count-2
4×difference-cubes diff-cos distribute-neg-frac
3×cos-diff
2×exp-diff pow3 exp-neg sin-mult cos-mult mul-1-neg
1×e-exp-1 log1p-udef log1p-expm1 unpow-prod-up neg-sub0 sqrt-undiv neg-log

localize8.9s (0.6%)

bsearch4.7s (0.3%)

end5.0ms (0.0%)