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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.1m (33.2%)

Algorithm
60×intervals
Results
24.2s337192×body80valid
8.9s21318×body1280valid
8.5s205719×body80nan
3.2s11029×body640valid
2.5s5293×body2560valid
984.0ms4993×body320valid
424.0ms16512×pre80true
358.0ms2525×body160valid
57.0ms214×body5120valid

series52.1s (25.1%)

Calls

351 calls:

3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.0s
(/ (* (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (cbrt (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))))) (* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b)))))
692.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))))
588.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)))))

prune47.5s (22.9%)

Filtered
12124 candidates to 7883 candidates (65.0%)

regimes14.8s (7.1%)

Accuracy

Total 36.1b remaining (23.9%)

Threshold costs 4.1b (2.7%)

10.9b-4.2%Linear.Matrix:det44 from linear-1.19.1.3
5.9b12.1%Linear.Matrix:det33 from linear-1.19.1.3
2.5b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2
2.4b2.7%cos(2*x)/(cos^2(x)*sin^2(x))
2.4b51.8%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3

rewrite11.0s (5.3%)

Algorithm
103×rewrite-expression-head
Calls

351 calls:

1.1s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
1.1s
(- (+ (- (* (* (* x 18.0) (* y z)) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
662.0ms
(- (+ (- (* (* x 18.0) (* (* y z) t)) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i))
621.0ms
(* (* (/ 1 (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
341.0ms
(* (+ (* (+ (* (+ (* (* (cbrt (+ (* x y) z)) (cbrt (+ (* x y) z))) (* (cbrt (+ (* x y) z)) y)) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
Rules
4964×times-frac
4431×*-un-lft-identity
4229×add-sqr-sqrt
3706×add-exp-log
3017×add-cube-cbrt
2270×prod-exp
1343×add-cbrt-cube
1106×cbrt-prod
980×associate-*r/
947×associate-*l/
905×pow1
845×flip-- flip3--
778×associate-*r*
679×div-exp
656×frac-sub
611×associate-*l*
596×frac-times
536×add-log-exp
530×pow-exp
474×pow-to-exp
466×cbrt-unprod
427×difference-of-squares
411×associate-/l*
404×distribute-lft-out--
328×sqrt-div
295×distribute-rgt-neg-in
293×distribute-lft-out
286×associate-/r*
276×sqrt-prod
275×distribute-lft-neg-in
248×pow-prod-down
238×flip-+ flip3-+
227×associate-/l/
218×cbrt-undiv
208×div-inv
207×cbrt-div
199×swap-sqr
170×associate-/r/
169×unswap-sqr
157×unpow-prod-down
130×sub-neg
128×*-commutative
122×distribute-rgt-in distribute-lft-in
93×pow1/3
89×neg-mul-1
79×log-prod
63×diff-log clear-num frac-2neg
58×tan-quot
53×pow-unpow
49×log-pow
47×rec-exp 1-exp
46×sqrt-pow1
43×sum-log
42×sqr-pow
40×exp-prod
34×exp-sum
32×pow1/2 sin-mult
28×associate-+r+
26×pow-prod-up associate--r+
24×sub-div cos-mult
21×associate-+l+ rem-sqrt-square
19×pow-pow +-commutative
18×pow-sqr associate-+l-
17×pow-flip
15×pow-plus
14×associate--l+
13×frac-add div-sub neg-sub0
12×inv-pow
11×pow2
10×rem-exp-log neg-log associate--l- log-div
8×cube-div
6×un-div-inv
5×exp-diff log-rec
4×rem-cube-cbrt cube-prod unpow3 distribute-neg-in pow-sub distribute-lft-neg-out cube-mult unpow-prod-up distribute-rgt-neg-out
2×cos-sum sqrt-unprod distribute-neg-frac distribute-frac-neg tan-sum rem-cbrt-cube associate-+r-
1×pow3 exp-neg rem-square-sqrt pow-neg rem-log-exp

simplify8.4s (4.0%)

Algorithm
163×egg-herbie

localize2.8s (1.3%)

bsearch2.0s (1.0%)

end0.0ms (0.0%)