Date:Friday, March 6th, 2020
Commit:044801c1 on master
Hostname:warfa with Racket 7.5
Seed:2020066
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

series10.8m (86.1%)

Calls

317 calls:

3.6s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
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))))
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)) (fma b c (- (fma x (* 4.0 i) (* (* j 27.0) k)))))

sample49.0s (6.5%)

Algorithm
59×intervals
Results
12.0s262606×body80valid
8.8s207251×body80nan
7.0s21003×body1280valid
2.6s5320×body2560valid
2.6s11017×body640valid
863.0ms5155×body320valid
408.0ms16512×pre80true
296.0ms2570×body160valid
60.0ms229×body5120valid

prune34.9s (4.6%)

Filtered
11788 candidates to 7396 candidates (62.7%)

simplify8.1s (1.1%)

Algorithm
158×egg-herbie

regimes6.4s (0.8%)

Accuracy

Total 31.4b remaining (24.5%)

Threshold costs 2.3b (1.8%)

6.6b2.7%Linear.Matrix:det33 from linear-1.19.1.3
4.3b84.7%NMSE problem 3.2.1
4.2b15.6%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.4b-2%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b63.7%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite2.8s (0.4%)

Algorithm
100×rewrite-expression-head
Calls

319 calls:

61.0ms
(* x (/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y))
32.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.0ms
(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
27.0ms
(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
26.0ms
(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
Rules
4756×times-frac
4387×*-un-lft-identity
4251×add-sqr-sqrt
3444×add-cube-cbrt
3230×add-exp-log
2015×prod-exp
1060×add-cbrt-cube
943×prod-diff
696×pow1
680×associate-*r*
642×sqrt-prod
617×div-exp
593×distribute-rgt-neg-in
524×distribute-lft-neg-in
467×unpow-prod-down
453×add-log-exp
450×pow-exp
431×pow-to-exp
344×associate-/l*
330×associate-/r*
320×expm1-log1p-u
319×log1p-expm1-u
315×cbrt-unprod
310×associate-*l*
296×distribute-lft-out--
270×difference-of-squares
229×div-inv
218×cbrt-prod
205×fma-neg
196×flip3-- flip--
193×cbrt-undiv
187×distribute-lft-out
174×fma-udef
163×neg-mul-1
158×exp-prod
155×exp-sum
139×pow-prod-down
138×associate-/r/
133×1-exp
116×log-pow
108×cbrt-div
106×unswap-sqr
97×sqrt-div
90×associate-*r/
87×distribute-rgt-in distribute-lft-in
82×*-commutative
78×associate-+r+
77×rec-exp
73×fma-def
70×log-prod
69×frac-times
68×associate-*l/
67×flip-+ flip3-+
63×associate--r+
61×clear-num frac-2neg
59×sub-neg
57×pow1/3 sqrt-pow1
52×pow1/2
51×sqr-pow
48×rem-sqrt-square
45×swap-sqr diff-log
41×associate-/l/
38×frac-sub
30×sin-mult
24×pow-unpow cos-mult
22×neg-sub0
21×tan-quot
19×sum-log
17×neg-log
16×pow-flip
14×sub-div
12×div-sub
11×pow-prod-up inv-pow pow-sqr +-commutative
10×associate--l- log-div
9×pow-pow rem-exp-log
8×associate-+l- rem-log-exp
7×pow2 pow-plus
6×un-div-inv distribute-frac-neg exp-to-pow
5×exp-diff distribute-neg-in associate-+l+ unpow-prod-up
4×exp-neg distribute-neg-frac
3×associate--l+
2×associate-+r- tan-sum cos-sum
1×log1p-udef unpow1/3 sqrt-unprod log1p-expm1 frac-add pow-sub log-rec

localize2.4s (0.3%)

bsearch1.2s (0.2%)

end1.0ms (0.0%)