Date:Tuesday, February 25th, 2020
Commit:4d1e59da on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020056
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 (83.1%)

Calls

334 calls:

3.7s
(fma (- (* c t) (* i y)) j (- (+ (* x (fma y z (- (* a t)))) (* x (fma (- a) t (* a t)))) (* b (- (* c z) (* i a)))))
807.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (/ (* (* (fma c z (* i a)) (- (* c z) (* i a))) b) (+ (* c z) (* i a)))))
748.0ms
(* (cbrt (fma (log t) (- a 0.5) (+ (- (+ (log (+ x y)) (log z)) t) (fma (- t) 1 t)))) (cbrt (fma (log t) (- a 0.5) (+ (- (+ (log (+ x y)) (log z)) t) (fma (- t) 1 t)))))
594.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))))
565.0ms
(fma (* (cbrt (log (+ x y))) (cbrt (log (+ x y)))) (cbrt (log (+ x y))) (log z))

sample52.3s (6.7%)

Algorithm
59×intervals
Results
12.6s263445×body80valid
8.8s21318×body1280valid
8.6s205719×body80nan
3.2s11029×body640valid
2.6s5293×body2560valid
987.0ms4993×body320valid
443.0ms16512×pre80true
336.0ms2525×body160valid
60.0ms214×body5120valid

prune49.2s (6.3%)

Filtered
13924 candidates to 9310 candidates (66.9%)

rewrite9.7s (1.2%)

Algorithm
103×rewrite-expression-head
Calls

336 calls:

1.4s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.4s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
853.0ms
(- (+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
334.0ms
(* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))
298.0ms
(* (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))
Rules
10478×times-frac
7153×*-un-lft-identity
6501×add-sqr-sqrt
5665×add-cube-cbrt
3148×add-exp-log
2005×prod-exp
1758×unpow-prod-down
1474×cbrt-prod
1234×associate-*r*
1133×add-cbrt-cube
1029×prod-diff
780×pow1
687×exp-sum
640×associate-/r*
559×fma-udef
522×div-exp
498×associate-*l*
496×add-log-exp
458×pow-exp
457×distribute-lft-out
432×pow-to-exp
387×div-inv
369×distribute-rgt-neg-in
357×cbrt-unprod
343×distribute-lft-neg-in
336×log1p-expm1-u expm1-log1p-u
286×distribute-lft-out--
252×sqrt-prod associate--r+
242×associate-/l*
236×difference-of-squares
226×distribute-rgt-in distribute-lft-in
190×flip3-- flip--
186×pow-prod-down
180×cbrt-undiv
175×sqr-pow
173×swap-sqr
167×fma-neg
146×associate-/r/ cbrt-div
143×unswap-sqr
111×neg-mul-1
110×associate-*l/
107×associate-*r/
104×associate-+r+
100×flip-+ flip3-+
94×*-commutative
93×pow1/3 frac-times
88×fma-def
79×sub-neg frac-sub
76×sqrt-div
74×log-pow
70×cube-prod
69×1-exp
60×rec-exp
58×associate-/l/ diff-log
57×frac-2neg clear-num
52×exp-prod
51×log-prod
37×sqrt-pow1
33×sum-log
29×tan-quot sin-mult
25×distribute-neg-in
24×sub-div cos-mult
23×pow-unpow associate-+l-
22×pow1/2
20×unpow-prod-up associate-+l+
19×pow-flip
18×rem-sqrt-square neg-sub0 pow-prod-up
17×unpow2
15×+-commutative div-sub
14×neg-log log-div
13×associate--l-
12×rem-exp-log pow-sqr associate--l+
11×pow-plus
10×unpow3 cube-mult
8×cube-div frac-add pow-pow
7×exp-diff pow2
6×inv-pow
4×un-div-inv associate-+r-
3×rem-cube-cbrt
2×cos-sum distribute-neg-frac unsub-neg distribute-frac-neg tan-sum
1×pow3 exp-neg pow-sub sqrt-unprod rem-cbrt-cube pow-neg rem-log-exp

simplify8.7s (1.1%)

Algorithm
161×egg-herbie

regimes7.9s (1.0%)

Accuracy

Total 29.7b remaining (23.3%)

Threshold costs 5.6b (4.4%)

6.8b6.5%Linear.Matrix:det33 from linear-1.19.1.3
4.6b82.9%NMSE problem 3.2.1
4.1b85.4%The quadratic formula (r1)
2.4b2.7%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

localize2.5s (0.3%)

bsearch1.1s (0.1%)

end1.0ms (0.0%)