Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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

sample4.3m (30.0%)

Algorithm
538×intervals
Results
1.8m2649255×body80valid
27.2s504974×body80nan
19.3s46876×body1280valid
11.1s42767×body640valid
4.2s24639×body320valid
4.2s5553×body2560valid
1.6s13836×body160valid
192.0ms906×body1280nan
173.0ms1017×body640nan
122.0ms45×body5120valid
87.0ms1556×body80overflowed
84.0ms662×body320nan
29.0ms350×body160nan

series3.9m (27.8%)

Calls

2372 calls:

3.3s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
1.1s
(* (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a)))) (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a)))))
1.1s
(+ (* (+ y 0.5) (* 2 (log (pow y 1/3)))) (* (log (cbrt y)) (+ y 0.5)))
1.1s
(cbrt (* (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a)))) (cbrt (fma (log c) (- b 0.5) (+ (fma x (log y) z) (+ t a))))))
1.1s
(/ (/ x (hypot (sqrt 1.0) (sqrt (sqrt (+ x 1.0))))) (sqrt (+ 1.0 (sqrt (+ x 1.0)))))

prune3.4m (23.8%)

Filtered
89465 candidates to 58424 candidates (65.3%)

simplify1.2m (8.8%)

Algorithm
1415×egg-herbie

regimes48.3s (5.7%)

Accuracy

Total 163.8b remaining (33.7%)

Threshold costs 24.0b (4.9%)

12.9b-24.6%Linear.Matrix:det44 from linear-1.19.1.3
12.8b59.1%Diagrams.TwoD.Arc:arcBetween from diagrams-lib-1.3.0.3
7.9b30.4%Numeric.Signal:interpolate from hsignal-0.2.7.1
7.4b1.8%Linear.Matrix:det33 from linear-1.19.1.3
6.3b24.1%Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

rewrite19.5s (2.3%)

Algorithm
878×rewrite-expression-head
Calls

2372 calls:

239.0ms
(* (/ (/ x (+ x y)) (+ x y)) (/ y (+ (+ x y) 1.0)))
219.0ms
(- (- 1.0 (/ 1.0 (* x 9.0))) (/ (/ y 3.0) (sqrt x)))
103.0ms
(+ (/ 1 (/ (/ (- a t) (- z t)) y)) x)
98.0ms
(- x (/ 1 (/ (/ a (- z t)) y)))
69.0ms
(* (/ (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (sqrt (/ (fma (sqrt x) 4.0 (+ x 1.0)) 6.0))) (/ (cbrt (- x 1.0)) (sqrt (/ (fma (sqrt x) 4.0 (+ x 1.0)) 6.0))))
Rules
41981×times-frac
40659×*-un-lft-identity
38649×add-sqr-sqrt
28548×add-cube-cbrt
9636×add-exp-log
8925×prod-diff
7506×add-cbrt-cube
5813×pow1
5774×cbrt-prod
5236×associate-*r*
4598×sqrt-prod
3602×difference-of-squares
3521×distribute-lft-out--
3281×add-log-exp
3243×associate-*l*
3026×associate-/r*
2876×distribute-rgt-in distribute-lft-in
2671×distribute-lft-out
2618×prod-exp
2376×div-inv expm1-log1p-u
2375×log1p-expm1-u
2345×associate-/l*
2236×div-exp
2013×cbrt-unprod
1867×associate-/r/
1515×pow-prod-down
1514×unpow-prod-down
1486×flip-- flip3--
1437×cbrt-undiv
1246×log-prod
1219×unswap-sqr
937×associate-*r/
906×swap-sqr
884×flip-+ flip3-+
879×pow1/3
877×fma-def
773×cbrt-div
730×associate-+l+
650×*-commutative
636×associate-*l/
608×frac-times
600×cube-prod
565×fma-neg
510×clear-num frac-2neg
491×sub-neg
445×associate-+r+
415×sqr-pow
389×associate-/l/
387×sqrt-pow1
342×sqrt-div
311×fma-udef associate--l+
288×1-exp
283×log-pow
281×pow-exp
277×sum-log
275×rec-exp
269×pow-prod-up
247×pow1/2
226×diff-log
207×pow-sqr
171×associate--r+
165×+-commutative
139×distribute-lft-neg-in distribute-rgt-neg-in
128×exp-sum
124×pow-to-exp
122×unpow2
112×frac-add
102×unpow3 cube-mult
97×pow-unpow
95×div-sub
94×frac-sub
91×pow2 unpow-prod-up
90×pow-flip pow-plus exp-prod
89×rem-sqrt-square
72×sinh-def
71×inv-pow
68×log-div
55×pow-pow
54×un-div-inv
42×cube-div rem-log-exp
38×distribute-rgt-neg-out
37×cosh-def
35×neg-mul-1
29×distribute-rgt-out
27×hypot-def associate-+l-
23×cos-sum
21×rem-exp-log
20×rem-cube-cbrt sqrt-unprod
19×difference-cubes
15×distribute-lft-neg-out
14×unsub-neg
12×rem-square-sqrt rem-cbrt-cube
11×hypot-udef distribute-rgt-out-- associate-+r-
10×associate--l-
9×count-2
8×sub-div tanh-def
7×exp-diff log1p-udef unpow1/3 log1p-expm1 associate--r- sum-cubes
6×expm1-log1p expm1-udef
5×sqrt-pow2 distribute-lft1-in distribute-rgt1-in diff-cos neg-sub0
4×distribute-frac-neg tan-quot sin-mult
3×cos-diff sqrt-undiv
2×neg-log pow-sub distribute-neg-frac exp-to-pow
1×e-exp-1 exp-neg cube-neg log-rec mul-1-neg

localize9.1s (1.1%)

bsearch5.2s (0.6%)

end5.0ms (0.0%)