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

series10.8m (84.8%)

Calls

318 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)))))
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)))))
3.0s
(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.8s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* j 27.0) k))))

sample50.1s (6.5%)

Algorithm
59×intervals
Results
12.2s263047×body80valid
8.9s209211×body80nan
7.3s21533×body1280valid
2.7s10964×body640valid
2.7s5341×body2560valid
874.0ms5144×body320valid
442.0ms16512×pre80true
293.0ms2495×body160valid
68.0ms239×body5120valid

prune44.5s (5.8%)

Filtered
13398 candidates to 8350 candidates (62.3%)

simplify8.0s (1.0%)

Algorithm
157×egg-herbie

regimes7.2s (0.9%)

Accuracy

Total 26.7b remaining (21.7%)

Threshold costs 3.9b (3.2%)

7.2b-3.5%Linear.Matrix:det33 from linear-1.19.1.3
3.4b88%NMSE problem 3.2.1
2.6b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.5b30.8%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
1.8b87.5%jeff quadratic root 2

rewrite3.1s (0.4%)

Algorithm
99×rewrite-expression-head
Calls

320 calls:

58.0ms
(* x (/ (/ (pow (/ 1 a) 1.0) (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) y))
57.0ms
(/ (- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0))))) (* t (* (- a (/ 5.0 6.0)) (* t 3.0))))
55.0ms
(- (/ (+ x 4.0) y) (/ x (/ y z)))
42.0ms
(+ (- (/ 1 (/ (tan B) (* x 1.0)))) (/ 1.0 (sin B)))
39.0ms
(- (* (* z (sqrt (+ t a))) (* (- a (/ 5.0 6.0)) (* t 3.0))) (* t (* (- b c) (- (* (- (* a a) (* (/ 5.0 6.0) (/ 5.0 6.0))) (* t 3.0)) (* (- a (/ 5.0 6.0)) 2.0)))))
Rules
6266×times-frac
6004×*-un-lft-identity
5437×add-sqr-sqrt
4605×add-cube-cbrt
2105×prod-diff
1878×add-exp-log
1076×add-cbrt-cube
865×associate-*r/
853×associate-*l/
818×prod-exp
764×associate-*r*
747×distribute-rgt-neg-in
707×pow1
679×distribute-lft-neg-in
660×flip-- flip3--
600×sqrt-prod
564×frac-sub
496×add-log-exp
487×unpow-prod-down
443×distribute-lft-out
436×frac-times
403×div-inv
400×div-exp
377×associate-/r*
358×associate-*l*
331×associate-/l*
320×log1p-expm1-u expm1-log1p-u
298×distribute-lft-out--
292×sqrt-div
287×difference-of-squares
271×cbrt-unprod
253×fma-neg
248×distribute-rgt-in distribute-lft-in
224×cbrt-prod
223×log-prod
204×associate-/l/
203×neg-mul-1
194×cbrt-undiv
182×flip-+ flip3-+
176×pow-exp
174×exp-sum
159×fma-def
155×associate-+r+
151×pow-prod-down
147×pow-to-exp
135×associate-/r/
132×cube-prod
126×fma-udef
106×tan-quot
101×unswap-sqr
90×sub-neg
88×associate-+l+
86×*-commutative
75×clear-num frac-2neg
74×associate--r+
72×log-pow
62×diff-log
52×1-exp
51×cbrt-div
49×rec-exp
45×sqr-pow
37×exp-prod
35×sum-log
33×pow-unpow
29×pow1/3
27×neg-sub0
23×pow1/2 sqrt-pow1
22×neg-log sin-mult
20×rem-sqrt-square associate-+l-
19×+-commutative
16×frac-add cos-mult associate--l-
12×pow-pow div-sub distribute-neg-frac log-div
10×inv-pow sub-div pow-flip associate--l+
9×rem-exp-log
8×swap-sqr
7×pow-prod-up pow-sqr
5×exp-diff un-div-inv distribute-neg-in
4×pow-plus distribute-frac-neg associate-+r-
3×pow2
2×cube-div rem-cube-cbrt unpow3 distribute-lft-neg-out cube-mult tan-sum cos-sum rem-log-exp
1×unpow1/3 sqrt-unprod exp-neg unpow1/2 distribute-rgt-out-- cube-neg rem-cbrt-cube

localize2.4s (0.3%)

bsearch1.3s (0.2%)

end1.0ms (0.0%)