Date:Thursday, April 9th, 2020
Commit:e7bf75bc on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020100
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.2%)

Calls

327 calls:

3.0s
(fma t (- (* (* (* x 18.0) y) z) (* a 4.0)) (- (* b c) (fma x (* 4.0 i) (* (* (cbrt j) (cbrt j)) (* (cbrt 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))))
725.0ms
(fma (- (* c t) (* i y)) j (- (* x (- (* y z) (* t a))) (* (* (cbrt b) (cbrt b)) (* (cbrt b) (- (* c z) (* i a))))))
720.0ms
(* (cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t))) (cbrt (fma (log t) (- a 0.5) (- (+ (log (+ x y)) (log z)) t))))

sample49.5s (6.4%)

Algorithm
59×intervals
Results
12.3s263073×body80valid
8.7s209657×body80nan
7.2s21325×body1280valid
2.7s5363×body2560valid
2.6s10992×body640valid
854.0ms5082×body320valid
418.0ms16512×pre80true
290.0ms2529×body160valid
67.0ms224×body5120valid

prune46.4s (6.0%)

Filtered
16581 candidates to 9800 candidates (59.1%)

simplify9.5s (1.2%)

Algorithm
159×egg-herbie

regimes8.3s (1.1%)

Accuracy

Total 28.5b remaining (22.9%)

Threshold costs 4.7b (3.8%)

7.4b-0.9%Linear.Matrix:det33 from linear-1.19.1.3
3.9b85.3%NMSE problem 3.2.1
2.8b43.5%Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1
2.5b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.0b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1

rewrite4.3s (0.6%)

Algorithm
101×rewrite-expression-head
Calls

330 calls:

698.0ms
(* (/ (pow (/ 1 a) 1.0) (/ (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x)))) (/ (/ 1 (exp (fma y (log (/ 1 z)) (fma (log (/ 1 a)) t b)))) (/ (cbrt y) (cbrt x))))
133.0ms
(* (sqrt (/ -1 (/ (- f n) (+ f n)))) (sqrt (/ -1 (/ (- f n) (+ f n)))))
73.0ms
(+ (/ (- a x) (/ (- (+ t 1.0) z) (- y z))) x)
45.0ms
(/ (cbrt (pow (/ 1 (- (acos a))) 3)) (/ 1 a))
40.0ms
(- (/ 1 (/ (- 1 (* (tan y) (tan z))) (+ (tan y) (tan z)))) (tan a))
Rules
14259×times-frac
9770×*-un-lft-identity
9421×add-sqr-sqrt
7184×add-cube-cbrt
4545×add-exp-log
2398×prod-exp
2172×cbrt-prod
1800×unpow-prod-down
1575×div-exp
1274×prod-diff
1171×add-cbrt-cube
1146×associate-*r*
914×sqrt-prod
820×pow1
773×distribute-rgt-neg-in
731×distribute-lft-neg-in
682×distribute-lft-out--
675×distribute-lft-out
653×pow-exp
625×div-inv
594×associate-*l*
558×difference-of-squares
544×cube-prod
485×pow-to-exp
480×associate-/l* associate-/r*
479×exp-sum
466×add-log-exp
427×fma-udef
363×cbrt-unprod
330×log1p-expm1-u expm1-log1p-u
323×unswap-sqr
287×cbrt-undiv
265×fma-def
263×fma-neg
238×neg-mul-1
230×associate-/r/
221×distribute-rgt-in distribute-lft-in
199×swap-sqr
186×sqr-pow
174×flip3-- flip--
164×log-pow
150×1-exp
148×pow-prod-down
144×rec-exp
131×log-prod
119×flip-+ flip3-+
114×associate-+r+
92×associate--r+
85×*-commutative
77×pow1/3 sub-neg
76×cbrt-div
73×frac-2neg clear-num
68×associate-*r/
62×sqrt-div
61×associate-/l/
59×associate-*l/
56×tan-quot
53×diff-log
51×frac-sub frac-times
46×pow1/2 sqrt-pow1
35×associate-+l-
30×sum-log log-div
27×rem-sqrt-square exp-prod sin-mult
24×cos-mult unpow2
23×pow-prod-up
22×associate-+l+
19×frac-add
17×pow-sqr div-sub
16×unpow3 cube-mult +-commutative neg-sub0
13×neg-log
12×sub-div associate--l-
10×pow-unpow
9×pow-flip associate--l+
8×inv-pow pow2 pow-plus
7×rem-exp-log pow-pow
6×exp-diff
5×distribute-neg-in
4×associate-+r-
3×cube-div sqrt-unprod distribute-neg-frac
2×rem-cube-cbrt un-div-inv exp-neg rem-square-sqrt distribute-frac-neg cos-sum tan-sum
1×log1p-udef distribute-lft-neg-out log1p-expm1 rem-cbrt-cube rem-log-exp

localize2.5s (0.3%)

bsearch1.3s (0.2%)

end0.0ms (0.0%)