Date:Tuesday, May 5th, 2020
Commit:9fe10098 on separate-biginterval
Hostname:warfa with Racket 7.5
Seed:2020126
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

series2.4m (54.4%)

Calls

353 calls:

1.5m
(- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i)))
3.8s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))
3.7s
(sqrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))

sample50.0s (18.6%)

Algorithm
52×intervals
Results
10.3s187444×body80nan
9.8s188397×body80valid
7.7s19660×body1280valid
2.7s10003×body640valid
2.6s3078×body2560valid
1.7s3143×body2560nan
937.0ms4736×body320valid
855.0ms2506×body1280nan
675.0ms16512×pre80true
313.0ms1300×body640nan
310.0ms2286×body160valid
103.0ms594×body320nan
91.0ms314×body5120exit
42.0ms313×body160nan
3.0ms10×body5120valid

prune42.0s (15.6%)

Filtered
12533 candidates to 8246 candidates (65.8%)

regimes14.9s (5.5%)

Accuracy

Total 13.9b remaining (17.4%)

Threshold costs 2.1b (2.6%)

2.9b0%cos(2*x)/(cos^2(x)*sin^2(x))
2.1b56%Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3
2.0b0%Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1
1.9b0%Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.2
1.8b0%Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2

simplify9.0s (3.3%)

Algorithm
156×egg-herbie

rewrite4.1s (1.5%)

Algorithm
104×rewrite-expression-head
Calls

353 calls:

237.0ms
(* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))
115.0ms
(* (* (/ 1 (* (* (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z))))) (cbrt (* (cbrt (- (+ t 1.0) z)) (cbrt (- (+ t 1.0) z)))))) (/ (- y z) (cbrt (- (+ t 1.0) z)))) (- a x))
62.0ms
(* (/ 4.0 (/ 2.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 4.0 a) c))))) a))
57.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (* (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (cbrt (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
54.0ms
(* (* (/ a (* (cbrt b) (cbrt b))) (/ (* (cbrt c) (cbrt c)) (* (cbrt (cbrt b)) (cbrt (cbrt b))))) (/ (cbrt c) (cbrt (cbrt b))))
Rules
5053×times-frac
4541×add-sqr-sqrt
4267×*-un-lft-identity
3120×add-cube-cbrt
2577×add-exp-log
1457×add-cbrt-cube
1135×prod-exp
983×pow1
805×unpow-prod-down
780×associate-*r*
702×cbrt-prod
640×associate-*l*
602×div-exp
561×cbrt-unprod
546×add-log-exp
532×associate-*r/
492×difference-of-squares
469×sqrt-prod
449×frac-times
416×flip-- flip3--
411×distribute-lft-out--
369×associate-/r*
352×associate-/l*
344×cbrt-undiv
311×associate-*l/
276×flip-+ flip3-+
274×pow-prod-down
255×pow-unpow
252×distribute-rgt-neg-in
244×associate-/r/
230×sqr-pow
224×div-inv
221×cbrt-div
206×distribute-lft-neg-in sqrt-div
203×unswap-sqr
188×sub-neg
185×distribute-lft-out
168×pow-exp
159×cube-prod
158×pow-to-exp unpow-prod-up
149×frac-add frac-sub
139×log-prod
136×distribute-neg-frac
128×distribute-rgt-in distribute-lft-in
119×*-commutative
117×associate-/l/
108×sin-mult
104×cos-mult
77×pow1/3
74×swap-sqr
69×clear-num frac-2neg
60×associate-+r+
59×neg-mul-1 diff-log
58×associate-+l+ rec-exp 1-exp
54×exp-prod
50×sum-log
44×sqrt-pow1
41×pow1/2
39×log-pow
38×pow-prod-up
33×sub-div pow-sqr
30×rem-sqrt-square
29×pow-pow
27×pow-sub
25×+-commutative
23×neg-sub0 tan-quot
18×associate--r+ pow-plus associate-+l-
17×neg-log associate--l+
16×log-div
12×pow2 div-sub associate--l-
10×cube-div
8×rem-exp-log
7×un-div-inv pow-flip
6×exp-diff inv-pow associate-+r- unpow2
5×distribute-frac-neg exp-sum rem-log-exp
4×distribute-neg-in unpow3 cube-mult distribute-rgt-neg-out
3×rem-cube-cbrt exp-neg
2×distribute-lft-neg-out sqrt-unprod unsub-neg tan-sum cos-sum exp-to-pow
1×rem-cbrt-cube sqrt-pow2 mul-1-neg rem-square-sqrt cube-neg

localize2.7s (1.0%)

bsearch58.0ms (0.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...