Date:Saturday, April 11th, 2020
Commit:a26a9b61 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020102
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.0m (57.5%)

Calls

2309 calls:

3.5s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
1.0s
(+ (fma (log (sqrt c)) (- b 0.5) (+ (fma x (log y) z) (+ t a))) (* (- b 0.5) (log (sqrt c))))
887.0ms
(pow (fma (- t x) (- y z) x) 3)
792.0ms
(* (/ 1 (+ (sqrt x) (sqrt y))) (/ (+ x y) (- (sqrt x) (sqrt y))))
788.0ms
(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))

sample3.9m (16.2%)

Algorithm
537×intervals
Results
1.5m2585286×body80valid
27.0s502119×body80nan
19.6s47482×body1280valid
10.8s42733×body640valid
4.3s25157×body320valid
4.1s5604×body2560valid
1.6s14022×body160valid
908.0ms1566×body5120exit
182.0ms1048×body640nan
170.0ms810×body1280nan
118.0ms46×body5120valid
82.0ms659×body320nan
31.0ms385×body160nan

prune3.8m (15.5%)

Filtered
96242 candidates to 63060 candidates (65.5%)

simplify1.3m (5.5%)

Algorithm
1403×egg-herbie

regimes43.7s (3.0%)

Accuracy

Total 170.6b remaining (35.2%)

Threshold costs 23.1b (4.8%)

13.8b54.9%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.6b60.4%Data.Array.Repa.Algorithms.Pixel:doubleRmsOfRGB8 from repa-algorithms-3.4.0.1
6.7b19.4%Graphics.Rendering.Chart.Axis.Types:linMap from Chart-1.5.3
6.4b17.7%Data.Colour.Matrix:determinant from colour-2.3.3, A
6.2b26.4%Numeric.Signal:interpolate from hsignal-0.2.7.1

rewrite20.8s (1.4%)

Algorithm
868×rewrite-expression-head
Calls

2311 calls:

124.0ms
(* (cbrt x) (* (cbrt x) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z))))))
114.0ms
(/ (/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (sqrt (fma z z 1.0))) (/ y (/ (cbrt (/ 1.0 x)) (sqrt (fma z z 1.0)))))
99.0ms
(/ (- (pow 1.0 3) (pow (/ (- x y) (- 1.0 y)) 3)) (fma (/ (- x y) (- 1.0 y)) (+ 1.0 (/ (- x y) (- 1.0 y))) (* 1.0 1.0)))
74.0ms
(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (/ y z) (/ t (- 1.0 z)))))
72.0ms
(* 60.0 (- (/ x (- z t)) (/ y (- z t))))
Rules
63809×times-frac
52725×*-un-lft-identity
51920×add-sqr-sqrt
38701×add-cube-cbrt
14838×prod-diff
9037×add-exp-log
9018×distribute-rgt-in distribute-lft-in
7214×add-cbrt-cube
7119×cbrt-prod
5728×sqrt-prod
5705×pow1
5103×difference-of-squares
5054×associate-*r*
4998×distribute-lft-out--
3674×div-inv
3448×associate-/r*
3132×associate-*l*
3063×add-log-exp
2455×associate-/r/
2347×prod-exp
2318×expm1-log1p-u
2317×log1p-expm1-u
2304×associate-/l*
2134×distribute-lft-out
2103×div-exp
1921×cbrt-unprod
1852×unpow-prod-down
1657×flip3-- flip--
1540×log-prod
1471×pow-prod-down
1469×cbrt-undiv
1244×cube-prod
1194×unswap-sqr
861×pow1/3 associate-*r/
846×fma-def
794×flip-+ flip3-+
760×log-pow
706×associate-+r+
694×cbrt-div
657×swap-sqr
651×associate-*l/
596×*-commutative
549×exp-prod
528×frac-times
500×fma-neg
490×clear-num frac-2neg
488×associate-+l+
432×sub-neg
401×associate--l+
377×sqrt-pow1
360×associate-/l/
353×sqr-pow
352×fma-udef
246×1-exp
245×rec-exp
238×pow-prod-up
236×sqrt-div
231×sum-log
225×exp-sum
218×pow1/2
206×pow-sqr
174×diff-log
148×+-commutative
140×frac-sub
130×pow-exp
128×associate--r+
125×pow-unpow
121×unpow3 cube-mult
112×frac-add
109×div-sub
99×rem-sqrt-square
93×pow-plus
91×unpow-prod-up
88×pow2 unpow2
83×pow-to-exp
77×distribute-rgt-neg-in distribute-lft-neg-in
76×pow-pow
63×pow-flip log-div
55×inv-pow
47×rem-log-exp
46×tanh-def
43×sinh-def
42×distribute-rgt-out
37×distribute-rgt-neg-out
31×un-div-inv
29×cosh-def neg-mul-1
28×rem-cube-cbrt
25×rem-exp-log
23×cube-div cos-sum
20×associate-+l- hypot-def
16×unsub-neg
14×distribute-rgt-out--
13×distribute-lft-neg-out log1p-udef log1p-expm1 rem-cbrt-cube
12×sqrt-unprod
11×expm1-log1p expm1-udef
10×unpow1/3 rem-square-sqrt associate-+r-
8×difference-cubes distribute-lft1-in neg-sub0
7×exp-diff distribute-rgt1-in sub-div
6×count-2 cos-mult
5×tan-quot associate--r- exp-to-pow
4×sqrt-pow2 associate--l- exp-neg diff-cos distribute-frac-neg mul-1-neg
3×sum-cubes cos-diff sin-mult
2×pow-sub hypot-udef sqr-cos
1×e-exp-1 log-rec acos-asin neg-log sum-cos

localize9.0s (0.6%)

bsearch4.5s (0.3%)

end6.0ms (0.0%)