Date:Friday, February 28th, 2020
Commit:6d7f8a61 on more-ival-tests
Hostname:warfa with Racket 7.5
Seed:2020059
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

prune5.1m (30.8%)

series5.0m (30.2%)

Calls

2268 calls:

23.5s
(cbrt (sqrt (pow (* (* y z) z) 3)))
22.4s
(cbrt (sqrt (pow (* (* y z) z) 3)))
2.9s
(fma t (- (* (* (cbrt (* (* (* x 18.0) y) z)) (cbrt (* (* (* x 18.0) y) z))) (cbrt (* (* (* x 18.0) y) z))) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.8s
(fma t (- (* (* x 18.0) (* y z)) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* j (* 27.0 k)))))
2.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

sample3.7m (22.4%)

Algorithm
540×intervals
Results
1.4m2664048×body80valid
21.6s533088×body80nan
17.2s47739×body1280valid
9.5s42856×body640valid
3.8s24249×body320valid
3.8s5748×body2560valid
1.3s13903×body160valid
778.0ms1554×body10240exit
106.0ms705×body640nan
92.0ms481×body1280nan
83.0ms34×body5120valid
48.0ms426×body320nan
18.0ms238×body160nan

simplify1.3m (7.9%)

Algorithm
1397×egg-herbie

regimes45.0s (4.6%)

Accuracy

Total 196.5b remaining (36.7%)

Threshold costs 27.9b (5.2%)

18.6b40.3%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
16.4b47.3%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
13.2b40.8%AI.Clustering.Hierarchical.Internal:ward from clustering-0.2.1
9.6b-10.1%Linear.Matrix:det44 from linear-1.19.1.3
7.5b17.9%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite25.4s (2.6%)

Algorithm
857×rewrite-expression-head
Calls

2268 calls:

1.6s
(* (/ (/ 1 (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (/ (/ (pow (/ 1 a) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) (/ 1 x)))
1.2s
(* (/ (* (/ (/ 1 (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) y) (pow (/ 1 (sqrt a)) 1.0)) (* (cbrt 1) (cbrt 1))) (/ (/ (pow (/ 1 (sqrt a)) 1.0) (sqrt (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b))))) (/ (cbrt 1) x)))
119.0ms
(- (/ x (- 2.0 (+ x y))) (/ 1 (/ (- 2.0 (+ x y)) y)))
82.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z)))))
80.0ms
(- (/ x (+ x y)) (/ 1 (/ (+ x y) y)))
Rules
76995×times-frac
59672×*-un-lft-identity
57500×add-sqr-sqrt
43605×add-cube-cbrt
17334×add-exp-log
14768×prod-diff
10117×associate-*r*
9498×cbrt-prod
8470×sqrt-prod
7791×add-cbrt-cube
7386×div-exp
6440×unpow-prod-down
5715×pow1
5335×distribute-lft-out--
5002×prod-exp
4774×difference-of-squares
4109×distribute-rgt-in distribute-lft-in
3643×associate-*l*
3617×div-inv
3172×associate-/r*
3160×distribute-lft-out
3120×add-log-exp
2790×associate-/r/
2447×flip3-- flip--
2329×associate-/l*
2293×cbrt-unprod
2271×expm1-log1p-u
2270×log1p-expm1-u
1812×cbrt-div
1779×cbrt-undiv
1754×associate-*r/
1675×associate-*l/
1548×pow-prod-down
1367×fma-udef
1323×unswap-sqr
1318×pow-exp
1266×frac-times
1166×exp-sum
1073×flip-+ flip3-+
1030×log-prod
802×pow1/3
799×fma-def
790×1-exp
782×fma-neg
777×rec-exp
762×associate--l+
619×*-commutative frac-sub
595×sqrt-div
560×associate-/l/ sqr-pow
556×swap-sqr
527×sqrt-pow1
509×cube-prod
502×sub-neg
486×associate-+r+
475×clear-num frac-2neg
389×pow-to-exp
374×associate-+l+
337×log-pow
252×sum-log
224×pow-prod-up diff-log
199×pow1/2
175×pow-sqr
162×+-commutative
121×associate--r+
112×pow-unpow
99×div-sub
82×distribute-rgt-neg-in
81×pow-plus
79×rem-sqrt-square
75×pow-flip
72×pow2
68×distribute-lft-neg-in
64×inv-pow
57×frac-add
56×un-div-inv unpow2
51×exp-prod
48×pow-pow
47×log-div
40×cube-mult unpow3
34×distribute-rgt-neg-out
32×distribute-rgt-out
29×distribute-rgt-out-- rem-log-exp
26×rem-cube-cbrt tanh-def
24×cube-div
23×cos-sum
20×neg-mul-1
19×associate-+l-
17×cosh-def sinh-def
15×unsub-neg associate-+r-
14×sub-div
13×associate--r-
12×distribute-lft-neg-out count-2 hypot-def
10×unpow1/3 sqrt-unprod distribute-neg-in sum-cubes
9×rem-exp-log associate--l- rem-square-sqrt
7×rem-cbrt-cube diff-cos hypot-udef expm1-udef
6×distribute-lft1-in expm1-log1p neg-log tan-quot
5×log1p-udef distribute-rgt1-in mul-1-neg
4×log1p-expm1 neg-sub0
3×exp-diff difference-cubes exp-neg cos-diff difference-of-sqr-1 sin-mult cos-mult
2×expm1-def log1p-def cube-neg
1×sqrt-pow2 exp-to-pow pow3

localize9.4s (1.0%)

bsearch6.0s (0.6%)

end5.0ms (0.0%)