Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
Hostname:warfa with Racket 7.5
Seed:2020049
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.7m (83.9%)

Calls

343 calls:

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))))
765.0ms
(+ x (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))))
679.0ms
(fma (- (* c t) (* i y)) j (- (* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a)))) (* b (- (* c z) (* i a)))))
647.0ms
(* (* (/ r (fma (cos b) (cos a) (* (sin a) (sin b)))) (/ (sin b) (- (* (cos a) (cos b)) (* (sin a) (sin b))))) (+ (* (cos a) (cos b)) (* (sin a) (sin b))))

sample51.6s (6.8%)

Algorithm
59×intervals
Results
12.3s262570×body80valid
8.9s21339×body1280valid
8.4s205077×body80nan
3.2s11143×body640valid
2.6s5355×body2560valid
992.0ms5132×body320valid
453.0ms16512×pre80true
331.0ms2528×body160valid
61.0ms208×body5120valid

prune44.4s (5.8%)

simplify9.1s (1.2%)

Algorithm
163×egg-herbie

regimes7.3s (1.0%)

Accuracy

Total 29.4b remaining (23.7%)

Threshold costs 4.1b (3.3%)

6.6b8.7%Linear.Matrix:det33 from linear-1.19.1.3
4.2b85.4%NMSE problem 3.2.1
3.1b38.6%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.2b59.9%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite6.6s (0.9%)

Algorithm
105×rewrite-expression-head
Calls

345 calls:

325.0ms
(* (* (* (* (* x 18.0) y) z) (* (cbrt t) (cbrt t))) (cbrt t))
267.0ms
(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
207.0ms
(/ 1 (- (/ f (- (+ f n))) (/ n (- (+ f n)))))
191.0ms
(- (/ f (- (+ f n))) (/ n (- (+ f n))))
167.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (* (cbrt (+ (* (+ y a) y) b)) (cbrt (+ (* (+ y a) y) b))) (* (cbrt (+ (* (+ y a) y) b)) y)) c) y) i))
Rules
9052×times-frac
8708×*-un-lft-identity
7103×add-sqr-sqrt
6113×add-cube-cbrt
5772×add-exp-log
2945×prod-diff
2770×prod-exp
2181×div-exp
1847×distribute-rgt-neg-in
1785×distribute-lft-neg-in
1281×add-cbrt-cube
1275×sqrt-prod
928×pow1
926×pow-exp
858×distribute-lft-out
636×associate-*r*
609×associate-/r*
571×associate-*l*
487×add-log-exp
484×neg-mul-1
483×cbrt-unprod
462×distribute-lft-out--
384×pow-to-exp
377×cbrt-prod
347×expm1-log1p-u
346×log1p-expm1-u
329×div-inv
327×difference-of-squares
314×associate-/r/
312×associate-/l*
287×pow-prod-down
260×distribute-rgt-in distribute-lft-in
235×unpow-prod-down
223×cbrt-undiv
221×fma-neg
218×log-prod
210×distribute-neg-frac
199×flip-- flip3--
184×flip-+ flip3-+
177×1-exp
135×exp-sum
133×unswap-sqr
124×associate-*r/
107×*-commutative
99×associate-*l/
96×associate-+r+ frac-times
94×sub-neg
88×cbrt-div
82×fma-def
80×sqrt-div
79×fma-udef
72×clear-num frac-2neg
71×associate--r+
68×unpow-prod-up
66×associate-/l/
65×log-pow
59×pow1/3
53×frac-sub
49×tan-quot
47×diff-log
45×swap-sqr
44×sqr-pow rec-exp
37×exp-prod
29×pow1/2 sqrt-pow1
28×sin-mult
26×cos-mult
25×rem-sqrt-square neg-sub0 sum-log
23×neg-log
22×pow-unpow
18×div-sub associate--l+ log-div
15×distribute-rgt-out-- +-commutative associate--l-
13×sub-div associate-+l-
12×rem-exp-log
11×pow-flip
10×pow-prod-up distribute-neg-in pow-sqr
9×inv-pow
8×pow-pow frac-add associate-+l+
6×exp-diff associate-+r- pow2 pow-plus
5×unpow2
4×un-div-inv distribute-frac-neg
3×expm1-log1p expm1-udef
2×distribute-neg-out sqrt-undiv distribute-lft-neg-out log1p-udef unpow1/3 exp-neg log1p-expm1 pow-sub unsub-neg tan-sum cos-sum exp-to-pow rem-log-exp
1×e-exp-1 sqrt-unprod unpow1/2

localize2.6s (0.3%)

bsearch1.3s (0.2%)

end1.0ms (0.0%)